just a thought .. why is it that some declarations
(data, type, newtype, class, instance) are only allowed
at the (module) top level? in some cases i'd like to have
more locality, and less namespace pollution.
how far could this be implemented? it seems that the compiler
just needed to invent fully qualified, unique names
(i. e. module.first_let_group.second_where_group.Something)
for types and classes - but it already does exactly this
for local variable names so it shouldn't be hard to implement?
i see the problem of declaring a type to be an instance of a class
in several ways (but i'd like to use that feature).
well, as i said, it's just a thought.
--
Dr. Johannes Waldmann Institut fur Informatik Universitat Leipzig
[EMAIL PROTECTED] http://www.informatik.uni-leipzig.de/~joe/
Augustusplatz, D-04109 Leipzig, Germany, Tel/Fax (+49) 341 97 32 204/209
