Skip to content

Commit b94ee42

Browse files
committed
fixed examples for names of anonymous givens
1 parent f4260b5 commit b94ee42

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

docs/docs/reference/contextual/givens.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ the implemented type(s).
5555

5656
```scala
5757
given_Ord_Int
58-
given_Ord_List_T
58+
given_Ord_List
5959
```
6060

6161
The precise rules for synthesizing names are found [here](./relationship-implicits.html#anonymous-given-instances). These rules do not guarantee absence of name conflicts between

docs/docs/reference/contextual/relationship-implicits.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ Anonymous given instances get compiler synthesized names, which are generated in
6464

6565
```scala
6666
given given_Ord_Int: Ord[Int] with { ... }
67-
given given_Ord_List_T[T](using ord: Ord[T]): Ord[List[T]] with { ... }
67+
given given_Ord_List[T](using ord: Ord[T]): Ord[List[T]] with { ... }
6868
```
6969

7070
The synthesized type names are formed from

0 commit comments

Comments
 (0)