#8908 closed bug (fixed)

ghc: panic! (the 'impossible' happened)

Reported by: sledged Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.6.3
Keywords: Cc:
Operating System: Linux Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

ghc: panic! (the 'impossible' happened)

(GHC version 7.4.1 for x86_64-unknown-linux):

compiler/rename/RnSource.lhs:429:14-81: Irrefutable pattern failed for pattern Data.Maybe.Just (inst_tyvars,

_,
SrcLoc.L _ cls,
_)

Attachments (2)

STLCPar.lhs (34.0 KB) - added by sledged 12 months ago.
Class excercise: Parallelized Simply-Typed Lambda Calculus Parser, Type-Checker, and Interpreter
example1.TLBN (413 bytes) - added by sledged 12 months ago.
Simply-Typed Lambda Calculus Source Example

Download all attachments as: .zip

Change History (3)

Changed 12 months ago by sledged

Class excercise: Parallelized Simply-Typed Lambda Calculus Parser, Type-Checker, and Interpreter

Changed 12 months ago by sledged

Simply-Typed Lambda Calculus Source Example

comment:1 Changed 12 months ago by rwbarton

  • Resolution set to fixed
  • Status changed from new to closed

Thanks for the report. This is fixed already in GHC 7.6.3, though:

rwbarton@morphism:/tmp$ ghc-7.6.3 STLCPar.lhs 
[1 of 1] Compiling Main             ( STLCPar.lhs, STLCPar.o )

STLCPar.lhs:319:10:
    Malformed instance: (NFData => v, NFData => f) -> Multiterm v f
Note: See TracTickets for help on using tickets.