Commit e07fe7df authored by sewardj's avatar sewardj

[project @ 2001-01-16 15:44:42 by sewardj]

hscExpr: be a bit more careful about which pcs version is returned, so
that the environment isn't totally hosed following a type error.
parent 1a9c8f45
......@@ -412,14 +412,14 @@ hscExpr dflags hst hit pcs0 this_module expr
(pcs1, maybe_renamed_expr) <-
renameExpr dflags hit hst pcs0 this_module parsed_expr;
case maybe_renamed_expr of
Nothing -> return (pcs1, Nothing)
Nothing -> return ({-WAS:pcs1-} pcs0, Nothing)
Just (print_unqual, rn_expr) -> do {
-- Typecheck it
maybe_tc_return
<- typecheckExpr dflags pcs1 hst print_unqual this_module rn_expr;
case maybe_tc_return of {
Nothing -> return (pcs1, Nothing);
Nothing -> return ({-WAS:pcs1-} pcs0, Nothing);
Just (pcs2, tc_expr, ty) -> do
-- if it isn't an IO-typed expression,
......
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