Method fork

src/main/java/wyil/check/FlowTypeCheck.java:3374–3381

Apply a given forking function to produce an array of forked environments. @param candidates The list of candidates for which the environment is forked where each candidate is forked into a new environment. @param fn The forking function which takes a given callable

(List<Decl.Callable> candidates, Function<Decl.Callable, Typing.Row> fn)

	 * @return
	 */
	public Typing.Row[] fork(List<Decl.Callable> candidates, Function<Decl.Callable, Typing.Row> fn) {
		Typing.Row[] constraints = new Typing.Row[candidates.size()];
		for (int i = 0; i != candidates.size(); ++i) {
			constraints[i] = fn.apply(candidates.get(i));
		}
		// Remove any invalid environments which have arisen.
		return ArrayUtils.removeAll(constraints, null);
	}

	public Type refine(Type declared, Type selector) {
		// FIXME: this method is a hack for now really, until such time as I resolve