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" <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> 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 | > ================================================== > _______________________________________________ Hugs-Bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/hugs-bugs
