Skip to content

Commit

Permalink
Fix URL markup syntax
Browse files Browse the repository at this point in the history
  • Loading branch information
nicolasstucki authored and julienrf committed May 11, 2023
1 parent 47dcf88 commit 4e0c2a7
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions content/quote-pattern-type-variable-syntax.md
Original file line number Diff line number Diff line change
Expand Up @@ -59,11 +59,11 @@ We want to be able to set the bounds of type variables to be able to match again
```scala
case '[ head *: tail ] => h[tail]
```
See https://github.com/lampepfl/dotty/issues/11738.
See [https://github.com/lampepfl/dotty/issues/11738](https://github.com/lampepfl/dotty/issues/11738).

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

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

## Related work

* Proof of concept of type variable syntax: https://github.com/lampepfl/dotty/pull/16910
* Proof of concept of backticks (only interested in the first bullet point): https://github.com/lampepfl/dotty/pull/16935
* Proof of concept of type variable syntax: [https://github.com/lampepfl/dotty/pull/16910](https://github.com/lampepfl/dotty/pull/16910)
* 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)

<!-- ## FAQ -->

0 comments on commit 4e0c2a7

Please sign in to comment.