@@ -185,18 +185,6 @@ canonicalize mn env (Qualified Nothing i) = case (mn, i) `M.lookup` names env of
185185 Just (_, Alias mn' i') -> (mn', i')
186186 _ -> (mn, i)
187187
188−{-
189−-- |
190−-- Canonicalize a type variable by resolving any aliases introduced by module imports
191−--
192−canonicalizeType :: ModuleName -> Environment -> Qualified ProperName -> (ModuleName, ProperName)
193−canonicalizeType _ _ (Qualified (Just mn) nm) = (mn, nm)
194−canonicalizeType mn env (Qualified Nothing nm) = error $ "unqualified type " ++ (show nm) ++ " in " ++ show mn
195− {-case (mn, nm) `M.lookup` types env of
196− Just (_, DataAlias mn' pn') -> (mn', pn')
197− _ -> (mn, nm)-}
198− -}
199−
200188-- |
201189-- State required for type checking:
202190--