Re: is this a bug? (fwd)

1998-01-30 Thread Marc van Dongen=
: Hi there, : : : : While using mkdependHS, I am getting errors because the : tool can not find .hi files for modules which are imported : from a library in some other directory than the one I'm : making in. : : Is this an error, and if not, how do I solve this? : This is embarrassing. As so

is this a bug?

1998-01-30 Thread Marc van Dongen=
Hi there, While using mkdependHS, I am getting errors because the tool can not find .hi files for modules which are imported from a library in some other directory than the one I'm making in. Is this an error, and if not, how do I solve this? Thanks in advance, Marc van Dongen

HBC/contrib libraries

1998-01-30 Thread Simon Marlow
Does anyone use the hbc or contrib libraries? I'd like to move them out of the standard binary distributions, but keep them as 'contributed code' in the source tree. Cheers, Simon -- Simon Marlow [EMAIL PROTECTED] University of Glasgow

Re: NGC bug (?), canonicalised.

1998-01-30 Thread Sigbjorn Finne
Alex Ferguson writes: > > module R where > > data NumVal = RealNum Float > > isZero (RealNum 0.0) = True > > > This is the Sun NCG, of course. Doesn't happen without the constructor, > or with Int's, or with -fvia-C... > Thanks for narrowing this down, here's the offending line .

Re: test for ghc

1998-01-30 Thread Sigbjorn Finne
Thanks for the report, the native code generator fails to handle a primop. We'll track this one down, but as a temporary solution, try compiling the module with -fvia-C --Sigbjorn S.D.Mechveliani writes: > Hellow, > > ftp.botik.ru/pub/local/Mechveliani/docon/1.06/ > > contains the test for gh

Re: Query on multi-param type classes

1998-01-30 Thread Jon Mountjoy
Hi Simon says: > Can you give a compact summary of why you want > to? Our multi-parameter type-class paper gives none, and if > you've got one I'd like to add it. Essentially, many of the examples in the paper by Liang, Hudak and Jones: "Monad Transformers and Modular Interpreters" will fai

test for ghc

1998-01-30 Thread S.D.Mechveliani
Hellow, ftp.botik.ru/pub/local/Mechveliani/docon/1.06/ contains the test for ghc: it is a large computer algebra system. The test is Makefile to compile this system correct. It works under linux-i386-unknown, but i doubt how it will do on other platforms. In particular, Marc van Dongen <[EM

Re: Query on multi-param type classes

1998-01-30 Thread Keith S. Wansbrough
> > A.hs:3:23: parse error on input: "(" > > I should have said that I've implemented the choices given > on the Standard Haskell web discussion page. In particular: > > === > Choice 7a > ~ > > The context in a class declaration (which introduces superclasses) > must c

Re: Query on multi-param type classes

1998-01-30 Thread Ralf Hinze
Dear Jon, dear Simon, > > > class (Monad m, Monad (t m)) => AMonadT t m where > > > lift :: m a -> t m a > I'm frankly unsure of the consequences of lifting the > restriction. Can you give a compact summary of why you want > to? Our multi-parameter type-class paper gives none, and if > you'

Re: Query on multi-param type classes

1998-01-30 Thread Simon L Peyton Jones
> I decided to try and get my old multi-param. parser to work, > and got told-off by Haskell's parser: > > Please tell me what I am doing wrong. The following program: > > > module A where > > > > class (Monad m, Monad (t m)) => AMonadT t m where > > lift :: m a -> t m a > > Gives me: >

Re: Fun with 3.00

1998-01-30 Thread Simon Marlow
Sven Panne <[EMAIL PROTECTED]> writes: > One can play funny games with GHC-3.00 and the following program > (a small fragment of a Happy-generated parser): > > -- > module Foo ( happyParse ) where > > action_0 1 = \j tk _ -

Re: bug report

1998-01-30 Thread Simon Marlow
Marc van Dongen= <[EMAIL PROTECTED]> writes: > While compiling some stuff I came across the following: > compiling with -O did failed without any error message > at all. > compiling with -O2 succeeded > > ? > > Any idea what could have caused it? I can tell you how to > reproduce this if wa

Query on multi-param type classes

1998-01-30 Thread Jon Mountjoy
Hello, I decided to try and get my old multi-param. parser to work, and got told-off by Haskell's parser: Please tell me what I am doing wrong. The following program: > module A where > > class (Monad m, Monad (t m)) => AMonadT t m where > lift :: m a -> t m a Gives me: (lambda o) ghc -

bug report

1998-01-30 Thread Marc van Dongen=
Dear all, While compiling some stuff I came across the following: compiling with -O did failed without any error message at all. compiling with -O2 succeeded ? Any idea what could have caused it? I can tell you how to reproduce this if wanted. Regards, Marc

NGC bug (?), canonicalised.

1998-01-30 Thread Alex Ferguson
SOF: > install-sh is the fallback script used if the configure script is > unable to find an OK looking `install' somewhere along your PATH. Oops, I confess to not knowing this. Configure doesn't seem to moan too loudly about the lack of an "install", so I assumed that it was The Real Program.

Re: Fun with 3.00

1998-01-30 Thread Sigbjorn Finne
> For some reason there's no flag to switch off the update analyser. > It does very little good anyway, so just switch it off by force > in ghc/driver/ghc.lprl (look for -fupdate-anal). > -fno-update-analysis turns it off. --Sigbjorn