1 package org.simantics.scl.compiler.internal.elaboration.constraints;
3 import org.simantics.scl.compiler.elaboration.expressions.Expression;
4 import org.simantics.scl.compiler.top.SCLCompilerConfiguration;
5 import org.simantics.scl.compiler.types.TPred;
6 import org.simantics.scl.compiler.types.Type;
13 public Reduction(Expression generator, Type[] parameters, TPred[] demands) {
14 if(SCLCompilerConfiguration.DEBUG) {
16 throw new NullPointerException();
17 for(Type parameter : parameters)
19 throw new NullPointerException();
20 for(Type demand : demands)
22 throw new NullPointerException();
24 this.generator = generator;
25 this.parameters = parameters;
26 this.demands = demands;