Changes between Version 14 and Version 15 of PatternSynonyms/CompleteSigs


Ignore:
Timestamp:
May 30, 2018 10:42:16 AM (15 months ago)
Author:
RyanGlScott
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms/CompleteSigs

    v14 v15  
     1[[PageOutline]]
     2
    13The exhaustiveness checker currently chokes on pattern synonyms.
    24They are marked as always fallible patterns which means that we must also always include a catch-all case in order to avoid a warning.