1 package org.simantics.scl.compiler.elaboration.java;
3 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
4 import org.simantics.scl.compiler.constants.FunctionValue;
5 import org.simantics.scl.compiler.internal.codegen.references.Val;
6 import org.simantics.scl.compiler.internal.codegen.types.BTypes;
7 import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;
8 import org.simantics.scl.compiler.types.TVar;
9 import org.simantics.scl.compiler.types.Type;
10 import org.simantics.scl.compiler.types.Types;
11 import org.simantics.scl.compiler.types.exceptions.MatchException;
12 import org.simantics.scl.compiler.types.kinds.Kinds;
14 public class ApplyUnit extends FunctionValue {
16 private static final TVar A = Types.var(Kinds.STAR);
17 private static final TVar E = Types.var(Kinds.EFFECT);
19 public static final ApplyUnit INSTANCE = new ApplyUnit();
22 super(new TVar[] {A}, E, A, Types.functionE(Types.PUNIT, E, A));
26 public Type applyExact(MethodBuilder mb, Val[] parameters) {
27 parameters[0].push(mb);
31 return BTypes.matchFunction(parameters[0].getType(), 1)[1];
32 } catch (MatchException e) {
33 throw new InternalCompilerError();
38 public String toString() {