1e8ef26 · rowtype-yoga/purescript-native

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

on golang help sign in

Merge pull request #821 from purescript/820

1e8ef26Phil Freeman12 years ago

examples/passing/CheckFunction.pursnew file+5

@@ -0,0 +1,5 @@

1+module Main where

3+test = ((\x -> x+1) >>> (\x -> x*2)) 4

5+main = Debug.Trace.trace "Done"

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

@@ -472,7 +472,8 @@ check' (ArrayLiteral vals) t@(TypeApp a ty) = do

472 a =?= tyArray

473 array <- ArrayLiteral <$> forM vals (`check` ty)

474 return $ TypedValue True array t

475−check' (Abs (Left arg) ret) ty@(TypeApp (TypeApp t argTy) retTy) | t == tyFunction = do

475+check' (Abs (Left arg) ret) ty@(TypeApp (TypeApp t argTy) retTy) = do

476+ t =?= tyFunction

476 Just moduleName <- checkCurrentModule <$> get

477 Just moduleName <- checkCurrentModule <$> get

477 ret' <- makeBindingGroupVisible $ bindLocalVariables moduleName [(arg, argTy, Defined)] $ check ret retTy

478 ret' <- makeBindingGroupVisible $ bindLocalVariables moduleName [(arg, argTy, Defined)] $ check ret retTy

478 return $ TypedValue True (Abs (Left arg) ret') ty

479 return $ TypedValue True (Abs (Left arg) ret') ty