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