Commit 99d2de86 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot

plugins: Ensure that loadInterface plugins can see annotations

loadInterface replaces the `mi_decls`, `mi_insts`, `mi_fam_insts`,
`mi_rules`, `mi_anns` fields of ModIface with `undefined` before
inserting the interface into the EPS. However, we still want to give
loadInterface plugins access to these fields. Consequently, we want to
pass the unmodified `ModIface` the plugin.
parent 327b29e1
Pipeline #16333 failed with stages
in 481 minutes and 14 seconds
......@@ -525,8 +525,9 @@ loadInterface doc_str mod from
(length new_eps_insts)
(length new_eps_rules) }
; -- invoke plugins
res <- withPlugins dflags interfaceLoadAction final_iface
; -- invoke plugins with *full* interface, not final_iface, to ensure
-- that plugins have access to declarations, etc.
res <- withPlugins dflags interfaceLoadAction iface
; return (Succeeded res)
}}}}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment