From 4c1082fd064a89d990c65867badc62be65d34a9d Mon Sep 17 00:00:00 2001 From: Julien Jean Paul Sirocchi Date: Wed, 8 Apr 2020 22:10:58 +0100 Subject: [PATCH] Fix link to synthetized given names --- docs/docs/reference/contextual/givens.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/contextual/givens.md b/docs/docs/reference/contextual/givens.md index 000681379ab4..11d996d5b45d 100644 --- a/docs/docs/reference/contextual/givens.md +++ b/docs/docs/reference/contextual/givens.md @@ -53,7 +53,7 @@ the implemented type(s). given_Ord_Int given_Ord_List_T ``` -The precise rules for synthesizing names are found in [./relationship-implicit.html]. These rules do not guarantee absence of name conflicts between +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 given instances of types that are "too similar". To avoid conflicts one can use named instances.