1 package org.simantics.scl.compiler.constants.singletons;
3 import org.simantics.scl.compiler.constants.FunctionValue;
4 import org.simantics.scl.compiler.internal.codegen.references.Val;
5 import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;
6 import org.simantics.scl.compiler.types.TVar;
7 import org.simantics.scl.compiler.types.Type;
8 import org.simantics.scl.compiler.types.Types;
9 import org.simantics.scl.compiler.types.kinds.Kinds;
11 public class UnsafeCoerce extends FunctionValue {
12 private static TVar A = Types.var(Kinds.STAR);
13 private static TVar B = Types.var(Kinds.STAR);
14 public static final UnsafeCoerce INSTANCE = new UnsafeCoerce();
16 private UnsafeCoerce() {
17 super(new TVar[] {A, B}, Types.NO_EFFECTS, B, A);
21 public Type applyExact(MethodBuilder mb, Val[] parameters) {
22 mb.pushBoxed(parameters[0]);
23 return getReturnType();
27 public String toString() {
28 return "unsafeCoerce";