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               |
==================================================