a47fe6c · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

on golang help sign in

Remove redundant canonicalizeType

a47fe6cGary Burgess13 years ago

src/Language/PureScript/TypeChecker/Monad.hs−12

@@ -185,18 +185,6 @@ canonicalize mn env (Qualified Nothing i) = case (mn, i) `M.lookup` names env of

185 Just (_, Alias mn' i') -> (mn', i')

186 _ -> (mn, i)

187

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−

200-- |

188-- |

201-- State required for type checking:

189-- State required for type checking:

202--

190--