From e2bd6eb9d206d08026902c3a1e48dd78fcd10d1d Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Sun, 9 Jun 2019 14:49:50 +0200 Subject: [PATCH] Fix example of type Nil.type --- docs/docs/reference/new-types/match-types.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/new-types/match-types.md b/docs/docs/reference/new-types/match-types.md index 235bc0f5c346..8c6e0bb60123 100644 --- a/docs/docs/reference/new-types/match-types.md +++ b/docs/docs/reference/new-types/match-types.md @@ -17,7 +17,7 @@ This defines a type that, depending on the scrutinee type `X`, can reduce to one Elem[String] =:= Char Elem[Array[Int]] =:= Int Elem[List[Float]] =:= Float - Elem[Nil] =:= Nothing + Elem[Nil.type] =:= Nothing ``` Here `=:=` is understood to mean that left and right hand sides are mutually subtypes of each other.