diff options
Diffstat (limited to 'compiler/Cps.ml')
| -rw-r--r-- | compiler/Cps.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Cps.ml b/compiler/Cps.ml index c2c0363b..de35198f 100644 --- a/compiler/Cps.ml +++ b/compiler/Cps.ml @@ -67,7 +67,7 @@ let comp_update (f : cm_fun) (g : C.eval_ctx -> C.eval_ctx) : cm_fun = (** This is just a test, to check that {!comp} is general enough to handle a case where a function must compute a value and give it to the continuation. - It happens for functions like {!InterpreterExpressions.eval_operand}. + It happens for functions like {!val:InterpreterExpressions.eval_operand}. Keeping this here also makes it a good reference, when one wants to figure out the signatures he should use for such a composition. |