From a89d6c82e981fec7d6e4c975e083d2b9e04467ad Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rhogenson@posteo.net>
Date: Mon, 1 May 2023 07:56:42 -0700
Subject: Rewrite most of the compiler.

This represents a major step back in terms of functionality, and amount
of code. The latter I think constitutes a major win. Next steps are to
reimplement syntax-rules, call/cc, and call-with-values.
---
 lib/csc/match.csc | 80 -------------------------------------------------------
 1 file changed, 80 deletions(-)
 delete mode 100644 lib/csc/match.csc

(limited to 'lib/csc/match.csc')

diff --git a/lib/csc/match.csc b/lib/csc/match.csc
deleted file mode 100644
index 4db0d07..0000000
--- a/lib/csc/match.csc
+++ /dev/null
@@ -1,80 +0,0 @@
-(define-library (csc match)
-  (export
-    define-match-record-type
-    match)
-  (import (scheme base))
-  (begin
-
-
-    (define-record-type <no-match>
-      (make-no-match)
-      no-match?)
-
-
-    (define *no-match* (make-no-match))
-
-
-    (define-syntax define-match-record-type
-      (syntax-rules ()
-        ((define-match-record-type name constructor predicate matcher (field-name* field-getter*) ...)
-          (begin
-            (define-record-type name
-              constructor
-              predicate
-              (field-name* field-getter*) ...)
-            (define (matcher x)
-              (unless (predicate x)
-                (raise *no-match*))
-              (list (cons '!type 'name) (cons 'field-name* (field-getter* x)) ...))))))
-
-
-    (define-syntax match-pattern
-      (syntax-rules (% _ quote when)
-        ((match-pattern x pattern when condition result result* ...)
-          (match-pattern x pattern
-            (unless condition
-              (raise *no-match*))
-            result result* ...))
-        ((match-pattern x _ result result* ...)
-          (let () result result* ...))
-        ((match-pattern x (quote constant) result result* ...)
-          (let ()
-            (unless (equal? x (quote constant))
-              (raise *no-match*))
-            result result* ...))
-        ((match-pattern x (% record-matcher) result result* ...)
-          (let ()
-            (record-matcher x)
-            result result* ...))
-        ((match-pattern x (% record-matcher . patterns) result result* ...)
-          (let ((x* (record-matcher x)))
-            (match-pattern (map cdr (cdr x*)) patterns result result* ...)))
-        ((match-pattern x () result* ...)
-          (syntax-error "Unexpected pattern (). Use '() to match nil."))
-        ((match-pattern x (pattern) result result* ...)
-          (let ((y x))
-            (unless (and (pair? y)
-                         (null? (cdr y)))
-              (raise *no-match*))
-            (match-pattern (car y) pattern result result* ...)))
-        ((match-pattern x (pattern . rest) result result* ...)
-          (let ((y x))
-            (unless (pair? y)
-              (raise *no-match*))
-            (match-pattern (car y) pattern
-              (match-pattern (cdr y) rest result result* ...))))
-        ((match-pattern x identifier result result* ...)
-          (let ((identifier x))
-            result result* ...))))
-
-
-    (define-syntax match
-      (syntax-rules ()
-        ((match x (arm ...))
-         (guard (e ((no-match? e) (if #f #f)))
-           (match-pattern x arm ...)))
-        ((match x (arm ...) clause clause* ...)
-         (let ((y x))
-           (guard (e ((no-match? e)
-                      (match y clause clause* ...)))
-             (match-pattern y arm ...))))))))
-- 
cgit v1.3.1