Skip to content

Commit

Permalink
Add a couple more HasCallStack constraints in SimpleOpt
Browse files Browse the repository at this point in the history
Just for debugging, no effect on normal code
  • Loading branch information
simonpj authored and Marge Bot committed May 4, 2024
1 parent be1e60e commit 58408c7
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions compiler/GHC/Core/SimpleOpt.hs
Original file line number Diff line number Diff line change
Expand Up @@ -228,7 +228,8 @@ enterRecGroupRHSs env bndrs k
(env', r) = k env{soe_rec_ids = extendUnVarSetList bndrs (soe_rec_ids env)}

---------------
simple_opt_clo :: InScopeSet
simple_opt_clo :: HasCallStack
=> InScopeSet
-> SimpleClo
-> OutExpr
simple_opt_clo in_scope (e_env, e)
Expand Down Expand Up @@ -397,7 +398,8 @@ simple_app env (Let bind body) args
simple_app env e as
= finish_app env (simple_opt_expr env e) as

finish_app :: SimpleOptEnv -> OutExpr -> [SimpleClo] -> OutExpr
finish_app :: HasCallStack
=> SimpleOptEnv -> OutExpr -> [SimpleClo] -> OutExpr
-- See Note [Eliminate casts in function position]
finish_app env (Cast (Lam x e) co) as@(_:_)
| not (isTyVar x) && not (isCoVar x)
Expand Down

0 comments on commit 58408c7

Please sign in to comment.