From 0f8aee2a98bdbeacb4eb04e2e280fe956f53c0b6 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Sat, 27 Oct 2007 15:47:02 +0000
Subject: [PATCH] More notes

---
 compiler/NOTES |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/compiler/NOTES b/compiler/NOTES
index ca94811..645d27e 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
 ~~~~~~~~~~~~~~
-- 
1.7.10.4