diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-26 00:42:54 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-26 00:42:54 -0700 |
| commit | 3df5773e3a7dd5fac1d6d641b30a84c6470dab19 (patch) | |
| tree | 9b07f2b6e94e943ce55b44b24e4ccd6bdc9c3b27 /05-types.md | |
| parent | 7307a03e5456b0c260435f61354917e8b769a5bb (diff) | |
| download | scala-3df5773e3a7dd5fac1d6d641b30a84c6470dab19.tar.gz scala-3df5773e3a7dd5fac1d6d641b30a84c6470dab19.tar.bz2 scala-3df5773e3a7dd5fac1d6d641b30a84c6470dab19.zip | |
formatting
Diffstat (limited to '05-types.md')
| -rw-r--r-- | 05-types.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/05-types.md b/05-types.md index e544d01eb4..1049813f2e 100644 --- a/05-types.md +++ b/05-types.md @@ -302,7 +302,7 @@ definition within the refinement. This restriction does not apply to the method's result type. If no refinement is given, the empty refinement is implicitly added, -i.e.\ `$T_1$ with … with $T_n$` is a shorthand for +i.e. `$T_1$ with … with $T_n$` is a shorthand for `$T_1$ with … with $T_n$ {}`. A compound type may also consist of just a refinement @@ -348,7 +348,7 @@ a value `callsign` and a `fly` method. InfixType ::= CompoundType {id [nl] CompoundType} ``` -An infix type `$T_1$ \mathit{op} $T_2$` consists of an infix +An infix type `$T_1 \mathit{op} T_2$` consists of an infix operator $\mathit{op}$ which gets applied to two type operands $T_1$ and $T_2$. The type is equivalent to the type application `$\mathit{op}$[$T_1$, $T_2$]`. The infix operator $\mathit{op}$ may be an @@ -935,7 +935,7 @@ type $C'$, if one of the following holds. The $(<:)$ relation forms pre-order between types, -i.e.\ it is transitive and reflexive. _least upper bounds_ and +i.e. it is transitive and reflexive. _least upper bounds_ and _greatest lower bounds_ of a set of types are understood to be relative to that order. |