From: Enrico Tassi Date: Tue, 26 Aug 2014 16:20:55 +0200 Subject: Fix stack overflow in vararg functions --- src/ldo.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ldo.c b/src/ldo.c index d1bf786..30333bf 100644 --- a/src/ldo.c +++ b/src/ldo.c @@ -274,7 +274,7 @@ int luaD_precall (lua_State *L, StkId func, int nresults) { CallInfo *ci; StkId st, base; Proto *p = cl->p; - luaD_checkstack(L, p->maxstacksize); + luaD_checkstack(L, p->maxstacksize + p->numparams); func = restorestack(L, funcr); base = func + 1; '> Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
AgeCommit message (Expand)Author
2024-10-12gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e....* gnu/packages/agda.scm (agda-1lab): Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. Change-Id: I0c0b5273c13152e079f9e62daffc5c051d62ca63 Josselin Poiret
2024-10-12gnu: agda-cubical: Update to 0.7....* gnu/packages/agda.scm (agda-cubical): Update to 0.7. Change-Id: I7a0b3e711974c4d93eea6a753054803acc7e5c30 Josselin Poiret
2024-10-12gnu: agda-categories: Update to 0.2.0....* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch -> gnu/packages/patches/agda-categories-use-newer-stdlib.patch: Adapt patch. * gnu/local.mk (dist_patch_DATA): Change registered name to new name. * gnu/packages/agda.scm (agda-categories): Update to 0.2.0. Use new patch name. Change-Id: Id5d1e335fe22c2d5809116083ed72e7b9208d69e Josselin Poiret
2024-10-12gnu: agda-stdlib: Update to 2.1.13...* gnu/packages/agda.scm (agda-stdlib): Update to 2.1.1. Change-Id: I0609d67730462edf69a98315e4ef187e8a516cbf Josselin Poiret
2024-10-12gnu: agda: Update to 2.7.0.1....* gnu/packages/agda.scm (agda): Update to 2.7.0.1. Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837 Josselin Poiret
2024-08-31gnu: agda: Fix build....* gnu/packages/agda.scm (agda)[arguments]: Don't refer to nonexistent 'compile' phase. Change-Id: Ibc9aa38a31c22c9be3a3997882e62129a47938a3 宋文武