projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
8102af4
)
Add a note to NOTES
author
simonpj@microsoft.com
<unknown>
Sat, 27 Oct 2007 10:02:20 +0000
(10:02 +0000)
committer
simonpj@microsoft.com
<unknown>
Sat, 27 Oct 2007 10:02:20 +0000
(10:02 +0000)
compiler/NOTES
patch
|
blob
|
history
diff --git
a/compiler/NOTES
b/compiler/NOTES
index
db6756e
..
ca94811
100644
(file)
--- 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