package org.simantics.scl.compiler.elaboration.java;
-import org.simantics.scl.compiler.common.names.Name;
+import org.simantics.scl.compiler.common.names.Names;
import org.simantics.scl.compiler.elaboration.expressions.EApply;
import org.simantics.scl.compiler.elaboration.expressions.EVariable;
import org.simantics.scl.compiler.elaboration.expressions.Expression;
case BB:
context.condition(
new EApply(
- context.getConstant(Name.create("Prelude", "elem"), typeParameters),
+ context.getConstant(Names.Prelude_elem, typeParameters),
new Expression[] {
- context.getEvidence(location, Types.pred(Types.EQ, typeParameters[0])),
new EVariable(parameters[0]),
new EVariable(parameters[1])
}