From 58408c77f126e685969756d30e050d308fea3786 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simon.peytonjones@gmail.com>
Date: Fri, 26 Apr 2024 19:22:40 +0100
Subject: [PATCH] Add a couple more HasCallStack constraints in SimpleOpt
Just for debugging, no effect on normal code
---
compiler/GHC/Core/SimpleOpt.hs | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/compiler/GHC/Core/SimpleOpt.hs b/compiler/GHC/Core/SimpleOpt.hs
index 0314e15b33ad..cad74a6ba9c9 100644
--- a/compiler/GHC/Core/SimpleOpt.hs
+++ b/compiler/GHC/Core/SimpleOpt.hs
@@ -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)
@@ -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)
--
GitLab