diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-31 10:36:13 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-31 10:36:13 -0700 |
commit | 8489be16b57a08f51bf3655c99cede52477b3022 (patch) | |
tree | 9cffca0ae62c6f642c7f5aa0951905ba6e3e5928 | |
parent | a5728ed41639c1791c2ad06a0a99295950ee49af (diff) | |
download | scala-8489be16b57a08f51bf3655c99cede52477b3022.tar.gz scala-8489be16b57a08f51bf3655c99cede52477b3022.tar.bz2 scala-8489be16b57a08f51bf3655c99cede52477b3022.zip |
Rebase #3665
-rw-r--r-- | spec/03-types.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/03-types.md b/spec/03-types.md index a1ab025abe..66ddee8b7e 100644 --- a/spec/03-types.md +++ b/spec/03-types.md @@ -155,7 +155,7 @@ Some type designators and their expansions are listed below. We assume a local type parameter $t$, a value `maintable` with a type member `Node` and the standard class `scala.Int`, -| | | +| Designator | Expansion | |-------------------- | --------------------------| |t | ε.type#t | |Int | scala.type#Int | @@ -796,11 +796,11 @@ We define two relations between types. |Name | Symbolically |Interpretation | |-----------------|----------------|-------------------------------------------------| -|Type equivalence |$T \equiv U$ |$T$ and $U$ are interchangeable in all contexts. | +|Equivalence |$T \equiv U$ |$T$ and $U$ are interchangeable in all contexts. | |Conformance |$T <: U$ |Type $T$ conforms to type $U$. | -### Type Equivalence +### Equivalence Equivalence $(\equiv)$ between types is the smallest congruence [^congruence] such that the following holds: |