import java.util.ArrayList;
import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
+import org.simantics.scl.compiler.compilation.CompilationContext;
import org.simantics.scl.compiler.constants.ClassConstant;
import org.simantics.scl.compiler.constants.StringConstant;
import org.simantics.scl.compiler.elaboration.expressions.EApply;
import gnu.trove.map.hash.THashMap;
public class ConstraintEnvironment {
+ CompilationContext compilationContext;
Environment environment;
- public ConstraintEnvironment(Environment environment) {
- this.environment = environment;
+ public ConstraintEnvironment(CompilationContext compilationContext) {
+ this.compilationContext = compilationContext;
+ this.environment = compilationContext.environment;
}
public Superconstraint[] getSuperconstraints(TPred constraint) {
return result;
}
- public Reduction reduce(TPred constraint) {
+ public Reduction reduce(long location, TPred constraint) {
// VecComp
if(constraint.typeClass == Types.VEC_COMP) {
Type parameter = Types.canonical(constraint.parameters[0]);
Types.pred(Types.TYPEABLE, union.effects[1])
});
}
+ else if(union.effects.length == 3) {
+ return new Reduction(
+ new EConstant(Builtins.INSTANCE.getValue("TUnion3")),
+ Type.EMPTY_ARRAY, new TPred[] {
+ Types.pred(Types.TYPEABLE, union.effects[0]),
+ Types.pred(Types.TYPEABLE, union.effects[1]),
+ Types.pred(Types.TYPEABLE, union.effects[2])
+ });
+ }
}
}
if(reductions.size() == 1)
return reductions.get(0);
else if(reductions.size() > 1) {
- throw new InternalCompilerError("Found more than one matching instances for " + constraint.typeClass + ".");
+ StringBuilder b = new StringBuilder();
+ b.append("Found more than one matching instances for ").append(constraint.typeClass).append(": ");
+ boolean first = true;
+ for(Reduction reduction : reductions) {
+ if(first)
+ first = false;
+ else
+ b.append(", ");
+ b.append(reduction.generator);
+ }
+ compilationContext.errorLog.log(location, b.toString());
}
return null;
}