Changes between Version 58 and Version 59 of ViewPatterns


Ignore:
Timestamp:
Jan 20, 2019 8:42:16 AM (11 months ago)
Author:
juhpetersen
Comment:

Typo of completeness

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v58 v59  
    368368}}}
    369369
    370 '''Exhaustiveness/Redundancy.'''  It is hard to check for completeness of pattern matching; and likewise for overlap.  But guards already make both of these hard; and GADTs make completness tricky too. So matters are not much worse than before.
     370'''Exhaustiveness/Redundancy.'''  It is hard to check for completeness of pattern matching; and likewise for overlap.  But guards already make both of these hard; and GADTs make completeness tricky too. So matters are not much worse than before.
    371371
    372372== Features views can have ==