Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
TODO
changeset 1987 72bed4519c86
parent 1808 d7a2c45b447a
child 2045 6800fcaafa2a 
--- a/TODO	Thu Apr 29 16:15:49 2010 +0200
+++ b/TODO	Thu Apr 29 16:16:45 2010 +0200
@@ -10,6 +10,11 @@
   instance ty1 and tyn :: fs
   ty1_tyn.supp            empty when for too many bindings
 
+Parser should check that:
+- types of bindings match types of binding functions
+- fsets are not bound in lst bindings
+- bound arguments are not datatypes
+
 Smaller things:
 
 - lam.perm should be called permute_lam.simps (that is 
@@ -78,4 +83,4 @@
 
 When cleaning:
 
-- remove all 'PolyML.makestring'.
\ No newline at end of file
+- remove all 'PolyML.makestring'.
nominal2