From 722049498f910d7415024db3b2a9931c8beb7349 Mon Sep 17 00:00:00 2001 From: "Felix S. Klock II" Date: Wed, 5 Aug 2015 20:29:01 +0200 Subject: [PATCH] add link to the relevant parametricity-insufficient bit --- text/0000-nonparametric-dropck.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/0000-nonparametric-dropck.md b/text/0000-nonparametric-dropck.md index a231bac4570..49fb5419081 100644 --- a/text/0000-nonparametric-dropck.md +++ b/text/0000-nonparametric-dropck.md @@ -445,7 +445,7 @@ parametric destructors, as we will see. (Also, if we go down this path, we will need to fix other bugs in the Drop Check rule, where, as previously noted, parametricity is a -necessary but *insufficient* condition for soundness.) +[necessary but *insufficient* condition][parametricity-insufficient] for soundness.) ### Parametricity via effect-system attributes