@@ -9,6 +9,7 @@ import Parse.Helpers as Help
99import qualified Parse.Type as Type
1010
1111
12+
1213declaration :: IParser D.SourceDecl
1314declaration =
1415 choice
@@ -17,8 +18,10 @@ declaration =
1718 ]
1819
1920
21+
2022-- TYPE ANNOTATIONS and DEFINITIONS
2123
24+
2225definition :: IParser D.SourceDecl'
2326definition =
2427 D.Definition
@@ -26,8 +29,10 @@ definition =
2629 <?> "a value definition"
2730
2831
32+
2933-- TYPE ALIAS and UNION TYPES
3034
35+
3136typeDecl :: IParser D.SourceDecl'
3237typeDecl =
3338 do try (reserved "type") <?> "a type declaration"
@@ -48,8 +53,10 @@ typeDecl =
4853 return $ D.Datatype name args tcs
4954
5055
56+
5157-- INFIX
5258
59+
5360infixDecl :: IParser D.SourceDecl'
5461infixDecl =
5562 expecting "an infix declaration" $
@@ -65,8 +72,10 @@ infixDecl =
6572 D.Fixity assoc (read [n]) <$> anyOp
6673
6774
75+
6876-- PORT
6977
78+
7079port :: IParser D.SourceDecl'
7180port =
7281 expecting "a port declaration" $