merge GHC HEAD

[ghc-hetmet.git] / compiler / NOTES

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