Opened 13 years ago

Closed 13 years ago

Last modified 45 years ago

#91 closed bug (Fixed)

panic with linear implicit parameters

Reported by: ajk Owned by: nobody
Priority: normal Milestone:
Component: Compiler (Type checker) Version: None
Keywords: Cc:
Operating System: Architecture:
Type of failure: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

Observe:

$ ghc -fglasgow-exts -c Unique.hs
ghc-5.04: panic! (the `impossible' happened, GHC
version 5.04):
        tcSplitTyConApp {%uniqueSupply{-rF4-} ::
Unique.UniqueSupply{-r7-}}

Please report it as a compiler bug to
[email protected],
or http://sourceforge.net/projects/ghc/.

Attachments (1)

Unique.2.hs (342 bytes) - added by ajk 13 years ago.

Download all attachments as: .zip

Change History (2)

Changed 13 years ago by ajk

comment:1 Changed 13 years ago by simonpj

  • Status changed from assigned to closed
Logged In: YES 
user_id=50165

Thanks for this report.  There's an obscure bug in lazy pattern 
matching for implcit parameters.  It'll be fixed in 5.04.2

Meanwhile, instead of
    US r = %uniq
say
    r = case %uniq of { US r -> r }

Note: See TracTickets for help on using tickets.