local qualified names

[Sigbjorn Finne]

Hi,

[I presume you meant List.Nil on the RHS of 'nil']

thanks, this has one has been fixed in the current
sources (+ it also implements H98's lazy name conflict
reporting.)

--sigbjorn

----- Original Message ----- 
From: "Iavor S. Diatchki" <diatchki@cse.ogi.edu>
To: <hugs-bugs@haskell.org>
Sent: Tuesday, September 03, 2002 12:03
Subject: local qualified names


> hi,
> here is a module system bug:
> 
> module List where
> 
> data T a = Nil | Cons a (T a)
> 
> nil :: List.T a
> nil = T.Nil
> 
> ERROR "test.hs":5 - Undefined type constructor "List.T"
> (and also the value constructor is not defined).
> 
> one should be able to refer to local names with their qualified names.
> this is good for documentation purposes, when one programs in a certain 
> style (1 datatype/module, and it is always called T).
> 
> it is also important when combined with the "lazy name clash" feature of 
> the haskell module system to resolve conflicts.
> 
> bye
> iavor
> 
> 
> -- 
> ==================================================
> | Iavor S. Diatchki, Ph.D. student               |
> | Department of Computer Science and Engineering |
> | School of OGI at OHSU                          |
> | http://www.cse.ogi.edu/~diatchki               |
> ==================================================
>