qualified type identifiers

[Sigbjorn Finne]

Hi,

thanks for the report. This one was fixed not long after
the Dec 2001 release.

--sigbjorn

----- Original Message ----- 
From: "Andres Loeh" <andres@cs.uu.nl>
To: <hugs-bugs@haskell.org>
Sent: Friday, March 08, 2002 00:59
Subject: qualified type identifiers


> Hello there,
> 
> the following module does not compile with Hugs Dec 2001 (and Feb
> 2001):
> 
> -- start
> module HugsQ where
> 
> data T = Q
> 
> v :: HugsQ.T
> v =  HugsQ.Q
> -- stop
> 
> Fails with:
> 
> ERROR "HugsQ.hs":5 - Undefined type constructor "HugsQ.T"
> 
> GHC compiles it without error, and the Haskell Report states in
> Section 5.5.1 (Qualified names):
> 
> "A qualified name is brought into scope:
> 
>   o  By a top level declaration. A top-level declaration brings
>      into scope both the unqualified and the qualified name of the
>      entity being defined. Thus:
> 
>        [...]"
> 
> Although the example is given in terms of a function binding, I
> would see the data declaration as just another top-level declaration
> defining entities "T" and "Q".
> 
> I could not find anything in the differences to Standard Haskell
> in the Hugs User's Guide, so I guess it is a bug. 
> 
> Thanks in advance for looking at it.
> 
> Best,
>   Andres
> 
> -- 
> 
> Andres Loeh, Universiteit Utrecht
> 
> mailto:andres@cs.uu.nl     mailto:mail@andres-loeh.de
> http://www.andres-loeh.de
> _______________________________________________
> Hugs-Bugs mailing list
> Hugs-Bugs@haskell.org
> http://www.haskell.org/mailman/listinfo/hugs-bugs