X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=structs%2FGenC.dcl;h=f99f068470e7730dc8caba0d0acdffe4832a2c9b;hb=ae3a7c7945f08f78b9cd9d68e71e43dda568a7c7;hp=b33d9910ace3f16ba899ef3e3a948afe74f448c5;hpb=dd851e8574c37cad729a3ba3b4e64a548bb4422e;p=clean-tests.git

diff --git a/structs/GenC.dcl b/structs/GenC.dcl
index b33d991..f99f068 100644
--- a/structs/GenC.dcl
+++ b/structs/GenC.dcl
@@ -28,7 +28,7 @@ toStruct :: Box GTSState a | gToStruct{|*|} a
 :: GTSState
 instance zero GTSState
 generic gToStruct a | gPotInf a :: GTSState -> (GTSResult, Box GTSState a)
-derive gToStruct Int, Bool, Char, Real, UNIT, CONS, FIELD, EITHER, PAIR, OBJECT of {gtd_name,gtd_conses,gtd_num_conses}, RECORD of {grd_name,grd_fields}
+derive gToStruct Int, Bool, Char, Real, UNIT, CONS of {gcd_type}, FIELD, EITHER, PAIR, OBJECT of {gtd_arity,gtd_name,gtd_conses,gtd_num_conses}, RECORD of {grd_arity,grd_name,grd_fields}
 
 /**
  * Given a GTSState, generate typedefinitions