package boa.types;

/**
 * A type variable for use with functions that return types dependent on their argument types.
 * 
 * @author rdyer
 */
public class BoaTypeVar extends BoaScalar {
	private String name;

	public BoaTypeVar (String name) {
		this.name = name;
	}

	public String getName() {
		return name;
	}

	@Override
	public String toString() {
		return "TypeVar " + name;
	}
}

@@ -309,16 +309,130 @@
 me;%0A%09%7D%0A%0A
+%09/** %7B@inheritDoc%7D */%0A%09@Override%0A%09public boolean accepts(BoaType that) %7B%0A%09%09return true;%0A%09%7D%0A%0A%09/** %7B@inheritDoc%7D */%0A
 %09@Overri

fix typechecking on keys()