From d0968f87e6260cec6a49bb398deb7664757404d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonathan=20Brachth=C3=A4user?= Date: Fri, 8 Jan 2021 12:36:28 +0100 Subject: [PATCH] Update broken link to contextual abstractions in SIP minutes PR https://github.com/lampepfl/dotty/pull/11016 removed some old pages, which broke the CI of docs.scala-lang.org --- _sips/minutes/2019-03-13-sip-minutes.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_sips/minutes/2019-03-13-sip-minutes.md b/_sips/minutes/2019-03-13-sip-minutes.md index 91924f4bc5..7668b77208 100644 --- a/_sips/minutes/2019-03-13-sip-minutes.md +++ b/_sips/minutes/2019-03-13-sip-minutes.md @@ -346,7 +346,7 @@ Seb: there are two widely different things in this proposal that are mixed toget Martin: avoiding the word implicit was something of an exercise, to avoid confusing the old system and new system in the minds of people who know the old system. In the long run, it might be better to just go ahead and talk about "implicits". -Seth: how will we teach this from scratch? Martin: pages like [https://dotty.epfl.ch/docs/reference/contextual/instance-defs.html](https://dotty.epfl.ch/docs/reference/contextual/instance-defs.html) actually are an attempt at this. +Seth: how will we teach this from scratch? Martin: pages like [https://dotty.epfl.ch/docs/reference/contextual/givens.html](https://dotty.epfl.ch/docs/reference/contextual/givens.html) actually are an attempt at this. Miles: in the `ListOrd[T]` example, it's essentially a function definition, a function from `Ord[T]` to `Ord[List[T]]`, why doesn't it look like I'm writing a function?