|
|
|
@ -1,5 +1,6 @@
|
|
|
|
|
#lang br
|
|
|
|
|
#lang br/quicklang
|
|
|
|
|
(require parser-tools/lex brag/support)
|
|
|
|
|
|
|
|
|
|
(define (tokenize input-port)
|
|
|
|
|
(define (next-token)
|
|
|
|
|
(define get-token
|
|
|
|
@ -14,8 +15,6 @@
|
|
|
|
|
(require "bf-parser.rkt")
|
|
|
|
|
(define (read-syntax source-path input-port)
|
|
|
|
|
(define parse-tree (parse source-path (tokenize input-port)))
|
|
|
|
|
(strip-context
|
|
|
|
|
(inject-syntax ([#'PARSE-TREE parse-tree])
|
|
|
|
|
#'(module bf-mod br/demo/bf/bf-expander
|
|
|
|
|
PARSE-TREE))))
|
|
|
|
|
(datum->syntax #f `(module bf-mod br/demo/bf/bf-expander
|
|
|
|
|
,parse-tree)))
|
|
|
|
|
(provide read-syntax)
|
|
|
|
|