Skip to content

Commit 877d0d9

Browse files
Update SIPs state
1 parent e7c5293 commit 877d0d9

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

_sips/sips/quote-pattern-type-variable-syntax.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -59,11 +59,11 @@ We want to be able to set the bounds of type variables to be able to match again
5959
```scala
6060
case '[ head *: tail ] => h[tail]
6161
```
62-
See https://github.com/lampepfl/dotty/issues/11738.
62+
See [https://github.com/lampepfl/dotty/issues/11738](https://github.com/lampepfl/dotty/issues/11738).
6363

6464
### Support matching on any kind of type
6565
We want to match against higher-kinded (or `AnyKind`) types. This is not possible due to the default upper bound of `Any`.
66-
See https://github.com/lampepfl/dotty/issues/10864.
66+
See [https://github.com/lampepfl/dotty/issues/10864](https://github.com/lampepfl/dotty/issues/10864).
6767

6868
### Support multiple references to the same type in quoted type patterns
6969
We want to be able to match using several references to the same type variable.
@@ -135,7 +135,7 @@ TASTy only contains explicit type variable definitions, and this encoding would
135135

136136
## Related work
137137

138-
* Proof of concept of type variable syntax: https://github.com/lampepfl/dotty/pull/16910
139-
* Proof of concept of backticks (only interested in the first bullet point): https://github.com/lampepfl/dotty/pull/16935
138+
* Proof of concept of type variable syntax: [https://github.com/lampepfl/dotty/pull/16910](https://github.com/lampepfl/dotty/pull/16910)
139+
* Proof of concept of backticks (only interested in the first bullet point): [https://github.com/lampepfl/dotty/pull/16935](https://github.com/lampepfl/dotty/pull/16935)
140140

141141
<!-- ## FAQ -->

0 commit comments

Comments
 (0)