Add comment explaining the WITH-POINTER kludge.

diff --git a/v7/src/star-parser/matcher.scm b/v7/src/star-parser/matcher.scm
index 828c53c58ede5ea2b8ab3066d4b0dea7fead823a..4e93be89cb77dc41a82487b6a10d31d8e5661755 100644 (file)
--- a/v7/src/star-parser/matcher.scm
+++ b/v7/src/star-parser/matcher.scm
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;; $Id: matcher.scm,v 1.21 2001/11/09 21:38:47 cph Exp $
+;;; $Id: matcher.scm,v 1.22 2001/11/10 06:31:16 cph Exp $
 ;;;
 ;;; Copyright (c) 2001 Massachusetts Institute of Technology
 ;;;
@@ -278,6 +278,8 @@
 
 (define-matcher (with-pointer identifier expression)
   pointer
+  ;; Ignore the POINTER context.  This is a kludge that prevents the
+  ;; binding of IDENTIFIER from being discarded by the optimizer.
   `((LAMBDA (,identifier)
       ,(compile-matcher-expression expression identifier ks kf))
     ,(fetch-pointer)))

diff --git a/v7/src/star-parser/parser.scm b/v7/src/star-parser/parser.scm
index 6f4a76c68f78ca46c647afa9ac0214efaca82171..7321240d9614c07d1c08f0c047ccb5b0b74d0777 100644 (file)
--- a/v7/src/star-parser/parser.scm
+++ b/v7/src/star-parser/parser.scm
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;; $Id: parser.scm,v 1.24 2001/11/09 21:38:43 cph Exp $
+;;; $Id: parser.scm,v 1.25 2001/11/10 06:31:47 cph Exp $
 ;;;
 ;;; Copyright (c) 2001 Massachusetts Institute of Technology
 ;;;
@@ -283,6 +283,8 @@
 
 (define-parser (with-pointer identifier expression)
   pointer
+  ;; Ignore the POINTER context.  This is a kludge that prevents the
+  ;; binding of IDENTIFIER from being discarded by the optimizer.
   `((LAMBDA (,identifier)
       ,(compile-parser-expression expression identifier ks kf))
     ,(fetch-pointer)))