@@ -18,6 +18,7 @@ import qualified Reporting.Result as Result
18import qualified Reporting.Warning as Warning
18import qualified Reporting.Warning as Warning
21topLevelTypes
22topLevelTypes
22 :: Map.Map String Type.Canonical
23 :: Map.Map String Type.Canonical
23 -> [Decl.Valid]
24 -> [Decl.Valid]
@@ -27,8 +28,10 @@ topLevelTypes typeEnv validDecls =
27 checkMainType typeEnv validDecls
28 checkMainType typeEnv validDecls
30-- MISSING ANNOTATIONS
32-- MISSING ANNOTATIONS
32warnMissingAnnotation
35warnMissingAnnotation
33 :: Map.Map String Type.Canonical
36 :: Map.Map String Type.Canonical
34 -> Decl.Valid
37 -> Decl.Valid
@@ -45,8 +48,10 @@ warnMissingAnnotation typeEnv (A.A (region,_) decl) =
48-- MAIN TYPE
52-- MAIN TYPE
50checkMainType
55checkMainType
51 :: Map.Map String Type.Canonical
56 :: Map.Map String Type.Canonical
52 -> [Decl.Valid]
57 -> [Decl.Valid]