You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The following slight modification of table2.p4 from the custom-stf-tests suite gets past the typechecker but causes a failure in the interpreter both on main and on poulet4.
I think the problem here is that unwrap_action_ref creates an expression with a "dummy type" in it and then get_arg_directions maps that dummy type to an empty list of parameters instead of raising an error. But I don't know what's going on with the typechecker.
The following slight modification of
table2.p4
from the custom-stf-tests suite gets past the typechecker but causes a failure in the interpreterboth ononmain
andpoulet4
.The text was updated successfully, but these errors were encountered: