Folks

Just to keep you informed, here's a quick summary of what I'm up to.

I plan to implement the changes proposed on 
        http://research.microsoft.com/Users/simonpj/Haskell/haskell98.html

with the following exceptions

* I'm still undecided about MonadZero (see last message)

* Ditto the simple-context restriction (I'm consulting implementors on
        how difficult option 2 is)

* Underbar.  A couple of people said "Let underbar be an ordinary
  lower-case letter; and let '_' be a keyword".  On reflection this
  seems just right to me, so I propose to do it.

* Add an instance for Ix Bool.

I think we're converging.

Simon


Reply via email to