Opened 9 years ago

Closed 9 years ago

Last modified 4 years ago

#5220 closed bug (fixed)

GHC internal error when missing -XFlexibleContexts with generics

Reported by: dreixel Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.1
Keywords: Generics Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: GEq2
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


See test case GEq2 (currently on the ghc-generics branch, soon to be merged). When missing -XFlexibleContexts, the compiler panics with

 GHC internal error: `Main.$gdmgeq' is not in scope during type checking, but it passed the renamer

When -XFlexibleContexts is added, the error disappears.

Change History (2)

comment:1 Changed 9 years ago by simonpj

Resolution: fixed
Status: newclosed

I fixed this.

comment:2 Changed 4 years ago by RyanGlScott

Keywords: Generics added
Note: See TracTickets for help on using tickets.