Skip to content
  • chak@cse.unsw.edu.au.'s avatar
    Option -findexed-types · 284d83ee
    chak@cse.unsw.edu.au. authored
    Mon Sep 18 19:42:48 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
      * Option -findexed-types
      Fri Sep  8 21:35:37 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
        * Option -findexed-types
        - Introduced the switch -findexed-types to activate the indexed type family 
          framework.
        - The switch enables the special 'family' and allows kind signatures (which are
          currently compulsory for associated families).
    284d83ee