Re: 3.02,multipar,overlaps

1998-07-08 Thread Simon L Peyton Jones
ghc-3.02-linux-i386-unknown... from ftp.dcs.gla.ac.uk.../3.02/ cannot link the program enclosed: ghc -c -fglasgow-exts -optC-fallow-overlapping-instances -v Main.hs log ghc -o run Main.o Main.o(.text+0x3a3): undefined reference to `Main_ZcMBConvertible_inregs_info'

_casm_ in .hi-files

1998-07-08 Thread Sven Panne
Strictly speaking, this is not a bug, but I expect it to be a major performance hit for some applications: In a moment of curiosity, I browsed through the diffs between ghc-3.02 and ghc-proto-3.03-7-Jul, finding amongst other things a new function okToUnfoldInHiFile. If I understand this

Standard Haskell

1998-07-08 Thread Simon L Peyton Jones
Folks This message is to update you on the state of play so far as Standard Haskell is concerned. I'm circulating to three Haskell-related mailing lists; in future I'll mail only the "haskell" list, so pls subscribe to it if you want to see anything more. You may remember that John Hughes has

Re: multi param type classes

1998-07-08 Thread Johannes Waldmann
Ralf, you want to lift this restriction: The type of each class operation must mention all of the class type variables. how would you resolve ambiguities? probably by requiring an explicit type signature at the point of usage. fine, but then i'd like to have this in other cases as well,

Re: multi param type classes

1998-07-08 Thread Ralf Hinze
you want to lift this restriction: The type of each class operation must mention all of the class type variables. how would you resolve ambiguities? probably by requiring an explicit type signature at the point of usage. No longer ;-). I find SPJ's summary on

CSL'99 First Call for Papers (Text and LaTex Versions)

1998-07-08 Thread Eva Ullan
My apologies if you receive this more than once! === 1st CALL FOR PAPERS -- CSL'99 Annual Conference of the European

Re: multi param type classes

1998-07-08 Thread S. Alexander Jacobson
I think Simon or Alastair promised this in 2.0 (though it doesn't appear on the list for 2.0...) -Alex- On Thu, 9 Jul 1998, Fergus Henderson wrote: On 08-Jul-1998, Johannes Waldmann [EMAIL PROTECTED] wrote: ... how would you resolve ambiguities? probably by requiring an explicit type

Haskell Assertions Proposal

1998-07-08 Thread S. Alexander Jacobson
(I would have used the "Reply" button, but I don't have permission. Ref: http://www.cs.chalmers.se/~rjmh/Haskell/Messages/Display.cgi?id=290) In general assertions provide two useful services: * they help the programmer find bugs and document assumptions within code * they aid in code reuse by