Changes between Initial Version and Version 1 of Ticket #5498


Ignore:
Timestamp:
Sep 24, 2011 1:55:36 AM (3 years ago)
Author:
simonpj
Comment:

I believe that this bug is very closely related to #1496 (just look at the type of the class moethod in each case).

We have an as-yet-unimplemented solution to #1496, namely our POPL'11 paper Generative type abstraction and type level computation. I don't yet know if the same approach deals with the problem you identify in this ticket, but my nose tells me yes. I'm adding Stephanie and Dimitrios to the cc.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #5498

    • Property Cc dimitris@… sweirich@… added
  • Ticket #5498 – Description

    initial v1  
    6464isoInt :: MinList (Down Int) -> MinList Int 
    6565}}} 
    66 which I shouldn't be able to do since I don't have the constructors for MinList. 
     66which I shouldn't be able to do since I don't have the constructors for `MinList`. 
    6767 
    6868This is the reason I've currently disabled newtype deriving in Safe Haskell but potentially we can enable it if this bug is fixed.