Publications from Chipworks

2002-10-22 Thread Chipworks
Title: Chipworks Publications   Thank you for your interest in Chipworks' publications - just a quick reminder, publications sale ends November 1st This month, save big on

RE: deriving weirdness on newtypes

2002-10-22 Thread Simon Peyton-Jones
Hal I have fixed this bug in the HEAD. The fix is more than a tiny one, so I'm inclined to leave it as a know bug in 5.02.2. It'd cost me another few hours to patch it into the 5.02 branch. I don't think this is a widely-used feature, yet. Even John Hughes didn't notice the bug. Simon | ---

RE: more undecidable instances, but why

2002-10-22 Thread Simon Peyton-Jones
| instance MArray IOUArray a IO => MArray IOUArray (S a) IO where | However, GHC complains: | | /nfs/isd/hdaume/projects/MESumm/Linear2/Linear2.hs:76: | Non-type variables in constraint: MArray IOUArray a IO | (Use -fallow-undecidable-instances to permit this) | But I don't see why t