diff options
author | Richard Eisenberg <rae@richarde.dev> | 2019-06-04 14:31:08 -0400 |
---|---|---|
committer | Alp Mestanogullari <alp@well-typed.com> | 2019-08-14 17:47:25 -0400 |
commit | 6329c70a36242849540c93b34903f6188b0ed477 (patch) | |
tree | f341da692c9f7707be90939f9e890f28625d5402 /compiler/simplStg | |
parent | aa4d8b07edad74c29acdcf06cf1b4c3ff6b97ffa (diff) | |
download | haskell-6329c70a36242849540c93b34903f6188b0ed477.tar.gz |
GHCi supports not-necessarily-lifted join points
Fixes #16509.
See Note [Not-necessarily-lifted join points] in ByteCodeGen,
which tells the full story.
This commit also adds some comments and cleans some code
in the byte-code generator, as I was exploring around trying
to understand it.
(This commit removes an old test -- this is really a GHCi problem,
not a pattern-synonym problem.)
test case: ghci/scripts/T16509
Diffstat (limited to 'compiler/simplStg')
-rw-r--r-- | compiler/simplStg/RepType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/simplStg/RepType.hs b/compiler/simplStg/RepType.hs index 9320c3ed83..f235344848 100644 --- a/compiler/simplStg/RepType.hs +++ b/compiler/simplStg/RepType.hs @@ -64,7 +64,7 @@ isNvUnaryType ty = False -- INVARIANT: the result list is never empty. -typePrimRepArgs :: Type -> [PrimRep] +typePrimRepArgs :: HasDebugCallStack => Type -> [PrimRep] typePrimRepArgs ty | [] <- reps = [VoidRep] |