4 Commits

Author	SHA1	Message	Date
Mark Lacey	78d83e5703	Use %target-typecheck-verify-swift where possible.	2018-07-26 23:13:43 -07:00
David Farler	b7d17b25ba	Rename -parse flag to -typecheck ... A parse-only option is needed for parse performance tracking and the current option also includes semantic analysis.	2016-11-28 10:50:55 -08:00
Manav Gabhawala	7928140f79	[SE-0046] Implements consistent function parameter labels by discarding extraneous parameter names and adding _ where necessary	2016-04-06 20:21:58 -04:00
Joe Groff	77dd9b2992	Split exact-subclass and bindable-to-subclass queries. ... In many places, we're interested in whether a type with archetypes *might be* a superclass of another type with the right bindings, particularly in the optimizer. Provide a separate Type::isBindableToSuperclassOf method that performs this check. Use it in the devirtualizer to fix rdar://problem/24993618. Using it might unblock other places where the optimizer is conservative, but we can fix those separately.	2016-03-09 11:14:45 -08:00