diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-01-18 19:02:16 -0600 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-01-18 19:02:16 -0600 |
| commit | 5588808852a2fd379be0e9c01cf67cfdcbcdd4c3 (patch) | |
| tree | 0bd001973612cc858ac391ee009d943b15940393 /discocaml/eval.ml | |
| parent | 81fb055292f49a76732c1966874b8d2ad2cb1807 (diff) | |
Prepare to output non-single-expr messages.
Diffstat (limited to 'discocaml/eval.ml')
| -rw-r--r-- | discocaml/eval.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/discocaml/eval.ml b/discocaml/eval.ml index 68bb637..63dd6f7 100644 --- a/discocaml/eval.ml +++ b/discocaml/eval.ml @@ -5,3 +5,4 @@ type path = int list let find_redex_cbv : expr -> path option = function _ -> None let find_redex_cbn : expr -> path option = function _ -> None +let reduce : expr -> path -> expr = fun e _ -> e |