Changes between Version 40 and Version 41 of ViewPatterns


Ignore:
Timestamp:
Apr 13, 2010 9:24:09 PM (4 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