[jhc] odd bug

John Meacham john at repetae.net
Mon Aug 24 08:54:17 EDT 2009


On Mon, Aug 24, 2009 at 10:43:14PM +1000, Mark Wotton wrote:
> 22:40 ~/projects/Hubris/lib % cat Crasher.hs
> module RubyMap where
> qtrue = 2
>
> 22:40 ~/projects/Hubris/lib % jhci Crasher.hs
> jhci Crasher.hs
> jhc 0.7.1 (-n 0.7.1-0
> )
> Finding Dependencies...
> Using Ho Cache: '/Users/mwotton/.jhc/cache'
> RubyMap                 [Crasher.hs]
> Typechecking...
> [1 of 1] RubyMap           
> (.............................................)
> Compiling...
> [1 of 1] RubyMap           
> <..................................................>
> jhci: src/FrontEnd/Representation.hs:98:9-24: No instance nor default  
> method for class operation Data.Binary.put
>
>
> this is a much cut-down version of a real problem. I've not used Binary 
> anywhere, so I'm a bit confused - any tips?

Hmm.. that appears to be tickling a bug in jhc's type checker. I am not
sure exactly what it is, but if you add a type signature for qtrue, I
think that would work around it for now. I am thinking there is
something wrong with the defaulting mechanism.

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/


More information about the jhc mailing list