fix more bugs

[fp.git] / src / HM / Parser.hs

diff --git a/src/HM/Parser.hs b/src/HM/Parser.hs
index 24ade14..8b5575d 100644 (file)
--- a/src/HM/Parser.hs
+++ b/src/HM/Parser.hs
@@ -91,17 +91,17 @@ parseTypeAndTerm p = do
 
 
 parseTypedTermNoApp :: Parser TypedTerm
 
 
 parseTypedTermNoApp :: Parser TypedTerm

-parseTypedTermNoApp = parseTypeAndTerm parseTermNoApp <|>
-                      parseBraces parseTypedTerm <|>
+parseTypedTermNoApp = parseBraces parseTypedTerm <|>
+                      parseTypeAndTerm parseTermNoApp <|>

                       (NTTerm <$> parseTermNoApp)
 
 parseTypedTerm :: Parser TypedTerm
 parseTypedTerm = parseTypeAndTerm parseTerm <|>
                       (NTTerm <$> parseTermNoApp)
 
 parseTypedTerm :: Parser TypedTerm
 parseTypedTerm = parseTypeAndTerm parseTerm <|>

-                 parseBraces parseTypedTerm <|>
-                 (NTTerm <$> parseTerm)
+                 (NTTerm <$> parseTerm) <|>
+                 parseBraces parseTypedTerm

 
 parseType :: Parser Type
 
 parseType :: Parser Type

-parseType = parseBraces parseType <|>
+parseType = parseType <|>

             parseTypeFunction <|>
             parsePrimitive <|>
             parseTypeVar
             parseTypeFunction <|>
             parsePrimitive <|>
             parseTypeVar