X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FNOTES;h=645d27eaed6d638dde2db7d63d95f09aacc26fdb;hp=db6756e94e19fe30c0019f8fd7827925b5aff086;hb=cbd7463c986d54422de15cb3b56184de116ef7ba;hpb=5822cb8d13aa3c05d2b46b4510c13d94b902eb21

diff --git a/compiler/NOTES b/compiler/NOTES
index db6756e..645d27e 100644
--- a/compiler/NOTES
+++ b/compiler/NOTES
@@ -1,3 +1,13 @@
+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
 ~~~~~~~~~~~~~~
 * A Given inst should be a CoVar, not a coercion