Changes between Version 40 and Version 41 of ViewPatterns


Ignore:
Timestamp:
Apr 13, 2010 9:24:09 PM (5 years ago)
Author:
walkie
Comment:

typo fixes

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v40 v41  
    2323}}}
    2424
    25 The representation of `Typ` is held abstract, permitting implementations to use a fancy representation (e.g., hash-consing to managage sharing).
     25The representation of `Typ` is held abstract, permitting implementations to use a fancy representation (e.g., hash-consing to manage sharing).
    2626
    2727In current Haskell, using this signature is a little inconvenient:
     
    446446This requires a new top-leven declaration form `pat`; and I don't think it's nearly
    447447as easy to understand as the current proposal.  Notably, in the first equation for
    448 `delete` it's ahrd to see that the second `x` is a bound occurrence; this somehow
     448`delete` it's hard to see that the second `x` is a bound occurrence; this somehow
    449449follows from the `pat` declaration.
    450450