projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 247fd64) | patch
Add some invariant checking for refinements
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:00:00 +0000 (18:00 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:00:00 +0000 (18:00 +0000)
commit4ea5fe11fbc339a7a1bce13cbb2a2301772b493a
tree5183281a08821de0ea3b1ffa5368d22417e11f31tree | snapshot
parent247fd64109002ed88c27bc5d6cfea6a71ee48cfacommit | diff
Add some invariant checking for refinements
Mon Sep 18 17:09:56 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Add some invariant checking for refinements
  Sun Aug  6 20:30:56 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Add some invariant checking for refinements
    Tue Aug  1 08:52:43 EDT 2006  simonpj@microsoft.com
compiler/typecheck/TcGadt.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)