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