git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix shadowing issue
aa99fb9Tibor Erdesz
src/Language/PureScript/TypeChecker.hs+3−3
compare with golang
unifiedsplit
@@ -246,9 +246,9 @@ typeCheckAll mainModuleName moduleName exps ds = mapM go ds <* mapM_ checkOrphan
246 where
246 where
247
247
248 checkOrphanInstance :: ModuleName -> Qualified ProperName -> [Type] -> Check ()
248 checkOrphanInstance :: ModuleName -> Qualified ProperName -> [Type] -> Check ()
249− checkOrphanInstance mn (Qualified (Just mn') _) tys
249+ checkOrphanInstance mn (Qualified (Just mn') _) tys'
250− | mn == mn' || any checkType tys = return ()
250+ | mn == mn' || any checkType tys' = return ()
251− | otherwise = throwError . errorMessage $ OrphanInstance dictName className tys
251+ | otherwise = throwError . errorMessage $ OrphanInstance dictName className tys'
252 where
252 where
253 checkType :: Type -> Bool
253 checkType :: Type -> Bool
254 checkType (TypeVar _) = False
254 checkType (TypeVar _) = False