X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Fenvironment%2FEnvironment.java;h=b25fc72091a8bf23d0046c2901ae9bba258b72c5;hp=70c62062dcbdd0ee7b66923e682ddc74f6f327b6;hb=a8758de5bc19e5adb3f618d3038743a164f09912;hpb=12d9af17384d960b75d58c3935d2b7b46d93e87b diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/environment/Environment.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/environment/Environment.java index 70c62062d..b25fc7209 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/environment/Environment.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/environment/Environment.java @@ -5,10 +5,9 @@ import java.util.Collection; import org.simantics.scl.compiler.common.names.Name; import org.simantics.scl.compiler.elaboration.contexts.EnvironmentalContext; import org.simantics.scl.compiler.elaboration.modules.SCLValue; -import org.simantics.scl.compiler.elaboration.modules.TypeAlias; import org.simantics.scl.compiler.elaboration.modules.TypeClass; import org.simantics.scl.compiler.elaboration.modules.TypeClassInstance; -import org.simantics.scl.compiler.elaboration.modules.TypeConstructor; +import org.simantics.scl.compiler.elaboration.modules.TypeDescriptor; import org.simantics.scl.compiler.elaboration.relations.SCLEntityType; import org.simantics.scl.compiler.elaboration.relations.SCLRelation; import org.simantics.scl.compiler.elaboration.rules.TransformationRule; @@ -21,9 +20,8 @@ public interface Environment extends EnvironmentalContext { SCLValue getValue(Name name); SCLRelation getRelation(Name name); SCLEntityType getEntityType(Name name); - TypeConstructor getTypeConstructor(TCon type); + TypeDescriptor getTypeDescriptor(TCon type); EffectConstructor getEffectConstructor(TCon type); - TypeAlias getTypeAlias(TCon type); TypeClass getTypeClass(TCon type); Collection getInstances(TCon typeClass); void collectRules(Collection rules);