diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2015-04-27 07:34:25 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2015-04-27 07:34:25 -0700 |
| commit | eeba018f27487e161de93d93c01cb8b2d8132f8f (patch) | |
| tree | be200de3f3e5a87ad78c6938bee453f7a8fb7607 /spec/08-pattern-matching.md | |
| parent | 48f4a99fc7c0c6d14e7bb1ec3dcca88e3ff0b121 (diff) | |
| parent | 62db8d98559766c06d490d9d4c18ff27587fde0b (diff) | |
| download | scala-eeba018f27487e161de93d93c01cb8b2d8132f8f.tar.gz scala-eeba018f27487e161de93d93c01cb8b2d8132f8f.tar.bz2 scala-eeba018f27487e161de93d93c01cb8b2d8132f8f.zip | |
Merge pull request #4404 from soc/topic/spec
Spec improvements
Diffstat (limited to 'spec/08-pattern-matching.md')
| -rw-r--r-- | spec/08-pattern-matching.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/08-pattern-matching.md b/spec/08-pattern-matching.md index e75bddc096..c494fbcef5 100644 --- a/spec/08-pattern-matching.md +++ b/spec/08-pattern-matching.md @@ -371,7 +371,7 @@ bound type variables in a typed pattern or constructor pattern. Inference takes into account the expected type of the pattern. -### Type parameter inference for typed patterns. +### Type parameter inference for typed patterns Assume a typed pattern $p: T'$. Let $T$ result from $T'$ where all wildcards in $T'$ are renamed to fresh variable names. Let $a_1 , \ldots , a_n$ be @@ -437,7 +437,7 @@ complexity of inferred bounds. Minimality and maximality of types have to be understood relative to the set of types of acceptable complexity. -#### Type parameter inference for constructor patterns. +### 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 are inferred in the same way as for the typed pattern @@ -593,7 +593,7 @@ the compilation of pattern matching can emit warnings which diagnose that a given set of patterns is not exhaustive, i.e. that there is a possibility of a `MatchError` being raised at run-time. -### Example +###### Example Consider the following definitions of arithmetic terms: |