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 | ==================================================
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"
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 | ==================================================
participants (2)
-
Iavor S. Diatchki -
Sigbjorn Finne