# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1271016116 -7200
# Node ID d7a2c45b447abe75315cafb22293b14319d63e01
# Parent  8a71e90cccd07e04d77486f54647e895d8c7be17
added TODO item about parser creating syntax for the wrong type

diff -r 8a71e90cccd0 -r d7a2c45b447a TODO
--- a/TODO	Sun Apr 11 18:18:22 2010 +0200
+++ b/TODO	Sun Apr 11 22:01:56 2010 +0200
@@ -26,6 +26,9 @@
 
 Bigger things:
 
+- Parser adds syntax for raw datatype, but should
+  add for lifted datatype.
+
 - the alpha equivalence for
 
    Let as::assn t::trm   bind "bn as" in t