7873a98 · rowtype-yoga/purescript-native

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

Fix order of type class dictionaries passed to a function

commit7873a9828ef3db53441392feca4b5ddcff079167 authorPhil Freeman <paf31@cantab.net> dateWed 5 Feb 2014, 10:01 (13 years ago) parent9010d98

1 file changed+1−1

unifiedsplit

src/Language/PureScript/TypeChecker/Types.hs+1−1

@@ -238,7 +238,7 @@ entails moduleName context goal@(className, ty) = do

238238 return $ Just dict

239239 mkDictionary :: Qualified Ident -> Maybe [Value] -> Value

240240 mkDictionary fnName Nothing = Var fnName

241− mkDictionary fnName (Just dicts) = foldr (flip App) (Var fnName) dicts

241+ mkDictionary fnName (Just dicts) = foldl App (Var fnName) dicts

242242 filterModule :: TypeClassDictionaryInScope -> Bool

243243 filterModule (TypeClassDictionaryInScope { tcdName = Qualified (Just mn) _ }) | mn == moduleName = True

244244 filterModule (TypeClassDictionaryInScope { tcdName = Qualified Nothing _ }) = True