Opened 3 years ago

Closed 3 years ago

#12711 closed bug (fixed)

GHC Internal error, unboxed sums

Reported by: Iceland_jack Owned by: osa1
Priority: high Milestone: 8.2.1
Component: Compiler Version: 8.0.1
Keywords: UnboxedSums Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s): Phab:D2753
Wiki Page:


$ ./ghc-stage2 -ignore-dot-ghci --interactive
GHCi, version 8.1.20160930:  :? for help
Prelude> :set -XUnboxedSums 
Prelude> :kind (# _ | _ #)

<interactive>:1:4: error:
    • GHC internal error: ‘_’ is not in scope during type checking, but it passed the renamer
      tcl_env of environment: []
    • In the type ‘(# _ | _ #)’

Change History (6)

comment:1 Changed 3 years ago by simonpj

Milestone: 8.2.1
Owner: set to osa1
Priority: normalhigh

Omer might you look at this? Thanks!

comment:2 Changed 3 years ago by osa1

Sorry I saw this just now. I'll fix this.

comment:3 Changed 3 years ago by osa1

Differential Rev(s): Phab:D2753
Status: newpatch

comment:4 Changed 3 years ago by Ömer Sinan Ağacan <omeragacan@…>

In 14ac3725/ghc:

Collect wildcards in sum types during renaming (#12711)

This patch also removes the "catch all" pattern in the function and
explicitly lists constructors to get a warning in the future if a new
`HsType` was added.

Reviewers: bgamari, austin, simonpj

Reviewed By: simonpj

Subscribers: simonpj, thomie

Differential Revision:

GHC Trac Issues: #12711

comment:5 Changed 3 years ago by osa1

Status: patchmerge

comment:6 Changed 3 years ago by bgamari

Resolution: fixed
Status: mergeclosed

Punting to 8.2.

Note: See TracTickets for help on using tickets.