2025-10-07 01:37:09 +08:00
|
|
|
#lang racket/base
|
2025-09-24 22:56:30 +08:00
|
|
|
(require "parser.rkt" "tokenizer.rkt")
|
2025-10-07 01:37:09 +08:00
|
|
|
(require syntax/strip-context)
|
2025-09-24 22:56:30 +08:00
|
|
|
|
|
|
|
(define (read-syntax path port)
|
2025-10-07 01:37:09 +08:00
|
|
|
(define parse-tree (parse-tkns (make-tokenizer port path)))
|
|
|
|
(strip-context
|
2025-09-24 22:56:30 +08:00
|
|
|
#`(module uahgi2-mod uahgi2/expander
|
|
|
|
#,parse-tree)))
|
|
|
|
|
|
|
|
(module+ reader
|
2025-10-07 01:37:09 +08:00
|
|
|
(provide read-syntax))
|