From 39069ed981ac4a043b0b51a96457b95147b21515 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 22 Feb 2008 20:24:15 +0000 Subject: [PATCH] fix xref-binding-definition->tag checking svn: r8765 original commit: 46f6deeae99500a7d0e17fcbc7881b10a01f7e4d --- collects/scribble/xref.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribble/xref.ss b/collects/scribble/xref.ss index d773cfca..1730aaf9 100644 --- a/collects/scribble/xref.ss +++ b/collects/scribble/xref.ss @@ -89,7 +89,7 @@ [(identifier? id/binding) (search id/binding)] [(and (list? id/binding) - (= 6 (length id/binding))) + (= 7 (length id/binding))) (search id/binding)] [(and (list? id/binding) (= 2 (length id/binding))) @@ -115,7 +115,7 @@ "list starting with module path, resolved module path, module path index, path, or string" src)]))] [else (raise-type-error 'xref-binding-definition->tag - "identifier, 2-element list, or 6-element list" + "identifier, 2-element list, or 7-element list" id/binding)]))])) (define (xref-binding->definition-tag xrefs id/binding mode)