(refs #7809) Added builtin Pure type to indicate no effects

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / modules / TypeAlias.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/modules/TypeAlias.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/modules/TypeAlias.java
index f0d852b1c41677a5185f5adf740c052d9796c121..ce8d780c8d422f31829e87cbf42794b8dc50b28a 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/modules/TypeAlias.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/modules/TypeAlias.java
@@ -1,37 +1,43 @@
-package org.simantics.scl.compiler.elaboration.modules;\r
-\r
-import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;\r
-import org.simantics.scl.compiler.types.TCon;\r
-import org.simantics.scl.compiler.types.TVar;\r
-import org.simantics.scl.compiler.types.Type;\r
-import org.simantics.scl.compiler.types.kinds.Kind;\r
-\r
-public class TypeAlias extends TypeDescriptor {   \r
-    public TVar[] parameters;\r
-    public Type body;\r
-    public String documentation;\r
-    \r
-    public TypeAlias(TCon name, int arity) {\r
-        super(name);\r
-        this.parameters = new TVar[arity];\r
-    }\r
-    \r
-    public int getArity() {\r
-        return parameters.length;\r
-    }\r
-\r
-    @Override\r
-    public Kind getKind() {\r
-        throw new InternalCompilerError("Unsupported method TypeAlias.getKind invoked.");\r
-    }\r
-    \r
-    @Override\r
-    public void setDocumentation(String documentation) {\r
-        this.documentation = documentation;\r
-    }\r
-    \r
-    @Override\r
-    public String getDocumentation() {\r
-        return documentation;\r
-    }\r
-}\r
+package org.simantics.scl.compiler.elaboration.modules;
+
+import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
+import org.simantics.scl.compiler.types.TCon;
+import org.simantics.scl.compiler.types.TVar;
+import org.simantics.scl.compiler.types.Type;
+import org.simantics.scl.compiler.types.kinds.Kind;
+
+public class TypeAlias extends TypeDescriptor {   
+    public TVar[] parameters;
+    public Type body;
+    public String documentation;
+    
+    public TypeAlias(TCon name, int arity) {
+        super(name);
+        this.parameters = new TVar[arity];
+    }
+    
+    public TypeAlias(TCon name, TVar[] parameters, Type body) {
+        super(name);
+        this.parameters = parameters;
+        this.body = body;
+    }
+    
+    public int getArity() {
+        return parameters.length;
+    }
+
+    @Override
+    public Kind getKind() {
+        throw new InternalCompilerError("Unsupported method TypeAlias.getKind invoked.");
+    }
+    
+    @Override
+    public void setDocumentation(String documentation) {
+        this.documentation = documentation;
+    }
+    
+    @Override
+    public String getDocumentation() {
+        return documentation;
+    }
+}