[jhc] A possible bug with constraints being perceived as multiparameter type classes

Artyom yom at artyom.me
Tue Apr 21 13:26:41 UTC 2015


This (empty) instance declaration

|instance  Num  (a,b)  =>Num  (a,b,Int)  where
|

produces the following error when compiled with jhc 0.8.2:

|$ Temp/jhc-0.8.2/jhc Temp/jhc1.hs

jhc Temp/jhc1.hs
jhc 0.8.2 (mydniquipepo-32)
Finding Dependencies...
Using Ho Cache: '/home/yom/.jhc/cache'

Temp/jhc1.hs:1   - Error: Invalid Class. multiparameter classes not yet supported:
(Num,[HsTyTuple [HsTyVar {hsTypeName = a},HsTyVar {hsTypeName = b}]])
|

Am I misunderstanding something, or is it a legitimate bug?

​
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/jhc/attachments/20150421/9e3972fa/attachment.html>


More information about the jhc mailing list