-- Typecheck it
maybe_tc_return <-
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
- print_unqual iNTERACTIVE (syn,e,decls) }
+ print_unqual iNTERACTIVE (e,decls) }
else typecheckStmt dflags pcs1 hst type_env
print_unqual iNTERACTIVE bound_names rn_stmt