From a931b58dd97de1b1cd0f9fabd410d0cf6182a28a Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Fri, 22 May 2026 15:43:41 +0200 Subject: [PATCH] of by one error when counting terms of type Ints n --- src/compiler/api/GF/Grammar/Lookup.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/api/GF/Grammar/Lookup.hs b/src/compiler/api/GF/Grammar/Lookup.hs index a95471b56..09c5ac53b 100644 --- a/src/compiler/api/GF/Grammar/Lookup.hs +++ b/src/compiler/api/GF/Grammar/Lookup.hs @@ -207,7 +207,7 @@ allParamValues gr ptyp = countParamValues :: ErrorMonad m => Grammar -> Type -> m Int countParamValues gr ptyp = case ptyp of - _ | Just n <- isTypeInts ptyp -> return (fromIntegral n) + _ | Just n <- isTypeInts ptyp -> return (fromIntegral n+1) QC c -> do (_,info) <- lookupOrigInfo gr c case info of ResParam _ (Just (_,cnt)) -> return cnt