summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorSon Ho2023-11-07 10:44:58 +0100
committerSon Ho2023-11-07 10:44:58 +0100
commita745e81c9949f24878f788fffd36667739c59330 (patch)
tree92ef105feb065deff71c72204ea18b3624b377e0 /compiler
parented788eec1d8be1656c0ad7dab25975ad3f5497c2 (diff)
Update the extraction
Diffstat (limited to '')
-rw-r--r--compiler/Extract.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Extract.ml b/compiler/Extract.ml
index a73bf0fd..8ad8a18d 100644
--- a/compiler/Extract.ml
+++ b/compiler/Extract.ml
@@ -2416,7 +2416,7 @@ let extract_trait_impl (ctx : extraction_ctx) (fmt : F.formatter)
* Extract the items
*)
- (* The parent clauses - we retrieve those from the impl_ref *)
+ (* The parent clauses *)
let trait_decl_id = impl.impl_trait.trait_decl_id in
TraitClauseId.iteri
(fun clause_id trait_ref ->
@@ -2426,7 +2426,7 @@ let extract_trait_impl (ctx : extraction_ctx) (fmt : F.formatter)
extract_trait_ref ctx fmt TypeDeclId.Set.empty false trait_ref
in
extract_trait_impl_item ctx fmt item_name ty)
- impl.impl_trait.decl_generics.trait_refs;
+ impl.parent_trait_refs;
(* The constants *)
List.iter