@@ -12,8 +12,8 @@ import AST.Module
1212
1313type Rules = (Aliases, CanonicalType -> CanonicalType)
1414
15−rules interfaces moduleAliases moduleImports =
16− (error "Type.Alias.rules is not defined")
15+rules interfaces moduleAliases moduleImports = (Map.empty, id)
16+ --(error "Type.Alias.rules is not defined")
1717 --(collect interfaces moduleAliases, localizer moduleImports)
1818{--
1919collect interfaces moduleAliases =
@@ -60,15 +60,15 @@ localizer moduleImports = go
6060 _ -> []
6161--}
6262realias :: Rules -> CanonicalType -> CanonicalType
63−realias (aliases,localize) tipe =
64− (error "Type.Alias.realias is not defined")
63+realias (aliases,localize) tipe = tipe
64+ -- (error "Type.Alias.realias is not defined")
6565 -- localize (canonicalRealias aliases tipe)
6666
6767-- Realias using canonical aliases, so results will have aliases
6868-- that are fully qualified and possible to compare.
6969canonicalRealias :: Aliases -> CanonicalType -> CanonicalType
70−canonicalRealias aliases tipe =
71− (error "Type.Alias.rules is not defined")
70+canonicalRealias aliases tipe = tipe
71+-- (error "Type.Alias.rules is not defined")
7272{--
7373 case concatMap tryRealias aliases of
7474 [] -> if tipe == tipe' then tipe else f tipe'