| I suggest to include an appropriate hint in the report...
|
| > In this subsection, we provide informal details of the
| type system. > (Wadler and Blott [11] and Jones [6] discuss
| type and constructor classes, > respectively, in more detail.)
|
| I think this kind of outsourcing of essential parts of the
| language definition is not desirable.
The Report's description of the type system is not a proper
specification.
That is a flaw, but it is not one I can fix for the Revised H98 Report.
If, however, you can suggest some specific sentences that would help
to eliminate confusion, then please do suggest them.
Incidentally, Karl-Filip Faxen is working on a formal static semantics
for
Haskell.
Simon
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
