Special type for vars that are only top-level
commit8a43c40f427aa0ee9e9e5a2869225cbf73eedb39
authorJoeyEremondi <joey@eremondi.com>
dateFri 28 Aug 2015, 16:42 (11 years ago)
parent99ff520
src/AST/Expression/Canonical.hs+1−1
@@ -30,7 +30,7 @@ data Def
3030
3131data Facts =
3232 Facts
33− { freeVariables :: [Var.Canonical]
33+ { freeVariables :: [Var.TopLevelVar]
3434 } deriving (Eq, Ord, Show)
3535
3636
src/AST/Expression/Optimized.hs+1−1
@@ -27,7 +27,7 @@ data Def
2727
2828data Facts = Facts
2929 { tailRecursionDetails :: Maybe String
30− , freeVariables :: [Var.Canonical]
30+ , freeVariables :: [Var.TopLevelVar]
3131 }
3232 deriving (Show)
3333
src/AST/Variable.hs+7
@@ -17,6 +17,13 @@ newtype Raw = Raw String
1717 deriving (Eq, Ord, Show)
1818
1919
20+data TopLevelVar =
21+ TopLevelVar
22+ { topVarModule :: [String]
23+ , topVarName :: String
24+ } deriving (Eq, Ord, Show)
25+
26+
2027data Home
2128 = BuiltIn
2229 | Module [String]