@@ -80,17 +80,29 @@ canonicalizeAlias env (name, tvars, dealiasedTipe) tipes =
8080 tvarsLen = length tvars
8181
8282 msg :: String
83− msg = "Type alias '" ++ Var.toString name ++ "' expects " ++ show tvarsLen ++
84− " type argument" ++ (if tvarsLen == 1 then "" else "s") ++
85− " but was given " ++ show tipesLen
83+ msg =
84+ "Type alias '" ++ Var.toString name ++ "' expects " ++ show tvarsLen ++
85+ " type argument" ++ (if tvarsLen == 1 then "" else "s") ++
86+ " but was given " ++ show tipesLen
8687
8788 replace :: Map.Map String T.CanonicalType -> T.CanonicalType -> T.CanonicalType
8889 replace typeTable t =
8990 let go = replace typeTable in
9091 case t of
91− T.Lambda a b -> T.Lambda (go a) (go b)
92− T.Var x -> Map.findWithDefault t x typeTable
93− T.Record fields ext -> T.Record (map (second go) fields) (fmap go ext)
94− T.Aliased original t' -> T.Aliased original (go t')
95− T.Type _ -> t
96− T.App f args -> T.App (go f) (map go args)
92+ T.Lambda a b ->
93+ T.Lambda (go a) (go b)
94+
95+ T.Var x ->
96+ Map.findWithDefault t x typeTable
97+
98+ T.Record fields ext ->
99+ T.Record (map (second go) fields) (fmap go ext)
100+
101+ T.Aliased original t' ->
102+ T.Aliased original (go t')
103+
104+ T.Type _ ->
105+ t
106+
107+ T.App f args ->
108+ T.App (go f) (map go args)