\r
import org.simantics.scl.compiler.common.names.Name;\r
import org.simantics.scl.compiler.elaboration.modules.SCLValue;\r
-import org.simantics.scl.compiler.elaboration.modules.TypeAlias;\r
import org.simantics.scl.compiler.elaboration.modules.TypeClass;\r
import org.simantics.scl.compiler.elaboration.modules.TypeClassInstance;\r
-import org.simantics.scl.compiler.elaboration.modules.TypeConstructor;\r
+import org.simantics.scl.compiler.elaboration.modules.TypeDescriptor;\r
import org.simantics.scl.compiler.elaboration.relations.SCLEntityType;\r
import org.simantics.scl.compiler.elaboration.relations.SCLRelation;\r
import org.simantics.scl.compiler.internal.codegen.effects.EffectConstructor;\r
}\r
\r
@Override\r
- public TypeConstructor getTypeConstructor(TCon type) {\r
+ public TypeDescriptor getTypeDescriptor(TCon type) {\r
Module module = getModule(type.module);\r
if(module == null)\r
return null;\r
- return module.getTypeConstructor(type.name);\r
+ return module.getTypeDescriptor(type.name);\r
}\r
\r
@Override\r
return module.getEffectConstructor(type.name);\r
}\r
\r
- @Override\r
- public TypeAlias getTypeAlias(TCon type) {\r
- Module module = getModule(type.module);\r
- if(module == null)\r
- return null;\r
- return module.getTypeAlias(type.name);\r
- }\r
-\r
@Override\r
public TypeClass getTypeClass(TCon type) {\r
Module module = getModule(type.module);\r