on master help sign in
Flow Data.Name usage through to type helpers
commit6055395a3c01bbbc71d1cd5926c925b9e97ed7b7 authorEvan Czaplicki <evancz@users.noreply.github.com> dateMon 19 Nov 2018, 11:42 (8 years ago) parent64dcd7e
1 file changed+4−4
compiler/src/AST/Utils/Type.hs+4−4
compiler/src/AST/Utils/Type.hs+4−4
@@ -10,9 +10,9 @@ module AST.Utils.Type
1010
1111
1212import qualified Data.Map as Map
13+import qualified Data.Name as Name
1314
1415import AST.Canonical (Type(..), AliasType(..), FieldType(..))
15−import qualified Elm.Name as N
1616
1717
1818
@@ -33,7 +33,7 @@ delambda tipe =
3333-- DEALIAS
3434
3535
36−dealias :: [(N.Name, Type)] -> AliasType -> Type
36+dealias :: [(Name.Name, Type)] -> AliasType -> Type
3737dealias args aliasType =
3838 case aliasType of
3939 Holey tipe ->
@@ -43,7 +43,7 @@ dealias args aliasType =
4343 tipe
4444
4545
46−dealiasHelp :: Map.Map N.Name Type -> Type -> Type
46+dealiasHelp :: Map.Map Name.Name Type -> Type -> Type
4747dealiasHelp typeTable tipe =
4848 case tipe of
4949 TLambda a b ->
@@ -73,7 +73,7 @@ dealiasHelp typeTable tipe =
7373 (fmap (dealiasHelp typeTable) maybeC)
7474
7575
76−dealiasField :: Map.Map N.Name Type -> FieldType -> FieldType
76+dealiasField :: Map.Map Name.Name Type -> FieldType -> FieldType
7777dealiasField typeTable (FieldType index tipe) =
7878 FieldType index (dealiasHelp typeTable tipe)
7979