From c5365b7691e053c9d9815e4e9cca9e32b3d48d0b Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 27 Sep 2018 10:58:49 +0200 Subject: [PATCH] up --- higher-order/test.icl | 18 ++++++++++++++++++ metaeditor/MetaType.dcl | 19 +++++++++---------- threadpool/test.icl | 11 +++++++++++ 3 files changed, 38 insertions(+), 10 deletions(-) create mode 100644 higher-order/test.icl create mode 100644 threadpool/test.icl 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 -- 2.20.1