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