Re: [Parsec] Extracting line and column numbers

2004-01-14 Thread Graham Klyne
At 10:28 14/01/04 +0100, Daan Leijen wrote: I'll fix this in the Parsec sources, so the GHC 6.2+ will have it. Maybe I'll even get around to documenting Parsec with Haddock comments some day... If I may say so, I think you did a pretty good job of documenting Parsec... #g Graham Kly

GHC source bitten by the ghost of DOS

2004-01-14 Thread Graham Klyne
I've just been bitten by the ghost of DOS when trying to unpack the source kit for GHC on a Windows (XP) system. It appears that the filename AUX is reserved (still crazy after all these years?). Unfortunately, the GHC source kit contains a file aux.dtd in .\ghc-6.2\src\libraries\HaXml\bugs S

constrained datatype

2004-01-14 Thread Tom Pledger
Wang Meng writes: : | > class Foo n | > data Erk n = Foo n => Erk | | test.hs:53: | All of the type variables in the constraint `Foo n' are already in | scope | (at least one must be universally quantified here) : | Is there any reason for this error? I think it implies that

Haddock and fixity declarations

2004-01-14 Thread Wolfgang Jeltsch
Hello, could Haddock be made to document also fixity declarations? Wolfgang ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

constrained datatype

2004-01-14 Thread Wang Meng
Hi All, Anybody knows why the following code does not work? > class Foo n > data Erk n = Foo n => Erk test.hs:53: All of the type variables in the constraint `Foo n' are already in scope (at least one must be universally quantified here) When checking the existential context of

Re: graphs and trees again

2004-01-14 Thread Wolfgang Jeltsch
Sorry, this was meant to go to the library list. Am Mittwoch, 14. Januar 2004 10:55 schrieb Wolfgang Jeltsch: > Am Dienstag, 13. Januar 2004 22:56 schrieb Ross Paterson: > > On Tue, Jan 13, 2004 at 09:36:58PM +0100, Wolfgang Jeltsch wrote: > > > Am Dienstag, 13. Januar 2004 19:12 schrieb Ross Pate

Re: graphs and trees again

2004-01-14 Thread Wolfgang Jeltsch
Am Dienstag, 13. Januar 2004 22:56 schrieb Ross Paterson: > On Tue, Jan 13, 2004 at 09:36:58PM +0100, Wolfgang Jeltsch wrote: > > Am Dienstag, 13. Januar 2004 19:12 schrieb Ross Paterson: > > > * made the types abstract, but provided the equivalent constructor and > > > destructor functions. I'm

Re: [Parsec] Extracting line and column numbers

2004-01-14 Thread Daan Leijen
What about these? sourceColumn :: SourcePos -> Column sourceLine :: SourcePos -> Line These signatures are missing in the source, therefore they are not listed in the documentation generated by haddock. I'll fix this in the Parsec sources, so the GHC 6.2+ will have it. Maybe I'll even get arou

Re: data label overloading

2004-01-14 Thread Serge D. Mechveliani
To my recent suggestion on the field label overloading > > ... > > data Foo1 = Foo1 {size :: Int ...} > > data Foo2 = Foo2 {size :: Int ...} > > ... > > f x y z = let size = Foo1..size in > >(size x)+(size y)+(Foo2..size z) > Hal Daume III wrote on Jan