many changes

[clean-tests.git] / structs / test.icl

diff --git a/structs/test.icl b/structs/test.icl
index a0cd464..c301fdf 100644 (file)
--- 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