Skip to content

Commit e2bd6eb

Browse files
Fix example of type Nil.type
1 parent ed8c6ee commit e2bd6eb

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/docs/reference/new-types/match-types.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ This defines a type that, depending on the scrutinee type `X`, can reduce to one
1717
Elem[String] =:= Char
1818
Elem[Array[Int]] =:= Int
1919
Elem[List[Float]] =:= Float
20-
Elem[Nil] =:= Nothing
20+
Elem[Nil.type] =:= Nothing
2121
```
2222
Here `=:=` is understood to mean that left and right hand sides are mutually subtypes of each other.
2323

0 commit comments

Comments
 (0)