diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 17:05:28 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 17:05:28 +0000 |
| commit | 15cb792d18b1094e98c035dca6ecec5dad516056 (patch) | |
| tree | de89a82e732faef4a6828be8e405e73ff790ea3b /compiler/main/CodeOutput.lhs | |
| parent | 5d541fe7c43a1dc4c1b2dd9ee49e64238b0754ca (diff) | |
| download | haskell-15cb792d18b1094e98c035dca6ecec5dad516056.tar.gz | |
Complete the evidence generation for GADTs
Mon Sep 18 14:43:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Complete the evidence generation for GADTs
Sat Aug 5 21:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Complete the evidence generation for GADTs
Thu Jul 13 17:18:07 EDT 2006 simonpj@microsoft.com
This patch completes FC evidence generation for GADTs.
It doesn't work properly yet, because part of the compiler thinks
(t1 :=: t2) => t3
is represented with FunTy/PredTy, while the rest thinks it's represented
using ForAllTy. Once that's done things should start to work.
Diffstat (limited to 'compiler/main/CodeOutput.lhs')
0 files changed, 0 insertions, 0 deletions