X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/33464c9ce7b0b1559f8cb23734065b8ecdd382c1..HEAD:/src/HM/Parser.hs

diff --git a/src/HM/Parser.hs b/src/HM/Parser.hs
index 24ade14..8b5575d 100644
--- a/src/HM/Parser.hs
+++ b/src/HM/Parser.hs
@@ -91,17 +91,17 @@ parseTypeAndTerm p = do
 
 
 parseTypedTermNoApp :: Parser TypedTerm
-parseTypedTermNoApp = parseTypeAndTerm parseTermNoApp <|>
-                      parseBraces parseTypedTerm <|>
+parseTypedTermNoApp = parseBraces parseTypedTerm <|>
+                      parseTypeAndTerm parseTermNoApp <|>
                       (NTTerm <$> parseTermNoApp)
 
 parseTypedTerm :: Parser TypedTerm
 parseTypedTerm = parseTypeAndTerm parseTerm <|>
-                 parseBraces parseTypedTerm <|>
-                 (NTTerm <$> parseTerm)
+                 (NTTerm <$> parseTerm) <|>
+                 parseBraces parseTypedTerm
 
 parseType :: Parser Type
-parseType = parseBraces parseType <|>
+parseType = parseType <|>
             parseTypeFunction <|>
             parsePrimitive <|>
             parseTypeVar