-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;
+ }
+}