From fa80c79650a31377f518a4a785693c8683e4dc0f Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Wed, 23 Oct 2019 10:33:50 -0400 Subject: [PATCH] doc/hacking.texi (Nominal Typing)[isPositiveInteger]: Fix arg name --- doc/hacking.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/hacking.texi b/doc/hacking.texi index 226899d..b445e10 100644 --- a/doc/hacking.texi +++ b/doc/hacking.texi @@ -446,7 +446,7 @@ This can be done using @verbatim type PositiveInteger = NominalType; -const isPositiveInteger = ( x: number ): n is PositiveInteger => n > 0; +const isPositiveInteger = ( n: number ): n is PositiveInteger => n > 0; const lookupIndex( arr: T[], i: PositiveInteger ): T => arr[ i ];