Greetings!
We've been working to add pattern guards to the Haskell' report, and
doing some cleanup work on the repository. Not all of the emails are
making it to the list, sadly, but here's a list of recent changes from
the report.
You can view the report itself here (I couldn't think of a good place to
put it):
http://hackage.haskell.org/~ijones/haskell-prime-report/report/haskell98-rep...
peace,
isaac
Fri Jan 12 16:32:28 PST 2007 iavor.diatchki@gmail.com
* moved rules for guards in a separate figure because the old
figure
didn't fit on a page
Fri Jan 12 16:21:46 PST 2007 iavor.diatchki@gmail.com
* fixed rule (g) of pattern semantics to avoid duplicating the
evaluation of e'
Fri Jan 12 16:13:50 PST 2007 iavor.diatchki@gmail.com
* added rules for pattern guards to the formal semantics of
case
Fri Jan 12 14:53:30 PST 2007 iavor.diatchki@gmail.com
* gneralized function bindings to support pattern guards, not
just
boolean guards
Thu Jan 11 16:59:30 PST 2007 ijones@syntaxpolice.org
* reworking the informal explanation of pattern gaurds
Modified the syntax again to talk about "guards" (which are
pattern
guards,
boolean guards, and let expressions) . Moved the "Pattern
guards"
section
I created before into the Case Expressions section.
Thu Jan 11 15:51:14 PST 2007 ijones@syntaxpolice.org
* update pattern binding translation for pattern guards (with
Iavor's
help!)
Mon Jan 8 10:21:14 PST 2007 Andres Loeh