diff options
| author | Son Ho | 2023-09-17 01:22:45 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-17 01:22:45 +0200 |
| commit | 245a19a962c2fbd546c90c4ff16767a03af591e9 (patch) | |
| tree | cc369c7e84e65832e4c0018aaed4747e1815e084 /compiler/InterpreterStatements.ml | |
| parent | 9bfbfcc5aa3a05aafa2b7b5014256b30a878f0a2 (diff) | |
Fix a minor issue
Diffstat (limited to '')
| -rw-r--r-- | compiler/InterpreterStatements.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml index b00aca7e..d67d57db 100644 --- a/compiler/InterpreterStatements.ml +++ b/compiler/InterpreterStatements.ml @@ -1201,7 +1201,7 @@ and eval_transparent_function_call_symbolic (config : C.config) (call : A.call) | A.FunId (A.Assumed _) -> (* Unreachable: must be a transparent function *) raise (Failure "Unreachable") - | A.TraitMethod (trait_ref, method_name, method_decl_id) -> ( + | A.TraitMethod (trait_ref, method_name, _) -> ( log#ldebug (lazy ("trait method call:\n- call: " ^ call_to_string ctx call @@ -1243,7 +1243,7 @@ and eval_transparent_function_call_symbolic (config : C.config) (call : A.call) (* Also update the function identifier: we want to forget the fact that we called a trait method, and treat it as a regular function acll. *) - let func = A.FunId (A.Regular method_decl_id) in + let func = A.FunId (A.Regular id) in (func, method_def, None, inst_sg) | None -> (* If not found, lookup the methods provided by the trait *declaration* |