4 Commits

Author	SHA1	Message	Date
Jordan Rose	49e6c06eef	[validation-test] Remove "REQUIRES: asserts" from /fixed/ crash cases. (#6156)	2016-12-08 19:06:32 -08: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
practicalswift	797b80765f	[gardening] Use the correct base URL (https://swift.org) in references to the Swift website ... Remove all references to the old non-TLS enabled base URL (http://swift.org)	2016-11-20 17:36:03 +01:00
Doug Gregor	4cc41e5e64	[Constraint solver] Perform the "occurs" check properly. ... We've been performing the "occurs" check when computing potential bindings for type variables, but we weren't actually performing the check for bindings that *must* occur. Perform the occurs check before binding type variables, which fixes a few crashers and is far more principled. Note that this obviates the need for tracking the type variables we've substituted in simplifyType(), so simplify that as well. Fixes rdar://problem/27879334 / SR-2351.	2016-10-25 13:32:06 -07:00