@@ -12,8 +12,8 @@ import AST.Module
13type Rules = (Aliases, CanonicalType -> CanonicalType)
13type Rules = (Aliases, CanonicalType -> CanonicalType)
15−rules interfaces moduleAliases moduleImports =
15+rules interfaces moduleAliases moduleImports = (Map.empty, id)
16− (error "Type.Alias.rules is not defined")
16+ --(error "Type.Alias.rules is not defined")
17 --(collect interfaces moduleAliases, localizer moduleImports)
17 --(collect interfaces moduleAliases, localizer moduleImports)
19collect interfaces moduleAliases =
19collect interfaces moduleAliases =
@@ -60,15 +60,15 @@ localizer moduleImports = go
62realias :: Rules -> CanonicalType -> CanonicalType
62realias :: Rules -> CanonicalType -> CanonicalType
63−realias (aliases,localize) tipe =
63+realias (aliases,localize) tipe = tipe
64− (error "Type.Alias.realias is not defined")
64+ -- (error "Type.Alias.realias is not defined")
65 -- localize (canonicalRealias aliases tipe)
65 -- localize (canonicalRealias aliases tipe)
67-- Realias using canonical aliases, so results will have aliases
67-- Realias using canonical aliases, so results will have aliases
68-- that are fully qualified and possible to compare.
68-- that are fully qualified and possible to compare.
69canonicalRealias :: Aliases -> CanonicalType -> CanonicalType
69canonicalRealias :: Aliases -> CanonicalType -> CanonicalType
70−canonicalRealias aliases tipe =
70+canonicalRealias aliases tipe = tipe
71− (error "Type.Alias.rules is not defined")
71+-- (error "Type.Alias.rules is not defined")
73 case concatMap tryRealias aliases of
73 case concatMap tryRealias aliases of
74 [] -> if tipe == tipe' then tipe else f tipe'
74 [] -> if tipe == tipe' then tipe else f tipe'