Xi Ge
7e3e42c272
ModulePrinting: Teach synthesized extension analyzer to handle bounded generic types appearing in requirements.
2016-03-07 13:27:54 -08:00
Xi Ge
7c90d2c83f
ModuelPrint: when printing synthesized extensions, print the full name of the extended type.
2016-03-05 10:47:12 -08:00
Xi Ge
326514e397
ModulePrinting: when printing synthesized extensions, avoid printing requirements that are known to be true.
2016-03-03 17:42:35 -08:00
Xi Ge
65a3aade7e
[SourceKit] Cursor info: for extension decls, the cursor info query always returns the extended nominal's group name.
2016-03-02 17:30:11 -08:00
Xi Ge
cf7d483304
ModulePrinting: Avoid hard-coding unsatisfiable type requirements, query constraint solver for answers.
...
Thank Doug and Joe P for suggesting this!
2016-03-02 12:28:02 -08:00
Xi Ge
60be59953a
ModulePrinting: Add the basic infrastructure to remove inapplicable synthesized extensions.
...
As the initial step, we remove any synthesized extensions requiring a tuple's conforming to nominals, which
never happens. This will remove multiple useless synthesized extensions for Dictionary.
2016-03-01 15:44:41 -08:00
Ben Langmuir
3e9bfa137d
[SourceKit] Add decl.var.parameters entries to the fully annotated decl
...
This is the first part of adding parameter substructure so that clients
can reason about more of the function declaration.
rdar://problem/24292226
2016-02-24 11:39:47 -08:00
Xi Ge
d4f704bb2f
ASTPrinter: Add pre and post callbacks for printing synthesized extensions and call them.
...
This is necessary for jump to synthesized extensions in IDE.
2016-02-15 17:41:49 -08:00
Xi Ge
ae60159816
[ModulePrint] Add the initial implementation for printing synthesized extensions.
...
For a concrete type, members from its conforming protocols' extensions can be hard
to manually surface. In this commit, when printing Swift modules, we start to replicate these
extensions and synthesize them as if they are the concrete type's native extensions.
Credit to Doug for suggesting this practice.
2016-02-02 14:53:21 -08:00
