search

racket / redex

Other
93 stars 36 forks source link

Add rule names to runtime judgment form, for stepper support #245

Closed wilbowma closed 3 years ago

wilbowma commented 3 years ago

Add the list of rule names to the runtime judgment form struct, so the stepper can support displaying rule names in the reduction name label, and "run" a judgment until a specific rule.

Closes #244

Haven't run test suite yet, but initial interactive testing looks okay.

wilbowma commented 3 years ago

Test suite passes, although not sure the stepper gets tested.

rfindler commented 3 years ago

Thanks!