Changes between Version 4 and Version 5 of ViewPatterns


Ignore:
Timestamp:
Jan 24, 2007 5:49:01 PM (9 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v4 v5  
    308308
    309309== Concrete syntax ==
     310A disadvantage of the arrow syntax is that it looks a bit confusing
     311when it appears in a case expression:
     312{{{
     313  last xs = case xs of
     314           (snoc -> x xs) -> x
     315}}}
     316(Also that "x xs" looks a bit like `x` applied to `xs`.)
    310317
    311318Here are some other possible syntax choices I've considered: