Fix a bug in dictTrace
commit47cf7b69d1986c62bd3d8b00f734b9aabbab6e1a
authorPhil Freeman <paf31@cantab.net>
dateMon 7 Apr 2014, 20:28 (13 years ago)
parent383a9ef
examples/passing/Superclasses3.purs+1−1
@@ -7,7 +7,7 @@ import Control.Monad.Eff
77class (Monad m) <= MonadWriter w m where
88 tell :: w -> m {}
99
10−testFunctor :: forall m. (Functor m) => m Number -> m Number
10+testFunctor :: forall m. (Monad m) => m Number -> m Number
1111testFunctor n = (+) 1 <$> n
1212
1313test :: 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
393393 --
394394 dictTrace :: DictionaryValue -> DictionaryValue
395395 dictTrace (DependentDictionaryValue fnName dicts) = DependentDictionaryValue fnName $ map dictTrace dicts
396− dictTrace (SubclassDictionaryValue dict _ _) = dict
396+ dictTrace (SubclassDictionaryValue dict _ _) = dictTrace dict
397397 dictTrace other = other
398398
399399-- |