• chak@cse.unsw.edu.au.'s avatar
    Indexed newtypes · 27897431
    chak@cse.unsw.edu.au. authored
    Mon Sep 18 19:24:27 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
      * Indexed newtypes
      Thu Aug 31 22:09:21 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
        * Indexed newtypes
        - This patch makes indexed newtypes work
        - Only lightly tested
        - We need to distinguish between open and closed newtypes in a number of 
          places, because looking through newtypes doesn't work easily for open ones.
    27897431
Type.lhs 50.5 KB