git.iko.soy/elk
on master help sign in
Limit tuple size to 3 in AST.Type
45aaf56Evan Czaplicki
src/AST/Type.hs+5−5
compare with master
unifiedsplit
@@ -44,7 +44,7 @@ data Canonical
44 | Type ModuleName.Canonical Name [Canonical]
44 | Type ModuleName.Canonical Name [Canonical]
45 | Record (Map.Map Name Canonical) (Maybe Canonical)
45 | Record (Map.Map Name Canonical) (Maybe Canonical)
46 | Unit
46 | Unit
47− | Tuple Canonical Canonical [Canonical]
47+ | Tuple Canonical Canonical (Maybe Canonical)
48 | Aliased ModuleName.Canonical Name [(Name, Canonical)] (Aliased Canonical)
48 | Aliased ModuleName.Canonical Name [(Name, Canonical)] (Aliased Canonical)
49 deriving (Eq, Ord)
49 deriving (Eq, Ord)
50
50
@@ -106,8 +106,8 @@ deepDealias tipe =
106 Unit ->
106 Unit ->
107 Unit
107 Unit
108
108
109− Tuple a b cs ->
109+ Tuple a b c ->
110− Tuple (deepDealias a) (deepDealias b) (map deepDealias cs)
110+ Tuple (deepDealias a) (deepDealias b) (fmap deepDealias c)
111
111
112
112
113iteratedDealias :: Canonical -> Canonical
113iteratedDealias :: Canonical -> Canonical
@@ -155,8 +155,8 @@ dealiasHelp typeTable tipe =
155 Unit ->
155 Unit ->
156 Unit
156 Unit
157
157
158− Tuple a b cs ->
158+ Tuple a b c ->
159− Tuple (go a) (go b) (map go cs)
159+ Tuple (go a) (go b) (fmap go c)
160
160
161
161
162
162