diff options
Diffstat (limited to 'compiler/Assumed.ml')
| -rw-r--r-- | compiler/Assumed.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/Assumed.ml b/compiler/Assumed.ml index cb089c08..7fba3c5c 100644 --- a/compiler/Assumed.ml +++ b/compiler/Assumed.ml @@ -6,9 +6,9 @@ Semantically speaking, we thus handle [Box::free] as a value drop and not as a function call, and thus never need its signature. - TODO: implementing the concrete evaluation functions for the assumed - functions is really annoying (see - [InterpreterStatements.eval_non_local_function_call_concrete]). + TODO: implementing the concrete evaluation functions for the + assumed functions is really annoying (see + {!InterpreterStatements.eval_non_local_function_call_concrete}), I think it should be possible, in most situations, to write bodies which model the behaviour of those unsafe functions. For instance, [Box::deref_mut] should simply be: |