1 package org.simantics.scl.compiler.elaboration.modules;
\r
3 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
\r
4 import org.simantics.scl.compiler.types.TCon;
\r
5 import org.simantics.scl.compiler.types.TVar;
\r
6 import org.simantics.scl.compiler.types.Type;
\r
7 import org.simantics.scl.compiler.types.kinds.Kind;
\r
9 public class TypeAlias extends TypeDescriptor {
\r
10 public TVar[] parameters;
\r
12 public String documentation;
\r
14 public TypeAlias(TCon name, int arity) {
\r
16 this.parameters = new TVar[arity];
\r
19 public int getArity() {
\r
20 return parameters.length;
\r
24 public Kind getKind() {
\r
25 throw new InternalCompilerError("Unsupported method TypeAlias.getKind invoked.");
\r
29 public void setDocumentation(String documentation) {
\r
30 this.documentation = documentation;
\r
34 public String getDocumentation() {
\r
35 return documentation;
\r