From 99edb08cabf8702fa0908dd58e7d94d4013f27ea Mon Sep 17 00:00:00 2001 From: Steven Schmatz Date: Fri, 4 Dec 2015 18:33:40 -0500 Subject: [PATCH] Fix typo in TypeChecker.rst --- docs/TypeChecker.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/TypeChecker.rst b/docs/TypeChecker.rst index bff6c96910d1b..400c799bfc6ce 100644 --- a/docs/TypeChecker.rst +++ b/docs/TypeChecker.rst @@ -319,7 +319,7 @@ and types generated from the primary expression kinds are: of some type. **Ternary operator** - A ternary operator``x ? y : z`` generates a number of + A ternary operator ``x ? y : z`` generates a number of constraints. The type ``T(x)`` must conform to the ``LogicValue`` protocol to determine which branch is taken. Then, a new type variable ``T0`` is introduced to capture the result type, and the