Skip to content

Commit 7a0c31f

Browse files
committed
Fix typo
1 parent 9897d22 commit 7a0c31f

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

docs/docs/reference/match-types.md

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ This defines a type that, depending on the scrutinee type `X`, can reduce to one
1919
Elem[List[Float]] =:= Float
2020
Elem[Nil] =:= Nothing
2121
```
22-
Here `=:=` is understood to mean that left and right hand sides are mutatually subtypes of each other.
22+
Here `=:=` is understood to mean that left and right hand sides are mutually subtypes of each other.
2323

2424
In general, a match type is of the form
2525
```scala
@@ -182,6 +182,3 @@ A complete defininition of when two patterns or types overlap still needs to be
182182

183183
The last rule in particular is needed to detect non-overlaps for cases where the scrutinee and the patterns are tuples. I.e. `(Int, String)` does not overlap `(Int, Int)` since
184184
`String` does not overlap `Int`.
185-
186-
187-

0 commit comments

Comments
 (0)