read, expand, conjunction

pull/21/head
Matthew Butterick 5 years ago
parent 3c97c01b62
commit 57522a1be9

@ -0,0 +1,27 @@
#lang br/quicklang
(module reader br
(provide read-syntax)
(define (read-syntax name port)
(define s-exprs (let loop ([toks null])
(define tok (read port))
(if (eof-object? tok)
(reverse toks)
(loop (cons tok toks)))))
(strip-bindings
(with-syntax ([(EXPR ...) s-exprs])
#'(module read-only-mod conjunction-demo
EXPR ...)))))
(define (convert-expr x)
(let loop ([x x])
(cond
[(list? x) (map loop x)]
[(number? x) 42]
[(string? x) "whee"]
[else 'kaboom])))
(define-macro (dsl-module-begin EXPR ...)
#'(#%module-begin
(convert-expr 'EXPR) ...))
(provide (rename-out [dsl-module-begin #%module-begin]))

@ -0,0 +1,4 @@
#lang conjunction-demo
"hello world"
(+ 1 (* 2 (- 3)))

@ -0,0 +1,14 @@
#lang br
(define (convert-expr x)
(let loop ([x x])
(cond
[(list? x) (map loop x)]
[(number? x) 42]
[(string? x) "whee"]
[else 'kaboom])))
(define-macro (dsl-module-begin EXPR ...)
#'(#%module-begin
(convert-expr 'EXPR) ...))
(provide (rename-out [dsl-module-begin #%module-begin]))

@ -0,0 +1,4 @@
#lang s-exp expand-only-demo
"hello world"
(+ 1 (* 2 (- 3)))

@ -0,0 +1,13 @@
#lang br
(module reader br
(provide read-syntax)
(define (read-syntax name port)
(define s-exprs (let loop ([toks null])
(define tok (read port))
(if (eof-object? tok)
(reverse toks)
(loop (cons tok toks)))))
(strip-bindings
(with-syntax ([(EXPR ...) s-exprs])
#'(module read-only-mod racket
EXPR ...)))))

@ -0,0 +1,4 @@
#lang read-only-demo
"hello world"
(+ 1 (* 2 (- 3)))
Loading…
Cancel
Save