git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Update mentions of "Eff"
commitae3f8c9caaa8bbf5484e443c370f7ca9b8f05e85 authorGary Burgess <gary.burgess@gmail.com> dateFri 21 Feb 2014, 18:16 (13 years ago) parent48c8527
2 files changed+2−2
compare with golang
unifiedsplit
src/Language/PureScript/CodeGen/Optimize.hs+1−1 src/Language/PureScript/TypeChecker/Types.hs+1−1
src/Language/PureScript/CodeGen/Optimize.hs+1−1
@@ -316,7 +316,7 @@ magicDo' = everywhere (mkT undo) . everywhere' (mkT convert)
316316 isEffFunc _ _ = False
317317 -- Module names
318318 prelude = ModuleName [ProperName "Prelude"]
319− effModule = ModuleName [ProperName "Eff"]
319+ effModule = ModuleName [ProperName "Control", ProperName "Monad", ProperName "Eff"]
320320 -- The name of the type class dictionary for the Monad Eff instance
321321 Right (Ident effDictName) = mkDictionaryValueName
322322 effModule
src/Language/PureScript/TypeChecker/Types.hs+1−1
@@ -208,7 +208,7 @@ typesOf mainModuleName moduleName vals = do
208208 -- If --main is enabled, need to check that `main` has type Eff eff a for some eff, a
209209 when (Just moduleName == mainModuleName && fst e == Ident "main") $ do
210210 [eff, a] <- replicateM 2 fresh
211− ty =?= TypeApp (TypeApp (TypeConstructor (Qualified (Just (ModuleName [ProperName "Eff"])) (ProperName "Eff"))) eff) a
211+ ty =?= TypeApp (TypeApp (TypeConstructor (Qualified (Just (ModuleName [ProperName "Control", ProperName "Monad", ProperName "Eff"])) (ProperName "Eff"))) eff) a
212212 -- Make sure unification variables do not escape
213213 escapeCheck val ty
214214 return triple