831e4a7 · rowtype-yoga/purescript-native

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

make the ImportDeclaration type checker update the env properly

commit831e4a7d50b0524ceced80f99b96fb06cec3b2e9 authorBogdan Popa <popa.bogdanp@gmail.com> dateSun 17 Nov 2013, 00:44 (13 years ago) parentcc4db20

1 file changed+2−1

unifiedsplit

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

@@ -139,4 +139,5 @@ typeCheckAll (ImportDeclaration modulePath idents : rest) = do

139139 forM_ idents $ \ident ->

140140 case M.lookup (modulePath, ident) (names env) of

141141 Nothing -> throwError $ show modulePath ++ "." ++ show ident ++ " is undefined"

142− Just (pt, _) -> putEnv (env { names = M.insert (omp, ident) (pt, Alias modulePath ident) (names env) })

142+ Just (pt, _) -> getEnv >>= \env' ->

143+ putEnv (env' { names = M.insert (omp, ident) (pt, Alias modulePath ident) (names env') })