# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1272550605 -7200
# Node ID 72bed4519c86593a8397208284527e67b69ef903
# Parent  522748f37444ad86ec4bd3256b2cb55786478686
Some of the exceptions that the parser should check in TODO.

diff -r 522748f37444 -r 72bed4519c86 TODO
--- 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'.