Closed andrew-appel closed 6 months ago
It appears that (at least) the last four fail commands in forward_if'_new (in Floyd/forward.v) should be fail 1, otherwise (in the context of the big match statement, they don't convey any message to the user.
fail
forward_if'_new
fail 1
match
It appears that (at least) the last four
failcommands inforward_if'_new(in Floyd/forward.v) should befail 1, otherwise (in the context of the bigmatchstatement, they don't convey any message to the user.