From 9c1e6f49b3dc07d01a1dbb7a737cf1f362da1dbb Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 31 May 2007 14:33:58 +0000
Subject: [PATCH] more todoConstructors

---
 lib/resource-1.0/api/todoConstructors.txt | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/lib/resource-1.0/api/todoConstructors.txt b/lib/resource-1.0/api/todoConstructors.txt
index f61fde8c4..329c54bc5 100644
--- a/lib/resource-1.0/api/todoConstructors.txt
+++ b/lib/resource-1.0/api/todoConstructors.txt
@@ -80,6 +80,8 @@ VP?
 
 -- Comp: already eliminated
 
+-- DConj /= Conj ?
+
 --------------------------------------------
 --- granted special cases
 
@@ -102,3 +104,9 @@ VP?
   Num - Numeral | Digit | Int
 
   ListX - X X
+
+--------
+
+  open ResourceX, ParadigmsX in ...
+
+  ResourceX = ConstructorsX, StructuralX, CatX