From aee61b7d878e11db0fa66e46f644d5d963e0075c Mon Sep 17 00:00:00 2001 From: pcarrott Date: Fri, 4 Oct 2024 13:22:42 +0100 Subject: [PATCH] hotfix listarg --- coqpyt/coq/context.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coqpyt/coq/context.py b/coqpyt/coq/context.py index 7fda3e9..3c6e181 100644 --- a/coqpyt/coq/context.py +++ b/coqpyt/coq/context.py @@ -326,7 +326,7 @@ def handle_arg_type(args, ids): return ids[0][1][1] elif args[1] == "ident": return ids[1] - elif args[0] == "ListArg": + elif args[0] == "ListArg" and len(ids) > 0: # FIXME: This recursive case works when the list is of length 1, # but it should be generalized to handle any length. return handle_arg_type(args[1], ids[0])