projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cb269b) | patch
Option -findexed-types
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:48:42 +0000 (18:48 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:48:42 +0000 (18:48 +0000)
commit284d83ee6ff1f817d4f7b72f84887f292d96660a
treee6b6bd79db7fa0271fd35c85e96b4da20521a028tree | snapshot
parent0cb269be72ffe42498c74d5be845eb27d8818423commit | diff
Option -findexed-types
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).
compiler/main/DynFlags.hs diff | blob | history
compiler/parser/Lexer.x diff | blob | history
compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)