[ ghc-Bugs-634379 ] panic with linear implicit parameters

[noreply at sourceforge.net]

Bugs item #634379, was opened at 2002-11-06 11:41
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=634379&group_id=8032

Category: Compiler (Type checker)
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Antti-Juhani Kaijanaho (ajk)
Assigned to: Nobody/Anonymous (nobody)
Summary: panic with linear implicit parameters

Initial Comment:
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
glasgow-haskell-bugs at haskell.org,
or http://sourceforge.net/projects/ghc/.


----------------------------------------------------------------------

>Comment By: Simon Peyton Jones (simonpj)
Date: 2002-11-07 11:47

Message:
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 }


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=634379&group_id=8032