X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=metaeditor%2FMetaType.dcl;h=e74a2769fa6bedb6dfee5a02a02bd222ae3fdab1;hb=HEAD;hp=7f854584ebbd3ea7a9cefaf506efa8ad805d5e1f;hpb=d19291be9099351d160c3578fecc196c599b9cb0;p=clean-tests.git

diff --git a/metaeditor/MetaType.dcl b/metaeditor/MetaType.dcl
deleted file mode 100644
index 7f85458..0000000
--- a/metaeditor/MetaType.dcl
+++ /dev/null
@@ -1,42 +0,0 @@
-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.GenEq import generic gEq
-from Data.Maybe import :: Maybe
-from Data.Either import :: Either
-
-derive class iTask MetaType
-derive gEq MetaInst
-derive gText MetaInst
-derive JSONEncode MetaInst
-derive JSONDecode MetaInst
-derive gEditor MetaInst
-derive gDefault MetaInst
-
-:: MetaType = MInt | MReal | MBool | MChar | MVoid | MPoint MetaType | MThis
-	| MRecord [(String, MetaType)] | MADT [(String, [MetaType])]
-//	| MTup2 (MetaType, MetaType)
-//	| MTup3 (MetaType, MetaType, MetaType)
-//	| MTup4 (MetaType, MetaType, MetaType, MetaType)
-
-:: MetaInst = IInt Int | IReal Real | IBool Bool | IChar Char | IVoid
-	| IPoint String | IRecord [MetaInst] | IADT Int [MetaInst]
-
-typeToInst :: MetaType -> MetaInst
-typeToEditor :: MetaType -> Editor MetaInst
-
-enterValueOfType :: MetaType -> Task MetaInst
-
-parse :: MetaType [Char] -> Either String (MetaInst, [Char])
-
-instance toString MetaType
-instance fromString MetaType