on master help sign in
Update validation phase for new AST var info
commit450b5e70fd8b8958087e7515066a8dcdd7fd293b authorEvan Czaplicki <evancz@users.noreply.github.com> dateWed 10 Jan 2018, 01:55 (9 years ago) parent50a6265
2 files changed+7−3
src/AST/Valid.hs+2−1 src/Validate.hs+5−2
src/AST/Valid.hs+2−1
@@ -40,7 +40,8 @@ data Expr_
4040 | Str Text
4141 | Int Int
4242 | Float Double
43− | Var (Maybe N.Name) N.Name
43+ | Var Src.VarType N.Name
44+ | VarQual Src.VarType N.Name N.Name
4445 | List [Expr]
4546 | Op N.Name
4647 | Negate Expr
src/Validate.hs+5−2
@@ -170,8 +170,11 @@ expression :: Src.Expr -> Result i w Valid.Expr
170170expression (A.At region sourceExpression) =
171171 A.At region <$>
172172 case sourceExpression of
173− Src.Var prefix name ->
174− pure (Valid.Var prefix name)
173+ Src.Var varType name ->
174+ pure (Valid.Var varType name)
175+
176+ Src.VarQual varType home name ->
177+ pure (Valid.VarQual varType home name)
175178
176179 Src.Lambda pattern body ->
177180 Valid.Lambda pattern <$> expression body