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 TypeValueConstant extends FunctionValue {
12 private static final TVar A = Types.var(Kinds.STAR);
13 public static final TypeValueConstant INSTANCE = new TypeValueConstant();
15 private TypeValueConstant() {
16 super(new TVar[] {A}, Types.NO_EFFECTS, Types.TYPE,
17 Types.pred(Types.TYPEABLE, A));
21 public Type applyExact(MethodBuilder mb, Val[] parameters) {
22 mb.push(parameters[0], Types.TYPE);
23 return getReturnType();
27 public String toString() {