Changes between Initial Version and Version 1 of Ticket #10742, comment 6


Ignore:
Timestamp:
Aug 10, 2015 9:21:17 PM (4 years ago)
Author:
ntc2
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10742, comment 6

    initial v1  
    99Wrap the helper around the code which is causing the problem:
    1010{{{#!hs
    11 f (C ...) = <body> -- Get "can't deduce `m <= n`" error here.
     11f (C ...) = <body> -- Get "can't deduce `m <=? n ~ m <=? n`" error here.
    1212}}}
    1313becomes