Changes between Initial Version and Version 1 of Ticket #12564, comment 12


Ignore:
Timestamp:
Jan 4, 2019 2:04:09 PM (11 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12564, comment 12

    initial v1  
    11Current error message is a bit better
    2 ```
     2{{{
    33T12564.hs:18:3: error:
    44    • Illegal type synonym family application ‘Len @a _1’ in instance:
     
    9918 |   At (x ': _) FZ = x
    1010   |   ^^^^^^^^^^^^^^^^^^
    11 ```
     11}}}