recursive modules in Haskell

2003-03-12 Thread Elke Kasimir
Hi all! I've just got one of the rare chances to do a somewhat bigger piece of software development in Haskell. After having set up a design (with much use of multi-parameter-classes) I was very excited. However, to extent that implementation proceeded I had to recognize many unforeseen implemen

Re: recursive modules in Haskell

2003-03-12 Thread Iavor S. Diatchki
hi, Elke Kasimir wrote: No Problem at all for Haskell, but a problem for certain often-used Haskell compilers and interpreters... Factoring out "the common part" does not work in examples like above, so the only way is to collapse everything, and to reduce class constraints as much as is possible

RE: recursive modules in Haskell

2003-03-17 Thread Simon Peyton-Jones
| there is no need to use such hacks. it is not dificult to add suport | for mutually recursive modules to an implementation directly. | unfortunatley none of the working haskell implementations support | recursive modules, Simple in principle, not so simple in practice. If it was easy to ma

Re: recursive modules in Haskell

2003-03-17 Thread Iavor S. Diatchki
hi, i can't really argue with simon he is the real compiler expert. and i am not familiar with the inner workings of GHC, so my argument is even weaker. and in any case discussions on the haskell mailing list very rarely have any effect except for their entertainment value during boring meeting

RE: recursive modules in Haskell

2003-03-19 Thread Simon Peyton-Jones
| i am curious however, what is difficult about implementing recursive | modules (that is, if it can be explained without getting into the | technical details of GHC). Nothing deep. GHC is just a fairly big thing and one of its assumptions is that it is compiling one module at a time. There'd

RE: recursive modules in Haskell

2003-03-19 Thread Elke Kasimir
On 17-Mar-2003 Simon Peyton-Jones wrote: > >| there is no need to use such hacks. it is not dificult to add suport >| for mutually recursive modules to an implementation directly. >| unfortunatley none of the working haskell implementations support >| recursive modules, > > Simple in principl

Re: recursive modules in Haskell

2003-03-19 Thread Alastair Reid
Simon Peyton-Jones <[EMAIL PROTECTED]> writes: > Nothing deep. GHC is just a fairly big thing and one of its > assumptions is that it is compiling one module at a time. There'd > be quite a bit of chuffing around to remove this assumption. > Nothing fundamental, but real work. The other big pro

Re: recursive modules in Haskell

2003-03-19 Thread Iavor S. Diatchki
hi, Alastair Reid wrote: Simon Peyton-Jones <[EMAIL PROTECTED]> writes: Nothing deep. GHC is just a fairly big thing and one of its assumptions is that it is compiling one module at a time. There'd be quite a bit of chuffing around to remove this assumption. Nothing fundamental, but real work.