92f1775 · rowtype-yoga/purescript-native

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

on golang help sign in

Fix #862

92f1775Phil Freeman11 years ago

examples/passing/862.pursnew file+8

@@ -0,0 +1,8 @@

1+module Main where

3+import Prelude

4+import Control.Monad.Eff.Console

6+id' = (\x -> x) <$> \y -> y

8+main = log (id' "Done")

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

@@ -587,7 +587,12 @@ check' val kt@(KindedType ty kind) = do

587 return $ TypedValue True val' kt

588check' (PositionedValue pos _ val) ty =

589 warnAndRethrowWithPosition pos $ check' val ty

590+check' val ty = do

591+ TypedValue _ val' ty' <- infer val

592+ mt <- subsumes (Just val') ty' ty

593+ case mt of

590−check' val ty = throwError . errorMessage $ ExprDoesNotHaveType val ty

594+ Nothing -> throwError . errorMessage $ SubsumptionCheckFailed

595+ Just v' -> return $ TypedValue True v' ty

591

596

592containsTypeSynonyms :: Type -> Bool

597containsTypeSynonyms :: Type -> Bool

593containsTypeSynonyms = everythingOnTypes (||) go where

598containsTypeSynonyms = everythingOnTypes (||) go where