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.
35 lines
827 B
Racket
35 lines
827 B
Racket
6 years ago
|
#lang br/quicklang
|
||
|
|
(require brag/support "grammar.rkt")
|
||
|
|
(provide (all-defined-out) #%module-begin)
|
||
|
|
|
||
|
|
(module+ reader
|
||
|
|
(provide read-syntax))
|
||
|
|
|
||
|
|
(define-lex-abbrev reserved-toks
|
||
|
|
(:or "fun" "(" ")" "=" "+" ","))
|
||
|
|
|
||
|
|
(define lex
|
||
|
|
(lexer
|
||
|
|
[whitespace (lex input-port)]
|
||
|
|
[reserved-toks lexeme]
|
||
|
|
[alphabetic (token 'ID (string->symbol lexeme))]
|
||
|
|
[(:+ (char-set "0123456789")) (token 'INT (string->number lexeme))]))
|
||
|
|
|
||
|
|
(define-macro top #'begin)
|
||
|
|
|
||
|
|
(define-macro (func-def ID ARGIDS EXPR)
|
||
|
|
#'(define ID (λ ARGIDS EXPR)))
|
||
|
|
|
||
|
|
(define-macro-cases expr
|
||
|
|
[(_ LEFT "+" RIGHT) #'(+ LEFT RIGHT)]
|
||
|
|
[(_ OTHER) #'OTHER])
|
||
|
|
|
||
|
|
(define-macro (func-app ID ARG ...)
|
||
|
|
#'(ID ARG ...))
|
||
|
|
|
||
|
|
(define (read-syntax src ip)
|
||
|
|
(define pt (parse (λ () (lex ip))))
|
||
|
|
(strip-context
|
||
|
|
(with-syntax ([PT pt])
|
||
|
|
#'(module mod-name simplex-demo
|
||
|
|
PT))))
|