diff options
| author | simonpj@microsoft.com <unknown> | 2007-10-27 15:47:02 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-10-27 15:47:02 +0000 |
| commit | 0f8aee2a98bdbeacb4eb04e2e280fe956f53c0b6 (patch) | |
| tree | cc61147d22b08ac175a211bcd5609b68244aeb85 /compiler/NOTES | |
| parent | 0a599d220f1332cbe03decc54fc4e51628d0502a (diff) | |
| download | haskell-0f8aee2a98bdbeacb4eb04e2e280fe956f53c0b6.tar.gz | |
More notes
Diffstat (limited to 'compiler/NOTES')
| -rw-r--r-- | compiler/NOTES | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/NOTES b/compiler/NOTES index ca94811736..645d27eaed 100644 --- a/compiler/NOTES +++ b/compiler/NOTES @@ -2,8 +2,11 @@ More type functions ~~~~~~~~~~~~~~~~~~~ * Allow {tv = TYPE ty) as a non-rec binding in Core * Use this to make equality constraints more uniform +* Can a Dict can contain an EqPred? + How does that differ from an EqInst? * Make DictBinds into Core +* In zonking, do we need to zonk the kinds of coercion variables? Type functions ~~~~~~~~~~~~~~ |