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 #25983 from DougGregor/one-way-constraints

Browse Source 
[Constraint solver] Introduce one-way binding constraints.
This commit is contained in:
Doug Gregor
2019-08-14 09:19:11 -07:00
committed by GitHub
parent 6efcff6280 be73a9d641
commit 7697611c15
25 changed files with 916 additions and 92 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Frontend/CompilerInvocation.cpp
View File

@@ -441,6 +441,8 @@ static bool ParseLangArgs(LangOptions &Opts, ArgList &Args,
if (Args.getLastArg(OPT_solver_disable_shrink))
Opts.SolverDisableShrink = true;
if (Args.getLastArg(OPT_enable_function_builder_one_way_constraints))
Opts.FunctionBuilderOneWayConstraints = true;
if (const Arg *A = Args.getLastArg(OPT_value_recursion_threshold)) {
unsigned threshold;