RE: [Haskell] Module system question

2007-10-16 Thread Simon Peyton-Jones
. I'm inclined to stick to the H98 story. Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Iavor Diatchki | Sent: 15 October 2007 20:35 | To: haskell@haskell.org | Subject: [Haskell] Module system question | | Hello, | | I have a question

Re: [Haskell] Module system question

2007-10-16 Thread Iavor Diatchki
Hello, On 10/16/07, Simon Peyton-Jones [EMAIL PROTECTED] wrote: The H98 report is pretty clear about there being a single name space for type constructors and classes. Yes, in certain circumstances it's unambiguous. In Hugs, can you write module M where class C a

Re: [Haskell] Module system question

2007-10-16 Thread John Meacham
On Mon, Oct 15, 2007 at 10:34:37PM +0300, Iavor Diatchki wrote: I like the Hugs behavior because it accepts more programs. OTOH, GHC's behavior may be a bit simpler to explain and implement(?). Any thoughts? Currently, the class and datatype namespaces are considered the same by the

[Haskell] Module system question

2007-10-15 Thread Iavor Diatchki
Hello, I have a question concerning Haskell's module system. Consider the following example which defines three modules A,B, and C: module A where { data X = X } module B where { class X a } module C where { import A; import B; data Y = Y X } The question is: Is there an ambiguity error in