Commit 3104fac1 authored by David Himmelstrup's avatar David Himmelstrup
Browse files

Fix bug #763: Breakpoint mechanism crashes when there's a type error.

parent 0fa697bc
......@@ -152,9 +152,9 @@ initTc hsc_env hsc_src mod do_this
= mkGlobalId VanillaGlobal breakpointCondJumpName
(basicType (FunTy boolTy)) vanillaIdInfo;
new_env = mkNameEnv [(breakpointJumpName
, AGlobal (AnId breakpointJumpType))
,(breakpointCondJumpName
, AGlobal (AnId breakpointCondJumpType))];
, ATcId breakpointJumpType topLevel False)
,(breakpointCondJumpName
, ATcId breakpointCondJumpType topLevel False)];
};
r <- tryM (updLclEnv (\gbl -> gbl{tcl_env=new_env}) do_this)
#else
......
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