X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fmodules%2FTypeAlias.java;h=f0d852b1c41677a5185f5adf740c052d9796c121;hb=refs%2Fchanges%2F21%2F221%2F6;hp=ce888324ce2bda26efc182a97e9ea388d2a328b5;hpb=12d9af17384d960b75d58c3935d2b7b46d93e87b;p=simantics%2Fplatform.git

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 ce888324c..f0d852b1c 100644
--- 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,25 +1,37 @@
 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 {
-    TCon con;
-    
+public class TypeAlias extends TypeDescriptor {   
     public TVar[] parameters;
     public Type body;
+    public String documentation;
     
-    public TypeAlias(TCon con, int arity) {
-        this.con = con;
+    public TypeAlias(TCon name, int arity) {
+        super(name);
         this.parameters = new TVar[arity];
     }
     
-    public TCon getCon() {
-        return con;
-    }
-
     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;
+    }
 }