Commit 113f686f authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Fix of ticket #19 (frontend error on multiple variable definitions)

parent 9f34c20f
......@@ -48,7 +48,7 @@ the module \texttt{NestEnv}. Thus, only the latter needs to be imported.
> bindNestEnv x y (GlobalEnv env)
> = GlobalEnv $ bindTopEnv "NestEnv.bindNestEnv" x y env
> bindNestEnv x y (LocalEnv genv env) = case Map.lookup x env of
> Just _ -> internalError "NestEnv.bindNestEnv"
> Just _ -> internalError $ "NestEnv.bindNestEnv " ++ show x ++ " failed"
> Nothing -> LocalEnv genv $ Map.insert x y env
> qualBindNestEnv :: QualIdent -> a -> NestEnv a -> NestEnv a
......
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment