From 0119f79bcf069823e4b49292934f682f680ceb90 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Sat, 27 Oct 2007 10:02:20 +0000
Subject: [PATCH] Add a note to NOTES

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

diff --git a/compiler/NOTES b/compiler/NOTES
index db6756e..ca94811 100644
--- a/compiler/NOTES
+++ b/compiler/NOTES
@@ -1,3 +1,10 @@
+More type functions
+~~~~~~~~~~~~~~~~~~~
+* Allow {tv = TYPE ty) as a non-rec binding in Core
+* Use this to make equality constraints more uniform
+* Make DictBinds into Core
+
+
 Type functions
 ~~~~~~~~~~~~~~
 * A Given inst should be a CoVar, not a coercion
-- 
1.7.10.4