Commit Graph

5 Commits

Author SHA1 Message Date
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
Doug Gregor
823c24b355 [SE-0112] Rename ErrorProtocol to Error.
This is bullet (5) of the proposed solution in SE-0112, and the last
major piece to be implemented.
2016-07-12 10:53:52 -07:00
Joe Pamer
39e7c77a47 When generating constraints for subscript expressions, look beyond array
slice types when deciding whether or not to create a fresh type variable
for the array's base expression. (rdar://problem/2639230)
2016-05-23 15:56:20 -07:00
Joe Pamer
2cdd7d64e1 "Sober up" the type checker by improving type inference over dictionary
literals that lack a contextual type.

This fixes SR-305
2016-04-26 17:39:13 -07:00
Joe Pamer
927d7f254d When analyzing an expression for linked sub-expressions, consider each component of an IfExpr separately.
This fixes rdar://problem/24707022
2016-02-25 17:18:07 -08:00