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.
90 lines
2.9 KiB
Racket
90 lines
2.9 KiB
Racket
(module token mzscheme
|
|
|
|
(require-for-syntax "token-syntax.rkt")
|
|
|
|
;; Defining tokens
|
|
|
|
(provide define-tokens define-empty-tokens make-token token?
|
|
(protect (rename token-name real-token-name))
|
|
(protect (rename token-value real-token-value))
|
|
(rename token-name* token-name)
|
|
(rename token-value* token-value)
|
|
(struct position (offset line col))
|
|
(struct position-token (token start-pos end-pos)))
|
|
|
|
|
|
;; A token is either
|
|
;; - symbol
|
|
;; - (make-token symbol any)
|
|
(define-struct token (name value) (make-inspector))
|
|
|
|
;; token-name*: token -> symbol
|
|
(define (token-name* t)
|
|
(cond
|
|
((symbol? t) t)
|
|
((token? t) (token-name t))
|
|
(else (raise-type-error
|
|
'token-name
|
|
"symbol or struct:token"
|
|
0
|
|
t))))
|
|
|
|
;; token-value*: token -> any
|
|
(define (token-value* t)
|
|
(cond
|
|
((symbol? t) #f)
|
|
((token? t) (token-value t))
|
|
(else (raise-type-error
|
|
'token-value
|
|
"symbol or struct:token"
|
|
0
|
|
t))))
|
|
|
|
(define-for-syntax (make-ctor-name n)
|
|
(datum->syntax-object n
|
|
(string->symbol (format "token-~a" (syntax-e n)))
|
|
n
|
|
n))
|
|
|
|
(define-for-syntax (make-define-tokens empty?)
|
|
(lambda (stx)
|
|
(syntax-case stx ()
|
|
((_ name (token ...))
|
|
(andmap identifier? (syntax->list (syntax (token ...))))
|
|
(with-syntax (((marked-token ...)
|
|
(map values #;(make-syntax-introducer)
|
|
(syntax->list (syntax (token ...))))))
|
|
(quasisyntax/loc stx
|
|
(begin
|
|
(define-syntax name
|
|
#,(if empty?
|
|
#'(make-e-terminals-def (quote-syntax (marked-token ...)))
|
|
#'(make-terminals-def (quote-syntax (marked-token ...)))))
|
|
#,@(map
|
|
(lambda (n)
|
|
(when (eq? (syntax-e n) 'error)
|
|
(raise-syntax-error
|
|
#f
|
|
"Cannot define a token named error."
|
|
stx))
|
|
(if empty?
|
|
#`(define (#,(make-ctor-name n))
|
|
'#,n)
|
|
#`(define (#,(make-ctor-name n) x)
|
|
(make-token '#,n x))))
|
|
(syntax->list (syntax (token ...))))
|
|
#;(define marked-token #f) #;...))))
|
|
((_ ...)
|
|
(raise-syntax-error
|
|
#f
|
|
"must have the form (define-tokens name (identifier ...)) or (define-empty-tokens name (identifier ...))"
|
|
stx)))))
|
|
|
|
(define-syntax define-tokens (make-define-tokens #f))
|
|
(define-syntax define-empty-tokens (make-define-tokens #t))
|
|
|
|
(define-struct position (offset line col) #f)
|
|
(define-struct position-token (token start-pos end-pos) #f)
|
|
)
|
|
|