git.iko.soy/elk
on master help sign in
Update validation phase for new AST var info
450b5e7Evan Czaplicki
src/AST/Valid.hs+2−1
compare with master
unifiedsplit
@@ -40,7 +40,8 @@ data Expr_
40 | Str Text
40 | Str Text
41 | Int Int
41 | Int Int
42 | Float Double
42 | Float Double
43− | Var (Maybe N.Name) N.Name
43+ | Var Src.VarType N.Name
44+ | VarQual Src.VarType N.Name N.Name
44 | List [Expr]
45 | List [Expr]
45 | Op N.Name
46 | Op N.Name
46 | Negate Expr
47 | Negate Expr
src/Validate.hs+5−2
@@ -170,8 +170,11 @@ expression :: Src.Expr -> Result i w Valid.Expr
170expression (A.At region sourceExpression) =
170expression (A.At region sourceExpression) =
171 A.At region <$>
171 A.At region <$>
172 case sourceExpression of
172 case sourceExpression of
173− Src.Var prefix name ->
173+ Src.Var varType name ->
174− pure (Valid.Var prefix name)
174+ pure (Valid.Var varType name)
175+
176+ Src.VarQual varType home name ->
177+ pure (Valid.VarQual varType home name)
175
178
176 Src.Lambda pattern body ->
179 Src.Lambda pattern body ->
177 Valid.Lambda pattern <$> expression body
180 Valid.Lambda pattern <$> expression body