averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #38726 from slavapestov/requirement-machine-flag-in-module-interface

Browse Source 
Preserve -requirement-machine=(off|on|verify) in module interfaces
This commit is contained in:
Slava Pestov
2021-08-02 21:13:04 -04:00
committed by GitHub
parent aeb36ab9e2 66702b3b18
commit 08169c3ad3
2 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
include/swift/Option/FrontendOptions.td
View File

@@ -273,9 +273,6 @@ def debug_constraints_on_line_EQ : Joined<["-"], "debug-constraints-on-line=">,
def disable_named_lazy_member_loading : Flag<["-"], "disable-named-lazy-member-loading">,
HelpText<"Disable per-name lazy member loading">;
def requirement_machine_EQ : Joined<["-"], "requirement-machine=">,
HelpText<"Control usage of experimental generics implementation: 'on', 'off', or 'verify'">;
def debug_requirement_machine : Flag<["-"], "debug-requirement-machine">,
HelpText<"Enables debugging output from the generics implementation">;

4
include/swift/Option/Options.td
View File

@@ -603,6 +603,10 @@ def experimental_emit_module_separately:
Flags<[FrontendOption, NoInteractiveOption, HelpHidden]>,
HelpText<"Schedule a swift module emission job instead of a merge-modules job (new Driver only)">;
def requirement_machine_EQ : Joined<["-"], "requirement-machine=">,
Flags<[FrontendOption, ModuleInterfaceOption]>,
HelpText<"Control usage of experimental generics implementation: 'on', 'off', or 'verify'">;
// Diagnostic control options
def suppress_warnings : Flag<["-"], "suppress-warnings">,
Flags<[FrontendOption]>,