X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FNOTES;h=645d27eaed6d638dde2db7d63d95f09aacc26fdb;hp=ca9481173697c480f1da45540e608eca18a8fa0d;hb=d0faaa6fa0cecd23c5670fd199e9206275313666;hpb=0119f79bcf069823e4b49292934f682f680ceb90

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
 ~~~~~~~~~~~~~~