From 91d140ba063e7b35f5f39372fd25b9f1d08e3dac Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 17 Jan 2001 23:54:20 +0000
Subject: [PATCH] .

original commit: 07754849d1839309d1467b4ccbdad942f4bb600c
---
 collects/mzlib/sigmatch.ss | 133 +++++++++++++++++++++++++++++++++++++
 1 file changed, 133 insertions(+)
 create mode 100644 collects/mzlib/sigmatch.ss

diff --git a/collects/mzlib/sigmatch.ss b/collects/mzlib/sigmatch.ss
new file mode 100644
index 0000000..f710770
--- /dev/null
+++ b/collects/mzlib/sigmatch.ss
@@ -0,0 +1,133 @@
+
+(module sigmatch mzscheme
+
+  (import "unit.ss")
+
+  (define (hash-sig src-sig table)
+    (and (vector? src-sig)
+	 (andmap
+	  (lambda (s)
+	    (cond
+	     [(symbol? s)
+	      (if (hash-table-get table s (lambda () #f))
+		  #f
+		  (begin
+		    (hash-table-put! table s s)
+		    #t))]
+	     [(and (pair? s) (symbol? (car s)))
+	      (let ([name (car s)])
+		(if (hash-table-get table name (lambda () #f))
+		  #f
+		  (let ([t (make-hash-table)])
+		    (hash-table-put! table name t)
+		    (hash-sig (cdr s) t))))]
+	     [else #f]))
+	  (vector->list src-sig))))
+
+  (define (sig-path-name name path)
+    (let loop ([s (symbol->string name)]
+	       [path path])
+      (if (null? path)
+	  s
+	  (loop (format "~a:~a" s (car path))
+		(cdr path)))))
+
+  (define (check-sig-match table sig path exact? who src-context dest-context)
+    (and (vector? sig)
+	 (andmap
+	  (lambda (s)
+	    (cond
+	     [(symbol? s)
+	      (let ([v (hash-table-get table s
+				       (lambda ()
+					 (raise
+					  (make-exn:unit
+					   (format
+					    "~a: ~a is missing a value name `~a', required by ~a"
+					    who
+					    src-context
+					    (sig-path-name s path)
+					    dest-context)
+					   (current-continuation-marks)))))])
+		(and v
+		     (begin
+		       (unless (symbol? v)
+			 (let ([p (sig-path-name s path)])
+			   (raise
+			    (make-exn:unit
+			     (format
+			      "~a: ~a contains `~a' as a sub-unit name, but ~a contains `~a' as a value name"
+			      who
+			      src-context
+			      p
+			      dest-context
+			      p)
+			     (current-continuation-marks)))))
+		       (hash-table-put! table s #f)
+		       #t)))]
+	     [(and (pair? s) (symbol? (car s)))
+	      (let ([v (hash-table-get table (car s)
+				       (lambda ()
+					 (raise
+					  (make-exn:unit
+					   (format
+					    "~a: ~a is missing a sub-unit name `~a', required by ~a"
+					    who
+					    src-context
+					    (sig-path-name s path)
+					    dest-context)
+					   (current-continuation-marks)))))])
+		(and v
+		     (begin
+		       (unless (hash-table? v)
+			 (let ([p (sig-path-name (car s) path)])
+			   (raise
+			    (make-exn:unit
+			     (format
+			      "~a: ~a contains `~a' as a value name, but ~a contains `~a' as a sub-unit name"
+			      who
+			      src-context
+			      p
+			      dest-context
+			      p)
+			     (current-continuation-marks)))))
+		       (hash-table-put! table (car s) #f)
+		       (check-sig-match v (cdr s) (cons (car s) path)
+					exact? who src-context dest-context))))]
+	     [else #f]))
+	  (vector->list sig))
+	 (or (not exact?)
+	     (hash-table-for-each
+	      table
+	      (lambda (k v)
+		(when v
+		  (let ([p (sig-path-name k path)])
+		    (raise
+		     (make-exn:unit
+		      (format
+		       "~a: ~a contains an extra ~a name `~a' that is not required by ~a"
+		       who
+		       src-context
+		       (if (symbol? v) 'value 'sub-unit)
+		       p
+		       dest-context)
+		      (current-continuation-marks)))))))
+	     #t)))
+
+  (define (verify-signature-match who exact? dest-context dest-sig src-context src-sig)
+    (unless (symbol? who)
+      (raise-type-error 'verify-signature-match "symbol" who))
+    (unless (string? dest-context)
+      (raise-type-error 'verify-signature-match "string" dest-context))
+    (unless (string? src-context)
+      (raise-type-error 'verify-signature-match "string" src-context))
+
+    (let ([src-table (make-hash-table)])
+      (unless (hash-sig src-sig src-table)
+	(raise-type-error 'verify-signature-match "signature" src-sig))
+
+      (unless (check-sig-match src-table dest-sig null
+			       exact? who src-context dest-context)
+	(raise-type-error 'verify-signature-match "signature" dest-sig))))
+
+  (export verify-signature-match exn:unit?))