• Richard Eisenberg's avatar
    GHCi supports not-necessarily-lifted join points · 6329c70a
    Richard Eisenberg authored
    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
    6329c70a
ByteCodeGen.hs 76 KB