--- 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'.