Skip to content

Using a (meaningless) generic currency sign (¤) instead of $ causes panicing

The following two lines of HS produces the reported error. It was actually a mistype and probably not that serious, but I was told to report it.

The issue is combining the "generic currency" symbol ¤ with the Integral constraint (using e.g. Integer instead as the constraint does not produce the same error).

Prelude> let ones x = snd $ divMod x 10
Prelude> ones ¤ (5 :: Integral)
ghc: panic! (the 'impossible' happened)
  (GHC version 8.0.2 for x86_64-unknown-linux):
	initTc: unsolved constraints
  WC {wc_insol =
        [W] ¤_a2l9 :: t_a2l8[tau:1] (CHoleCan: ¤)
        [W] ¤_a2lJ :: t_a2lI[tau:1] (CHoleCan: ¤)}

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
Trac metadata
Trac field Value
Version 8.0.2
Type Bug
TypeOfFailure OtherFailure
Priority low
Resolution Unresolved
Component GHCi
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information