Commit 50e701e8 authored by sof's avatar sof
Browse files

[project @ 2001-07-16 00:43:56 by sof]

hscStmt: track changes made to the TC entry points typecheckExpr, typecheckStmt
parent a8b36eb3
...@@ -513,11 +513,12 @@ hscStmt dflags hst hit pcs0 icontext stmt just_expr ...@@ -513,11 +513,12 @@ hscStmt dflags hst hit pcs0 icontext stmt just_expr
-- Typecheck it -- Typecheck it
maybe_tc_return <- maybe_tc_return <-
if just_expr if just_expr
then case rn_stmt of { (syn, ExprStmt e _ _, decls) -> then case rn_stmt of { (ExprStmt e _ _, decls) ->
typecheckExpr dflags pcs1 hst type_env typecheckExpr dflags pcs1 hst type_env
print_unqual iNTERACTIVE (syn,e,decls) } print_unqual iNTERACTIVE (e,decls) }
else typecheckStmt dflags pcs1 hst type_env else case rn_stmt of { (stmt, decls) ->
print_unqual iNTERACTIVE bound_names rn_stmt typecheckStmt dflags pcs1 hst type_env
print_unqual iNTERACTIVE bound_names (stmt,decls) }
; case maybe_tc_return of ; case maybe_tc_return of
Nothing -> return (pcs0, Nothing) Nothing -> return (pcs0, Nothing)
......
Supports Markdown
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