Function admit 

pub fn admit(
    path: &str,
    rules: &[Rule],
    model: &Model,
    solver: &Solver,
) -> Result<Report, Vec<Error>>

Verify a rule set and refuse the whole of it if anything in it cannot enter.

This is the gate spec/17-milestones.md asks for. It refuses the file rather than dropping the rules that failed, because a compiler built from the rules that happened to pass is a compiler nobody described: what it does with the terms the dropped rules matched is then a question about the order of the rest.

Errors

One error per rule that may not enter, at the line the rule starts on, and anything that stopped the verification from happening at all.