From e0a8ffe88740995150fa7ca58797a4cceed3169f Mon Sep 17 00:00:00 2001 From: Seth Tisue Date: Wed, 7 Sep 2016 14:17:35 -0700 Subject: assorted typo fixes, cleanup, updating of comments just in time for Halloween. "boostrap" is definitely the most adorable typo evah -- and one of the most common, too. but we don't want to scare anybody. --- spec/08-pattern-matching.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'spec/08-pattern-matching.md') diff --git a/spec/08-pattern-matching.md b/spec/08-pattern-matching.md index 38eabf29c5..ecaaa04c2b 100644 --- a/spec/08-pattern-matching.md +++ b/spec/08-pattern-matching.md @@ -441,7 +441,7 @@ complexity. ### Type parameter inference for constructor patterns Assume a constructor pattern $C(p_1 , \ldots , p_n)$ where class $C$ -has type type parameters $a_1 , \ldots , a_n$. These type parameters +has type parameters $a_1 , \ldots , a_n$. These type parameters are inferred in the same way as for the typed pattern `(_: $C[a_1 , \ldots , a_n]$)`. -- cgit v1.2.3