From 68afbcd915c5f6e17f4d1347c6a784c9b1639b13 Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Wed, 21 Feb 2018 11:25:42 +0100 Subject: [PATCH] Update unused parameter doc --- docs/docs/reference/unused-terms.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/unused-terms.md b/docs/docs/reference/unused-terms.md index 12c0c597bd81..324628758e9f 100644 --- a/docs/docs/reference/unused-terms.md +++ b/docs/docs/reference/unused-terms.md @@ -34,7 +34,7 @@ m.turnedOn.turnedOn // ERROR Note that in the code above the actual implicit arguments for `IsOff` are never used at runtime; they serve only to establish the right constraints at compile time. As these parameters are never used at runtime there is not real need to have them around, but they still need to be -present at runtime to be able to do separate compilation and retain binary compatiblity. +present in some form in the generated code to be able to do separate compilation and retain binary compatiblity. How to define unused parameter? -------------------------------