Frank
Would it be asking too much to have Ross Paterson's syntax
(or something close) for John Hughes' arrows implemented in
GHC 4.02? I'm dying to fool around with it.
It's not a trivial matter. It involves
- the parser (tiresome)
- the renamer (easy)
- the type checker (need type rules for the new stuff)
- the desugarer (translate to core language)
We're quite busy just now, so I doubt we'll do much on this
soon, unless lots of people turn out to want it. On the other hand,
you could have a go yourself...
I havn't studied the arrow stuff to know whether one could
do it as a generalisation of comprehensions which is how both
do notation and list comps are dealt with just now.
Simon
