@@ -18,6 +18,7 @@ import qualified Reporting.Result as Result
1818import qualified Reporting.Warning as Warning
1919
2020
21+
2122topLevelTypes
2223 :: Map.Map String Type.Canonical
2324 -> [Decl.Valid]
@@ -27,8 +28,10 @@ topLevelTypes typeEnv validDecls =
2728 checkMainType typeEnv validDecls
2829
2930
31+
3032-- MISSING ANNOTATIONS
3133
34+
3235warnMissingAnnotation
3336 :: Map.Map String Type.Canonical
3437 -> Decl.Valid
@@ -45,8 +48,10 @@ warnMissingAnnotation typeEnv (A.A (region,_) decl) =
4548 return ()
4649
4750
51+
4852-- MAIN TYPE
4953
54+
5055checkMainType
5156 :: Map.Map String Type.Canonical
5257 -> [Decl.Valid]