You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We want a CLI flag that takes a list (or a path to a file containing a list) of items (a list of DefIds) to extract, and whether a body should be extracted.
#714 implemented something similar, but in the engine. We need this but in the frontend.
The engine has interface-only items since #612, so patching import_thir to work on bodies of type Option<Thir> instead of Thir should be fairly simple.
The text was updated successfully, but these errors were encountered:
W95Psp
changed the title
Implement filter in the frontend
Frontend: cli: allow to select which items will be exported and how
Oct 2, 2024
W95Psp
changed the title
Frontend: cli: allow to select which items will be exported and how
Frontend: cli: allow to select which items to export
Oct 2, 2024
W95Psp
changed the title
Frontend: cli: allow to select which items to export
Frontend: cli: select items to extract, with or without body
Oct 2, 2024
We want a CLI flag that takes a list (or a path to a file containing a list) of items (a list of
DefId
s) to extract, and whether a body should be extracted.#714 implemented something similar, but in the engine. We need this but in the frontend.
The engine has interface-only items since #612, so patching
import_thir
to work on bodies of typeOption<Thir>
instead ofThir
should be fairly simple.The text was updated successfully, but these errors were encountered: