diff options
Diffstat (limited to 'dev/doc/changes.md')
| -rw-r--r-- | dev/doc/changes.md | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/dev/doc/changes.md b/dev/doc/changes.md index 157f41bd7b..0e35583b14 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -167,11 +167,6 @@ Steps to perform: Handwritten classifiers declared through the `CLASSIFIED BY` statement are considered OCaml code, so they also need to be wrapped in braces. -All extension macros are now behaving as if they were declared `FUNCTIONAL`, -which means that they must return an interpretation state. This should -currently be done by merely returning the `st` variable that is implicitly -passed to the rule code. - For instance, code of the form: ``` VERNAC COMMAND EXTEND my_command CLASSIFIED BY classifier @@ -182,8 +177,8 @@ END should be turned into ``` VERNAC COMMAND EXTEND my_command CLASSIFIED BY { classifier } - [ "foo" int(i) ] => { classif' } -> { let () = cmd1 i in st } -| [ "bar" ] -> { let () = cmd2 in st } +| [ "foo" int(i) ] => { classif' } -> { cmd1 i } +| [ "bar" ] -> { cmd2 } END ``` |