mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
fix the compilation for parameters of type Ints n
This commit is contained in:
@@ -458,7 +458,7 @@ susp i env ki = EvalM $ \gr k mt r -> do
|
|||||||
return (mt,tnk:tnks)
|
return (mt,tnk:tnks)
|
||||||
|
|
||||||
bindInt gr k mt r s iv max
|
bindInt gr k mt r s iv max
|
||||||
| iv < max = do
|
| iv <= max = do
|
||||||
let v = VInt iv
|
let v = VInt iv
|
||||||
writeSTRef i (Evaluated v)
|
writeSTRef i (Evaluated v)
|
||||||
res <- case ki v of
|
res <- case ki v of
|
||||||
|
|||||||
Reference in New Issue
Block a user