You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
37 lines
1.3 KiB
Racket
37 lines
1.3 KiB
Racket
3 years ago
|
#lang debug racket/base
|
||
|
|
(require racket/match
|
||
|
|
(for-syntax racket/base)
|
||
|
|
"quad.rkt")
|
||
|
|
(provide (all-defined-out))
|
||
|
|
|
||
|
|
(struct pipeline (passes)
|
||
|
|
#:constructor-name make-pipeline
|
||
|
|
#:guard (λ (procs name)
|
||
|
|
(unless ((list-of procedure?) procs)
|
||
|
|
(raise-argument-error 'bad-input-to-compiler-constructor "list of procedures" procs))
|
||
|
|
procs)
|
||
|
|
#:property prop:procedure
|
||
|
|
(λ args (apply (apply compose1 (reverse (pipeline-passes (car args)))) (cdr args))))
|
||
|
|
|
||
|
|
(define (compiler-append c passes)
|
||
|
|
(make-pipeline (append (pipeline-passes c) passes)))
|
||
|
|
|
||
|
|
(define-syntax (define-pass stx)
|
||
|
|
(syntax-case stx ()
|
||
|
|
[(_ (PASS-NAME ARG OTHER-ARG ...)
|
||
|
|
#:pre PRECOND-PROC
|
||
|
|
#:post POSTCOND-PROC
|
||
|
|
EXPRS ...)
|
||
|
|
#`(define PASS-NAME
|
||
|
|
(make-pipeline
|
||
|
|
(list
|
||
|
|
(procedure-rename
|
||
|
|
#,(syntax/loc stx
|
||
|
|
(λ (ARG OTHER-ARG ...)
|
||
|
|
(unless (PRECOND-PROC ARG)
|
||
|
|
(raise-argument-error 'PASS-NAME (format "~a" 'PRECOND-PROC) ARG))
|
||
|
|
(define res (let () EXPRS ...))
|
||
|
|
(unless (POSTCOND-PROC res)
|
||
|
|
(raise-argument-error 'PASS-NAME (format "~a" 'POSTCOND-PROC) res))
|
||
|
|
res))
|
||
|
|
'PASS-NAME))))]))
|