git.iko.soy/elk
on master help sign in
Flow Data.Name usage through to type helpers
6055395Evan Czaplicki
compiler/src/AST/Utils/Type.hs+4−4
compare with master
unifiedsplit
@@ -10,9 +10,9 @@ module AST.Utils.Type
10
10
11
11
12import qualified Data.Map as Map
12import qualified Data.Map as Map
13+import qualified Data.Name as Name
13
14
14import AST.Canonical (Type(..), AliasType(..), FieldType(..))
15import AST.Canonical (Type(..), AliasType(..), FieldType(..))
15−import qualified Elm.Name as N
16
16
17
17
18
18
@@ -33,7 +33,7 @@ delambda tipe =
33-- DEALIAS
33-- DEALIAS
34
34
35
35
36−dealias :: [(N.Name, Type)] -> AliasType -> Type
36+dealias :: [(Name.Name, Type)] -> AliasType -> Type
37dealias args aliasType =
37dealias args aliasType =
38 case aliasType of
38 case aliasType of
39 Holey tipe ->
39 Holey tipe ->
@@ -43,7 +43,7 @@ dealias args aliasType =
43 tipe
43 tipe
44
44
45
45
46−dealiasHelp :: Map.Map N.Name Type -> Type -> Type
46+dealiasHelp :: Map.Map Name.Name Type -> Type -> Type
47dealiasHelp typeTable tipe =
47dealiasHelp typeTable tipe =
48 case tipe of
48 case tipe of
49 TLambda a b ->
49 TLambda a b ->
@@ -73,7 +73,7 @@ dealiasHelp typeTable tipe =
73 (fmap (dealiasHelp typeTable) maybeC)
73 (fmap (dealiasHelp typeTable) maybeC)
74
74
75
75
76−dealiasField :: Map.Map N.Name Type -> FieldType -> FieldType
76+dealiasField :: Map.Map Name.Name Type -> FieldType -> FieldType
77dealiasField typeTable (FieldType index tipe) =
77dealiasField typeTable (FieldType index tipe) =
78 FieldType index (dealiasHelp typeTable tipe)
78 FieldType index (dealiasHelp typeTable tipe)
79
79