diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-18 15:49:56 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-24 16:38:55 +0100 |
| commit | e2ca1072fd5b9d6f3983b7bb8099d728ed66efc0 (patch) | |
| tree | 9dcd935d8e1c816d9c2919da5298b1cf1c0dc637 /compiler/typecheck/TcRnTypes.hs | |
| parent | 6b1102e2cfcffb265fd33cf8a99ab5e6b3f14906 (diff) | |
| download | haskell-e2ca1072fd5b9d6f3983b7bb8099d728ed66efc0.tar.gz | |
Add HasDebugCallStack to ctEvCoecion
This is a debug-only change
Diffstat (limited to 'compiler/typecheck/TcRnTypes.hs')
| -rw-r--r-- | compiler/typecheck/TcRnTypes.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs index bbd85aa1c6..8119be5ce9 100644 --- a/compiler/typecheck/TcRnTypes.hs +++ b/compiler/typecheck/TcRnTypes.hs @@ -2825,7 +2825,7 @@ ctEvExpr ev@(CtWanted { ctev_dest = HoleDest _ }) = Coercion $ ctEvCoercion ev ctEvExpr ev = evId (ctEvEvId ev) -ctEvCoercion :: CtEvidence -> Coercion +ctEvCoercion :: HasDebugCallStack => CtEvidence -> Coercion ctEvCoercion (CtGiven { ctev_evar = ev_id }) = mkTcCoVarCo ev_id ctEvCoercion (CtWanted { ctev_dest = dest }) |