git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Do not allow variable shadowing #135
464a1edPhil Freeman
examples/failing/Shadowed.pursnew file+12
compare with golang
unifiedsplit
@@ -0,0 +1,12 @@
1+module Shadowed where
2+
3+a = [1, 2]
4+
5+foo = {
6+ var x = a !! 0;
7+ var a = 0;
8+
9+ a = a + 1;
10+
11+ return x + a;
12+ }
src/Language/PureScript/TypeChecker/Types.hs+1−1
@@ -675,7 +675,7 @@ assignVariable name = do
675 env <- checkEnv <$> get
675 env <- checkEnv <$> get
676 moduleName <- substCurrentModule <$> ask
676 moduleName <- substCurrentModule <$> ask
677 case M.lookup (moduleName, name) (names env) of
677 case M.lookup (moduleName, name) (names env) of
678− Just (_, LocalVariable) -> throwError $ "Variable with name " ++ show name ++ " already exists."
678+ Just _ -> throwError $ "Variable with name " ++ show name ++ " already exists."
679 _ -> return ()
679 _ -> return ()
680
680
681-- |
681-- |