X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=new-layouts%2Ftest.icl;h=d1b288b753b497aa036658cc5c369c7d62119b08;hb=b2a4b7c5c620e9d85bda8afa1c5e804ee98ffd89;hp=7718e4b6712ecbc68fcd0e1d67c778b8462b3b07;hpb=53817603554125625f3c7d6b4b9ea0dc4a4bdf78;p=clean-tests.git diff --git a/new-layouts/test.icl b/new-layouts/test.icl index 7718e4b..d1b288b 100644 --- a/new-layouts/test.icl +++ b/new-layouts/test.icl @@ -2,22 +2,12 @@ module test import iTasks -Start w = startEngine (t1 -|| t2 -|| t3 -|| t4) w +Start w = startEngine (viewInformation () [] v) w -:: Field = {field :: String} -:: Type1 = {fields :: [Field]} -:: Type2 = Type Int [Field] -:: Type3 :== [Field] -derive class iTask Field, Type1, Type2 +derive class iTask B, C -t1 :: Task Type1 -t1 = enterInformation () [] +v :: B +v = B2 C2 -t2 :: Task Type2 -t2 = enterInformation () [] - -t3 :: Task Type3 -t3 = enterInformation () [] - -t4 :: Task (Type2, Type3) -t4 = enterInformation () [] +:: B = B1 | B2 C +:: C = C1 Int | C2