up

diff --git a/higher-order/test.icl b/higher-order/test.icl
new file mode 100644 (file)
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 (file)
--- 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 (file)
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