|
|
|
@ -2,9 +2,9 @@
|
|
|
|
(require "tokenizer.rkt" "parser.rkt")
|
|
|
|
(require "tokenizer.rkt" "parser.rkt")
|
|
|
|
|
|
|
|
|
|
|
|
(define/contract (read-syntax path port)
|
|
|
|
(define/contract (read-syntax path port)
|
|
|
|
(path? input-port? . -> . syntax?)
|
|
|
|
(any/c input-port? . -> . syntax?)
|
|
|
|
(define parse-tree (parse path (tokenize port)))
|
|
|
|
(define parse-tree (parse path (tokenize port)))
|
|
|
|
(define module-datum `(module jsonic-module jsonic/expander
|
|
|
|
(define module-datum `(module jsonic-module br/demo/jsonic-2/expander
|
|
|
|
,parse-tree))
|
|
|
|
,parse-tree))
|
|
|
|
(datum->syntax #f module-datum))
|
|
|
|
(datum->syntax #f module-datum))
|
|
|
|
(provide read-syntax)
|
|
|
|
(provide read-syntax)
|
