diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-01-30 22:45:16 -0500 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-01-30 22:45:16 -0500 |
| commit | b6558d80072257b9bd41fb6099a86e7411c8ba97 (patch) | |
| tree | 0baddc726f613cb229a3a52f113b603c7091800d /compiler/ghci/ByteCodeGen.hs | |
| parent | e554ac3e19eec3bb738caa74d74609b05b312a7e (diff) | |
| download | haskell-wip/t11715.tar.gz | |
Checkpoint after renamingwip/t11715
Diffstat (limited to 'compiler/ghci/ByteCodeGen.hs')
| -rw-r--r-- | compiler/ghci/ByteCodeGen.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/ghci/ByteCodeGen.hs b/compiler/ghci/ByteCodeGen.hs index faaad709ea..f4b224d2a5 100644 --- a/compiler/ghci/ByteCodeGen.hs +++ b/compiler/ghci/ByteCodeGen.hs @@ -553,10 +553,10 @@ schemeE d s p exp@(AnnTick (Breakpoint _id _fvs) _rhs) -- type and hence won't be bound in the environment, but the -- breakpoint will otherwise work fine. -- - -- NB (Trac #12007) this /also/ applies for if (ty :: TYPEvis r), where + -- NB (Trac #12007) this /also/ applies for if (ty :: TYPE r), where -- r :: RuntimeRep is a variable. This can happen in the -- continuations for a pattern-synonym matcher - -- match = /\(r::RuntimeRep) /\(a::TYPEvis r). + -- match = /\(r::RuntimeRep) /\(a::TYPE r). -- \(k :: Int -> a) \(v::T). -- case v of MkV n -> k n -- Here (k n) :: a :: Type r, so we don't know if it's lifted |