GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-09-12 21:36:01 -06:00
Code Issues Packages Projects Releases Wiki Activity

of by one error when counting terms of type Ints n

Browse Source
This commit is contained in:
Krasimir Angelov
2026-05-22 15:43:41 +02:00
parent 8f4403b745
commit a931b58dd9
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Grammar/Lookup.hs
+1 -1
View File
@@ -207,7 +207,7 @@ allParamValues gr ptyp =
countParamValues :: ErrorMonad m => Grammar -> Type -> m Int countParamValues :: ErrorMonad m => Grammar -> Type -> m Int
countParamValues gr ptyp = countParamValues gr ptyp =
case ptyp of 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 QC c -> do (_,info) <- lookupOrigInfo gr c
case info of case info of
ResParam _ (Just (_,cnt)) -> return cnt ResParam _ (Just (_,cnt)) -> return cnt