Changes between Version 4 and Version 5 of ViewPatterns


Ignore:
Timestamp:
Jan 24, 2007 5:49:01 PM (8 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: