From 11bbd232931dea4383ac3658a8221041a9e072eb Mon Sep 17 00:00:00 2001 From: Wonho Date: Thu, 18 Jul 2024 11:03:36 +0900 Subject: [PATCH] Add note for InvCallE --- spectec/src/il2al/translate.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spectec/src/il2al/translate.ml b/spectec/src/il2al/translate.ml index dfc28d3663..28be83a227 100644 --- a/spectec/src/il2al/translate.ml +++ b/spectec/src/il2al/translate.ml @@ -537,7 +537,7 @@ and handle_inverse_function lhs rhs free_ids = (* All arguments are free *) if List.for_all contains_free args then let new_lhs = args2lhs args in - let new_rhs = invCallE (f, [], rhs2args rhs) ~at:lhs.at in + let new_rhs = invCallE (f, [], rhs2args rhs) ~at:lhs.at ~note:lhs.note in handle_special_lhs new_lhs new_rhs free_ids (* Some arguments are free *) @@ -560,7 +560,7 @@ and handle_inverse_function lhs rhs free_ids = (* Free argument become new lhs & InvCallE become new rhs *) let new_lhs = args2lhs free_args in - let new_rhs = invCallE (f, indices, bound_args @ rhs2args rhs) ~at:lhs.at in + let new_rhs = invCallE (f, indices, bound_args @ rhs2args rhs) ~at:lhs.at ~note:lhs.note in (* Recursively translate new_lhs and new_rhs *) handle_special_lhs new_lhs new_rhs free_ids