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? this is with the latest darcs sources. mark
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/
participants (2)
-
John Meacham -
Mark Wotton