Exemple #1
0
 public ConstrainedType constrainedType(FinMap<Var, Schema> env, Constraints constrs)
     throws NoType {
   if (env.maps(this)) {
     Type instantiatedType = env.lookup(this).freshInstance();
     return new ConstrainedType(constrs, instantiatedType);
   } else {
     throw new NoType();
   }
 }
Exemple #2
0
 public Val eval(FinMap<Var, Val> env) {
   return env.lookup(this);
 }