From a3aea614c7ed2101c78eb3a390bb64df1aae0b6e Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 26 Apr 2005 19:31:18 +0000
Subject: [PATCH] .

original commit: aaa6d3c2f3b231ae2db51cffa5337604bc6d82a2
---
 collects/mzlib/port.ss | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/collects/mzlib/port.ss b/collects/mzlib/port.ss
index 63f751e..1c705cf 100644
--- a/collects/mzlib/port.ss
+++ b/collects/mzlib/port.ss
@@ -8,6 +8,7 @@
 	   make-pipe-with-specials
 	   make-input-port/read-to-peek
 	   peeking-input-port
+	   relocate-input-port
 	   merge-input
 	   copy-port
 	   input-port-append
@@ -466,6 +467,41 @@
 	 (peek-bytes-avail!* s (+ delta skip) #f orig-in))
        void)))
 
+  (define relocate-input-port
+    (lambda (p line col pos)
+      (let-values ([(init-l init-c init-p) (port-next-location p)])
+	(make-input-port
+	 (object-name p)
+	 (lambda (s) (let ([v (read-bytes-avail!* s p)])
+		       (if (eq? v 0)
+			   (wrap-evt p (lambda (x) 0))
+			   v)))
+	 (lambda (s skip evt) 
+	   (let ([v (peek-bytes-avail!* s skip evt p)])
+	     (if (eq? v 0)
+		 (choice-evt
+		  (wrap-evt p (lambda (x) 0))
+		  (if evt
+		      (wrap-evt evt (lambda (x) #f))
+		      never-evt))
+		 v)))
+	 (lambda ()
+	   (close-input-port p))
+	 (and (port-provides-progress-evts? p)
+	      (lambda ()
+		(port-progress-evt p)))
+	 (and (port-provides-progress-evts? p)
+	      (lambda (n evt target-evt)
+		(port-commit-peeked n evt target-evt p)))
+	 (lambda ()
+	   (let-values ([(l c p) (port-next-location p)])
+	     (values (and l (+ l (- init-l) line))
+		     (and c (if (eq? l 1)
+				(+ c (- init-c) col)
+				c))
+		     (and p (+ p (- init-p) pos)))))
+	 pos))))
+
   ;; Not kill-safe.
   (define make-pipe-with-specials
     ;; This implementation of pipes is almost CML-style, with a manager thread