621ea30 · rowtype-yoga/purescript-native

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

on golang help sign in

Fix #332

621ea30Phil Freeman13 years ago

examples/failing/Let.pursnew file+3

compare with golang

unifiedsplit

@@ -0,0 +1,3 @@

1+module Main where

3+test = let x = x in x

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

@@ -585,7 +585,8 @@ inferLetBinding seen [] ret j = (,) seen <$> j ret

585inferLetBinding seen (ValueDeclaration ident nameKind [] Nothing val : rest) ret j = do

586 valTy <- fresh

587 Just moduleName <- checkCurrentModule <$> get

588− TypedValue _ val' valTy' <- bindNames (M.singleton (moduleName, ident) (valTy, nameKind)) $ infer val

588+ let dict = if isFunction val then M.singleton (moduleName, ident) (valTy, nameKind) else M.empty

589+ TypedValue _ val' valTy' <- bindNames dict $ infer val

589 valTy =?= valTy'

590 valTy =?= valTy'

590 bindNames (M.singleton (moduleName, ident) (valTy', nameKind)) $ inferLetBinding (seen ++ [ValueDeclaration ident nameKind [] Nothing val']) rest ret j

591 bindNames (M.singleton (moduleName, ident) (valTy', nameKind)) $ inferLetBinding (seen ++ [ValueDeclaration ident nameKind [] Nothing val']) rest ret j

591inferLetBinding seen (BindingGroupDeclaration ds : rest) ret j = do

592inferLetBinding seen (BindingGroupDeclaration ds : rest) ret j = do