RE: read???OffAddr is broken

2000-01-30 Thread Manuel M. T. Chakravarty
Simon Marlow [EMAIL PROTECTED] wrote, We currently have read and index for 9 different types (Char, Int, Word, Addr, Float, Double, StablePtr, Int64, Word64). I suppose you could get away with {read,write,index}{Int8,Int32,Int64}OffAddr and do type casts to get the rest.

Typo in hslibs/util/Memo.lhs:memo_sized

2000-01-30 Thread Marcin 'Qrczak' Kowalczyk
The mentioned function has 1001 hardwired in one place instead of using the size parameter. BTW, why isn't it called in the Haskell convention: memoSized? -- __("Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/ \__/ GCS/M d- s+:-- a22 C+++$ UL++$ P+++

Functional dependencies

2000-01-30 Thread Marcin 'Qrczak' Kowalczyk
Thank you for ghc-4.06! The following code is accepted by Hugs, but ghc complains about type variable r being not in scope. Adding "forall m r." causes the error "each forall'd type variable mentioned by the constraint must appear after the =", where Hugs still accepts it. If I understand

Re: Functional dependencies

2000-01-30 Thread Jeffrey R. Lewis
Marcin 'Qrczak' Kowalczyk wrote: Thank you for ghc-4.06! The following code is accepted by Hugs, but ghc complains about type variable r being not in scope. Adding "forall m r." causes the error "each forall'd type variable mentioned by the constraint must appear after the =", where Hugs