git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix a bug in dictTrace
47cf7b6Phil Freeman
examples/passing/Superclasses3.purs+1−1
compare with golang
unifiedsplit
@@ -7,7 +7,7 @@ import Control.Monad.Eff
7class (Monad m) <= MonadWriter w m where
7class (Monad m) <= MonadWriter w m where
8 tell :: w -> m {}
8 tell :: w -> m {}
9
9
10−testFunctor :: forall m. (Functor m) => m Number -> m Number
10+testFunctor :: forall m. (Monad m) => m Number -> m Number
11testFunctor n = (+) 1 <$> n
11testFunctor n = (+) 1 <$> n
12
12
13test :: forall w m. (Monad m, MonadWriter w m) => w -> m {}
13test :: forall w m. (Monad m, MonadWriter w m) => w -> m {}
src/Language/PureScript/TypeChecker/Types.hs+1−1
@@ -393,7 +393,7 @@ entails env moduleName context = solve (sortedNubBy canonicalizeDictionary (filt
393 --
393 --
394 dictTrace :: DictionaryValue -> DictionaryValue
394 dictTrace :: DictionaryValue -> DictionaryValue
395 dictTrace (DependentDictionaryValue fnName dicts) = DependentDictionaryValue fnName $ map dictTrace dicts
395 dictTrace (DependentDictionaryValue fnName dicts) = DependentDictionaryValue fnName $ map dictTrace dicts
396− dictTrace (SubclassDictionaryValue dict _ _) = dict
396+ dictTrace (SubclassDictionaryValue dict _ _) = dictTrace dict
397 dictTrace other = other
397 dictTrace other = other
398
398
399-- |
399-- |