Changes between Version 14 and Version 15 of Migration/8.8


Ignore:
Timestamp:
Mar 8, 2019 2:05:31 PM (6 months ago)
Author:
josephcsible
Comment:

Adjust the warning changed in my last edit

Legend:

Unmodified
Added
Removed
Modified
  • Migration/8.8

    v14 v15  
    3333{{{
    3434    Pattern match is redundant
    35     In an equation for ‘f’: f (MkFoo2 _) = ...
     35    In an equation for ‘f’: f (MkFoo2 v) = ...
    3636}}}
    3737