How about removing the `where' from `module...where' and
`interface...where' so that these become ordinary topdecls like
the rest. This would mean that the convention about topdecls
not having to be indented would no longer be an ugly exception,
it would be more consistent with implicit main programs which
have no introductory `where', and it would be more consistent
with the fact that the natural break between the header and body
of a module comes after the fixity decls.
The reason we used the "module...where" convention is to allow for
multiple modules to be included in one "file". Your proposal is
workable, but requires saying something extra about what terminates
a module. I agree, however, that having to write "where" all the
time is a pain (I still forget to put it in sometimes!), so perhaps
you could complete the proposal with the wording required to say when
a module ends.
-Paul
---
Professor Paul Hudak
Department of Computer Science
Yale University
P.O. Box 208285
New Haven, CT 06520-8285
(203) 432-4715
[EMAIL PROTECTED]
