Ticket #5220 (closed bug: fixed)

Opened 2 years ago

Last modified 2 years ago

GHC internal error when missing -XFlexibleContexts with generics

Reported by: dreixel Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty:
Test Case: GEq2 Blocked By:
Blocking: Related Tickets:

Description

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

Changed 2 years ago by simonpj

  • status changed from new to closed
  • resolution set to fixed

I fixed this.

Note: See TracTickets for help on using tickets.