git.iko.soy/elk
on master help sign in
Add a note about what canonicalRealias does
60e90c0Evan Czaplicki
compiler/Type/Alias.hs+2
compare with master
unifiedsplit
@@ -56,6 +56,8 @@ localizer metaModule = go
56realias :: Rules -> Type -> Type
56realias :: Rules -> Type -> Type
57realias (aliases,localize) tipe = localize (canonicalRealias aliases tipe)
57realias (aliases,localize) tipe = localize (canonicalRealias aliases tipe)
58
58
59+-- Realias using canonical aliases, so results will have aliases
60+-- that are fully qualified and possible to compare.
59canonicalRealias :: [(String,[String],Type)] -> Type -> Type
61canonicalRealias :: [(String,[String],Type)] -> Type -> Type
60canonicalRealias aliases tipe =
62canonicalRealias aliases tipe =
61 case concatMap tryRealias aliases of
63 case concatMap tryRealias aliases of