diff options
Diffstat (limited to '05-types.md')
| -rw-r--r-- | 05-types.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/05-types.md b/05-types.md index 876d8eea15..29eccb970c 100644 --- a/05-types.md +++ b/05-types.md @@ -149,12 +149,13 @@ 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`, +| | | |-------------------- | --------------------------| |t | ε.type#t | |Int | scala.type#Int | |scala.Int | scala.type#Int | |data.maintable.Node | data.maintable.type#Node | -|-------------------- | --------------------------| + ### Parameterized Types |