diff options
| author | Son Ho | 2022-12-12 13:25:37 +0100 |
|---|---|---|
| committer | Son HO | 2023-02-03 11:21:46 +0100 |
| commit | a5d09658b0c15862b609226d18f072c5d9f1e953 (patch) | |
| tree | d345e4bb101e320816479837492a0693efd1689e /compiler/InterpreterUtils.ml | |
| parent | e6edaac99fc38fc3cb574db06fe83c7eb32ef37b (diff) | |
Make progress on Interpreter.ml
Diffstat (limited to 'compiler/InterpreterUtils.ml')
| -rw-r--r-- | compiler/InterpreterUtils.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/InterpreterUtils.ml b/compiler/InterpreterUtils.ml index dba2e7cd..ee8ea212 100644 --- a/compiler/InterpreterUtils.ml +++ b/compiler/InterpreterUtils.ml @@ -28,6 +28,7 @@ let operand_to_string = PA.operand_to_string let statement_to_string ctx = PA.statement_to_string ctx "" " " let statement_to_string_with_tab ctx = PA.statement_to_string ctx " " " " let env_elem_to_string ctx = PA.env_elem_to_string ctx "" " " +let env_to_string ctx env = eval_ctx_to_string { ctx with env } let abs_to_string ctx = PA.abs_to_string ctx "" " " let same_symbolic_id (sv0 : V.symbolic_value) (sv1 : V.symbolic_value) : bool = |