diff options
| author | simonpj@microsoft.com <unknown> | 2007-10-27 10:02:20 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-10-27 10:02:20 +0000 |
| commit | 0119f79bcf069823e4b49292934f682f680ceb90 (patch) | |
| tree | 0df6caac07fd0db9b3eb8d319f5a9a2149b350cb /compiler/NOTES | |
| parent | 8102af4eac807ae4956a79b27f03fd890f8294c6 (diff) | |
| download | haskell-0119f79bcf069823e4b49292934f682f680ceb90.tar.gz | |
Add a note to NOTES
Diffstat (limited to 'compiler/NOTES')
| -rw-r--r-- | compiler/NOTES | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/NOTES b/compiler/NOTES index db6756e94e..ca94811736 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 |