wingo pushed a commit to branch main
in repository guile.
commit 787e49f13734d9b77eb20b1250aa193abc22da6f
Author: Andy Wingo <wi...@pobox.com>
AuthorDate: Wed Jan 22 12:14:30 2025 +0100
Fix a check in the Tree-IL verifier
* module/language/tree-il/debug.scm (verify-tree-il): Fix
pattern-matching.
---
module/language/tree-il/debug.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/module/language/tree-il/debug.scm
b/module/language/tree-il/debug.scm
index 773b84bee..2dec39bd0 100644
--- a/module/language/tree-il/debug.scm
+++ b/module/language/tree-il/debug.scm
@@ -1,6 +1,6 @@
;;; Tree-IL verifier
-;; Copyright (C) 2011,2013,2019,2023 Free Software Foundation, Inc.
+;; Copyright (C) 2011,2013,2019,2023,2025 Free Software Foundation, Inc.
;;;; This library is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Lesser General Public
@@ -246,7 +246,7 @@
(error "unexpected tree-il" exp)))
(match (tree-il-srcv exp)
(#f #t)
- (#((or #f (? string?)) exact-integer? exact-integer?) #t)
+ (#((or #f (? string?)) (? exact-integer?) (? exact-integer?)) #t)
(src (error "bad src" src)))
;; Return it, why not.
exp))
