git.iko.soy/elk
on 446c784 help sign in
elk/src/Validate.hs
415 lines 11 kB history raw
1{-# OPTIONS_GHC -Wall #-}
2module Validate (declarations) where
4import Control.Applicative ((<$>),(<*>))
5import qualified Data.Map as Map
6import qualified Data.Set as Set
7import qualified Data.Foldable as F
8import qualified Data.Traversable as T
10import AST.Expression.General
11import qualified AST.Expression.Source as Source
12import qualified AST.Expression.Valid as Valid
13import qualified AST.Declaration as D
14import qualified AST.Pattern as Pattern
15import qualified AST.Type as Type
16import Elm.Utils ((|>))
17import qualified Reporting.Annotation as A
18import qualified Reporting.Error.Syntax as Error
19import qualified Reporting.Region as R
20import qualified Reporting.Result as Result
23-- VALIDATE DECLARATIONS
25declarations
26 :: Bool
27 -> [D.SourceDecl]
28 -> Result.Result wrn Error.Error [D.ValidDecl]
29declarations isRoot sourceDecls =
30 do validDecls <- validateDecls Nothing sourceDecls
31 (\_ _ -> validDecls)
32 <$> declDuplicates validDecls
33 <*> T.traverse (checkDecl isRoot) validDecls
36validateDecls
37 :: Maybe String
38 -> [D.SourceDecl]
39 -> Result.Result wrn Error.Error [D.ValidDecl]
40validateDecls maybeComment sourceDecls =
41 case sourceDecls of
42 [] ->
43 return []
45 sourceDecl : decls ->
46 case sourceDecl of
47 D.Comment comment ->
48 validateDecls (Just comment) decls
50 D.Decl decl ->
51 validateDeclsHelp maybeComment decl decls
54validateDeclsHelp
55 :: Maybe String
56 -> A.Located D.SourceDecl'
57 -> [D.SourceDecl]
58 -> Result.Result wrn Error.Error [D.ValidDecl]
59validateDeclsHelp comment (A.A region decl) decls =
60 let addRest validDecl =
61 (:) (A.A (region, comment) validDecl)
62 <$> validateDecls Nothing decls
63 in
64 case decl of
65 D.Datatype name tvars ctors ->
66 addRest (D.Datatype name tvars ctors)
68 D.TypeAlias name tvars alias ->
69 addRest (D.TypeAlias name tvars alias)
71 D.Fixity assoc prec op ->
72 addRest (D.Fixity assoc prec op)
74 D.Definition def ->
75 defHelp comment def decls
77 D.Port port ->
78 portHelp comment region port decls
81-- VALIDATE DEFINITIONS IN DECLARATIONS
83defHelp
84 :: Maybe String
85 -> Source.Def
86 -> [D.SourceDecl]
87 -> Result.Result wrn Error.Error [D.ValidDecl]
88defHelp comment (A.A region def) decls =
89 let addRest def' rest =
90 (:) (A.A (region, comment) (D.Definition def'))
91 <$> validateDecls Nothing rest
92 in
93 case def of
94 Source.Definition pat expr ->
95 do expr' <- Validate.expression expr
96 let def' = Valid.Definition pat expr' Nothing
97 addRest def' decls
99 Source.TypeAnnotation name tipe ->
100 case decls of
101 D.Decl (A.A _ (D.Definition (A.A _
102 (Source.Definition pat@(A.A _ (Pattern.Var name')) expr)))) : rest
103 | name == name' ->
104 do expr' <- Validate.expression expr
105 let def' = Valid.Definition pat expr' (Just tipe)
106 addRest def' rest
108 _ ->
109 Result.throw region (Error.TypeWithoutDefinition name)
112-- VALIDATE PORTS IN DECLARATIONS
114portHelp
115 :: Maybe String
116 -> R.Region
117 -> D.SourcePort
118 -> [D.SourceDecl]
119 -> Result.Result wrn Error.Error [D.ValidDecl]
120portHelp comment region port decls =
121 let addRest port' rest =
122 (:) (A.A (region,comment) (D.Port port'))
123 <$> validateDecls Nothing rest
124 in
125 case port of
126 D.PortDefinition name _ ->
127 Result.throw region (Error.PortWithoutAnnotation name)
129 D.PortAnnotation name tipe ->
130 case decls of
131 D.Decl (A.A _ (D.Port (D.PortDefinition name' expr))) : rest
132 | name == name' ->
133 do expr' <- Validate.expression expr
134 let port' = D.Out name expr' tipe
135 addRest port' rest
137 _ ->
138 addRest (D.In name tipe) decls
141-- VALIDATE DEFINITIONS
143definitions :: [Source.Def] -> Result.Result wrn Error.Error [Valid.Def]
144definitions sourceDefs =
145 do validDefs <- definitionsHelp sourceDefs
146 let patterns = map (\(Valid.Definition p _ _) -> p) validDefs
147 defDuplicates patterns
148 return validDefs
151definitionsHelp :: [Source.Def] -> Result.Result wrn Error.Error [Valid.Def]
152definitionsHelp sourceDefs =
153 case sourceDefs of
154 [] ->
155 return []
157 A.A _ (Source.Definition pat expr) : rest ->
158 do expr' <- expression expr
159 let def = Valid.Definition pat expr' Nothing
160 (:) def <$> definitionsHelp rest
162 A.A region (Source.TypeAnnotation name tipe) : rest ->
163 case rest of
164 A.A _ (Source.Definition pat@(A.A _ (Pattern.Var name')) expr) : rest'
165 | name == name' ->
166 do expr' <- expression expr
167 let def = Valid.Definition pat expr' (Just tipe)
168 (:) def <$> definitionsHelp rest'
170 _ ->
171 Result.throw region (Error.TypeWithoutDefinition name)
174-- VALIDATE EXPRESSIONS
176expression :: Source.Expr -> Result.Result wrn Error.Error Valid.Expr
177expression (A.A ann sourceExpression) =
178 A.A ann <$>
179 case sourceExpression of
180 Var x ->
181 return (Var x)
183 Lambda pattern body ->
184 Lambda pattern <$> expression body
186 Binop op leftExpr rightExpr ->
187 Binop op
188 <$> expression leftExpr
189 <*> expression rightExpr
191 Case e branches ->
192 Case
193 <$> expression e
194 <*> T.traverse second branches
196 Data name args ->
197 Data name <$> T.traverse expression args
199 Literal lit ->
200 return (Literal lit)
202 Range lowExpr highExpr ->
203 Range
204 <$> expression lowExpr
205 <*> expression highExpr
207 ExplicitList expressions ->
208 ExplicitList
209 <$> T.traverse expression expressions
211 App funcExpr argExpr ->
212 App
213 <$> expression funcExpr
214 <*> expression argExpr
216 MultiIf branches ->
217 MultiIf <$> T.traverse both branches
219 Access record field ->
220 Access
221 <$> expression record
222 <*> return field
224 Update record fields ->
225 Update
226 <$> expression record
227 <*> T.traverse second fields
229 Record fields ->
230 Record
231 <$> T.traverse second fields
233 Let defs body ->
234 Let
235 <$> definitions defs
236 <*> expression body
238 GLShader uid src gltipe ->
239 return (GLShader uid src gltipe)
241 Port impl ->
242 Port <$>
243 case impl of
244 In name tipe ->
245 return (In name tipe)
247 Out name expr tipe ->
248 do expr' <- expression expr
249 return (Out name expr' tipe)
251 Task name expr tipe ->
252 do expr' <- expression expr
253 return (Task name expr' tipe)
256second :: (a, Source.Expr) -> Result.Result wrn Error.Error (a, Valid.Expr)
257second (value, expr) =
258 (,) value <$> expression expr
261both
262 :: (Source.Expr, Source.Expr)
263 -> Result.Result wrn Error.Error (Valid.Expr, Valid.Expr)
264both (expr1, expr2) =
265 (,) <$> expression expr1 <*> expression expr2
268-- DETECT DUPLICATES
270detectDuplicates
271 :: (String -> Error.Error)
272 -> [A.Located String]
273 -> Result.Result wrn Error.Error ()
274detectDuplicates tag names =
275 let add (A.A region name) dict =
276 Map.insertWith (++) name [region] dict
278 makeGroups pairs =
279 Map.toList (foldr add Map.empty pairs)
281 check (name, regions) =
282 case regions of
283 _ : region : _ ->
284 Result.throw region (tag name)
286 _ ->
287 return ()
288 in
289 F.traverse_ check (makeGroups names)
292defDuplicates
293 :: [Pattern.RawPattern]
294 -> Result.Result wrn Error.Error ()
295defDuplicates patterns =
296 concatMap Pattern.boundVars patterns
297 |> detectDuplicates Error.DuplicateDefinition
300declDuplicates :: [D.ValidDecl] -> Result.Result wrn Error.Error ()
301declDuplicates decls =
302 let (valueLists, typeLists) = unzip (map extractValues decls)
303 in
304 (\_ _ -> ())
305 <$> detectDuplicates Error.DuplicateValueDeclaration (concat valueLists)
306 <*> detectDuplicates Error.DuplicateTypeDeclaration (concat typeLists)
309extractValues :: D.ValidDecl -> ([A.Located String], [A.Located String])
310extractValues (A.A (region, _) decl) =
311 case decl of
312 D.Definition (Valid.Definition pattern _ _) ->
313 ( Pattern.boundVars pattern
314 , []
315 )
317 D.Datatype name _ ctors ->
318 ( map (A.A region . fst) ctors
319 , [A.A region name]
320 )
322 D.TypeAlias name _ (A.A _ (Type.RRecord _ _)) ->
323 ( [A.A region name]
324 , [A.A region name]
325 )
327 D.TypeAlias name _ _ ->
328 ( []
329 , [A.A region name]
330 )
332 D.Port port ->
333 ( [A.A region (D.validPortName port)]
334 , []
335 )
337 D.Fixity _ _ _ ->
338 ( []
339 , []
340 )
343-- UNBOUND TYPE VARIABLES
345checkDecl :: Bool -> D.ValidDecl -> Result.Result wrn Error.Error ()
346checkDecl isRoot (A.A (region,_) decl) =
347 case decl of
348 D.Definition _ ->
349 return ()
351 D.Datatype name boundVars ctors ->
352 let frees = concatMap freeVars (concatMap snd ctors)
353 in
354 case findUnbound boundVars frees of
355 [] ->
356 return ()
358 unbound ->
359 let
360 (v:vs) = Set.toList (Set.fromList unbound)
361 in
362 Result.throw region
363 (Error.UnboundTypeVarsInUnion name boundVars v vs ctors)
365 D.TypeAlias name boundVars tipe ->
366 case findUnbound boundVars (freeVars tipe) of
367 [] ->
368 return ()
370 unbound ->
371 let
372 (v:vs) = Set.toList (Set.fromList unbound)
373 in
374 Result.throw region
375 (Error.UnboundTypeVarsInAlias name boundVars v vs tipe)
377 D.Port _ ->
378 if isRoot
379 then return ()
380 else Result.throw region Error.UnexpectedPort
382 D.Fixity _ _ _ ->
383 return ()
386findUnbound :: [String] -> [A.Located String] -> [String]
387findUnbound boundVars frees =
388 let bounds = Set.fromList boundVars
390 isUnbound x =
391 Set.notMember x bounds
392 in
393 filter isUnbound (map A.drop frees)
397freeVars :: Type.Raw -> [A.Located String]
398freeVars (A.A region tipe) =
399 case tipe of
400 Type.RLambda t1 t2 ->
401 freeVars t1 ++ freeVars t2
403 Type.RVar x ->
404 [A.A region x]
406 Type.RType _ ->
407 []
409 Type.RApp t ts ->
410 concatMap freeVars (t:ts)
412 Type.RRecord fields ext ->
413 maybe [] freeVars ext
414 ++ concatMap (freeVars . snd) fields