Changes between Initial Version and Version 1 of Ticket #9204, comment 1


Ignore:
Timestamp:
Jun 14, 2014 8:36:38 AM (6 years ago)
Author:
Feuerbach
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9204, comment 1

    initial v1  
    11If I add a role annotation to the hs-boot file, this works.
    22
    3 My guess is that since the hs-boot doesn't have the complete information about the type, it cannot infer the phantom role of the parameter.
     3My guess is that since the hs-boot doesn't have the information about the data constructors, it cannot infer the phantom role of the parameter.
    44
    55Still, I wish I didn't have to deal with this. But if this isn't possible, at least the error message should suggest adding the role annotation to the hs-boot file.