X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=structs%2Ftest.icl;h=c301fdf8062c6ef5803ac0bd48f9afa5256ad766;hb=ae3a7c7945f08f78b9cd9d68e71e43dda568a7c7;hp=a0cd4643b900bfe34db6646d7ff09e42b14ebc4a;hpb=824af5a3aa9bcac5c3dc0e12bd24da6229bafd38;p=clean-tests.git

diff --git a/structs/test.icl b/structs/test.icl
index a0cd464..c301fdf 100644
--- a/structs/test.icl
+++ b/structs/test.icl
@@ -1,5 +1,7 @@
 module test
 
+import Data.Maybe
+import Data.Either
 import GenC
 import Text
 
@@ -9,9 +11,8 @@ import Text
 :: R = {i :: Int, q :: T}
 :: Muta a = Muta (Mutb a)
 :: Mutb a = Mutb (Muta a)
-derive gToStruct NInt, T, List, R, Muta, Mutb, (,), (), [], (,,)
-derive gPotInf NInt, T, List, R, Muta, Mutb, (,), (), [], (,,)
-
+derive gToStruct NInt, T, List, R, Muta, Mutb, (,), (), [], (,,), Maybe, Either
+derive gPotInf NInt, T, List, R, Muta, Mutb, (,), (), [], (,,), Maybe, Either
 
 Start = let (l, r) = (toCParser (unBox t2)) in concat r
 where
@@ -19,5 +20,7 @@ where
 //	t :: Box GTSState NInt
 	t = Box "listmutaint"
 
-	t2 :: Box GTSState (Bool, Int)
+	t2 :: Box GTSState [Either Int Bool]
+//	t2 :: Box GTSState (Either Int Bool)
+//	t2 :: Box GTSState [Int]
 	t2 = toStruct