git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix an issue with unqualified type class names
commitbf0e439a14c34b1f2a75401f96fd32ab0cff4d8f authorPhil Freeman <paf31@cantab.net> dateThu 16 Jan 2014, 17:40 (13 years ago) parent418f44a
2 files changed+2−2
compare with golang
unifiedsplit
examples/passing/TypeClasses.purs+1−1 src/Language/PureScript/TypeChecker/Types.hs+1−1
examples/passing/TypeClasses.purs+1−1
@@ -3,7 +3,7 @@ module TypeClasses where
33class Show a where
44 show :: a -> String
55
6−instance TypeClasses.Show String where
6+instance Show String where
77 show s = s
88
99test1 = show "testing"
src/Language/PureScript/TypeChecker/Types.hs+1−1
@@ -198,7 +198,7 @@ entails moduleName context goal@(className, ty) = do
198198 go env (className', ty') =
199199 [ App (Var (Qualified Nothing fnName)) args
200200 | (fnName, subgoals, className'', ty'') <- context
201− , className' == className''
201+ , qualify moduleName className' == qualify moduleName className''
202202 , subst <- maybeToList $ typeHeadsAreEqual moduleName env ty' ty''
203203 , args <- forM (replaceAllTypeVars subst subgoals) (go env) ]
204204