From: Mart Lubbers Date: Thu, 27 Sep 2018 08:58:49 +0000 (+0200) Subject: up X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=c5365b7691e053c9d9815e4e9cca9e32b3d48d0b;hp=d19291be9099351d160c3578fecc196c599b9cb0;p=clean-tests.git up --- diff --git a/higher-order/test.icl b/higher-order/test.icl new file mode 100644 index 0000000..6229470 --- /dev/null +++ b/higher-order/test.icl @@ -0,0 +1,18 @@ +module test + +import StdGeneric + +generic g a :: a +g{|OBJECT|} g = OBJECT g +g{|CONS|} g = CONS g + +derive g T, S, Int + +//kind *->* +:: S a = S a + +//kind (*->*)->* +:: T a = T (a Int) + +Start :: T S +Start = g{|*|} diff --git a/metaeditor/MetaType.dcl b/metaeditor/MetaType.dcl index 7f85458..e74a276 100644 --- a/metaeditor/MetaType.dcl +++ b/metaeditor/MetaType.dcl @@ -1,18 +1,17 @@ definition module MetaType from StdOverloaded import class toString, class fromString -from iTasks.UI.Editor import :: Editor -from iTasks.UI.Definition import :: UIType -from iTasks.WF.Definition import class iTask -from iTasks.UI.Editor import :: Editor -from iTasks.UI.Editor.Generic import generic gEditor -from iTasks.Internal.Generic.Visualization import generic gText, :: TextFormat -from iTasks.Internal.Generic.Defaults import generic gDefault -from iTasks.WF.Definition import :: Task -from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode + +from Data.Either import :: Either from Data.GenEq import generic gEq from Data.Maybe import :: Maybe -from Data.Either import :: Either +from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode + +from iTasks.Internal.Generic.Defaults import generic gDefault +from iTasks.Internal.Generic.Visualization import generic gText, :: TextFormat +from iTasks.UI.Editor import :: Editor +from iTasks.UI.Editor.Generic import generic gEditor +from iTasks.WF.Definition import class iTask, :: Task derive class iTask MetaType derive gEq MetaInst diff --git a/threadpool/test.icl b/threadpool/test.icl new file mode 100644 index 0000000..b37123a --- /dev/null +++ b/threadpool/test.icl @@ -0,0 +1,11 @@ +module test + +import iTasks +import iTasks.Extensions.DateTime + +Start w = startEngine ( + allTasksInPool 3 (repeat task) + >&> viewSharedInformation "result" []) w + +task :: Task Int +task = enterInformation "int" [] >>= treturn