Changes between Initial Version and Version 1 of Ticket #10635, comment 9


Ignore:
Timestamp:
Feb 17, 2016 8:41:01 AM (4 years ago)
Author:
Lemming
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10635, comment 9

    initial v1  
    88}}}
    99
    10 The pragma means: Type check "singleton" two times, once with the constraints `()` and once with the constraint `Ord a`. Warn about redundant constraints in the pragma but not in the signature of `singleton`.
     10The pragma means: Type check `singleton` two times, once with the constraints `()` and once with the constraint `Ord a`. Warn about redundant constraints in the pragma but not in the signature of `singleton`.
    1111
    1212If you also want to warn about not maximally general types, then the pragma should even mention the whole type signature, e.g.