diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/changes.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt index bcda4ff50a..631b5f5aaf 100644 --- a/dev/doc/changes.txt +++ b/dev/doc/changes.txt @@ -10,6 +10,16 @@ will fail to compile now. They should switch to `Bytes.t` * ML API * +Added two functions for declaring hooks to be executed in reduction +functions when some given constants are traversed: + + declare_reduction_effect: to declare a hook to be applied when some + constant are visited during the execution of some reduction functions + (primarily cbv). + + set_reduction_effect: to declare a constant on which a given effect + hook should be called. + We renamed the following functions: Context.Rel.Declaration.fold -> Context.Rel.Declaration.fold_constr |