suzanne.soy/type-expander
1
0
Fork 0
Code Issues 8 Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed issue with λ/syntax-parse, now we can use stx in the body to refer to the whole syntax object.

Browse Source
This commit is contained in:
Georges Dupéron 2016-03-04 16:10:31 +01:00
parent 6d88845985
commit a0187b5136
1 changed files with 21 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
graph-lib/lib/low/syntax-parse.rkt
View File

@ -1,7 +1,8 @@
#lang typed/racket
(require "typed-untyped.rkt")
(define-typed/untyped-modules #:no-test
(provide define-syntax/parse
(provide stx
define-syntax/parse
λ/syntax-parse
~maybe
~lit
@ -15,8 +16,10 @@
(require syntax/parse
syntax/parse/define
syntax/parse/experimental/template
(for-syntax racket/base
racket/syntax))
(for-syntax racket/syntax
racket/stxparam)
(for-meta 2 racket/base)
racket/stxparam)
(define-syntax ~maybe
(pattern-expander
@ -51,29 +54,32 @@
#`(#,(s #'~and) name (#,(s #'~seq) (#,(s #'~literal) lit)))
#`(#,(s #'~seq) (#,(s #'~literal) lit)))]))))
(begin-for-syntax
(require (for-syntax racket/base
racket/stxparam)
racket/stxparam)
(module m-stx-identifier racket
(require racket/stxparam)
(provide stx)
(define-syntax-parameter stx
(lambda (stx)
(raise-syntax-error (syntax-e stx)
"Can only be used in define-syntax/parse"))))
(lambda (call-stx)
(raise-syntax-error
(syntax-e call-stx)
"Can only be used in define-syntax/parse or λ/syntax-parse"
call-stx))))
(require 'm-stx-identifier
(for-syntax 'm-stx-identifier))
(define-simple-macro (define-syntax/parse (name . args) body0 . body)
(define-syntax (name stx2)
(syntax-parameterize ([stx (make-rename-transformer #'stx2)])
(syntax-parse stx2
[(_ . args) body0 . body]))))
(syntax-parse stx2
[(_ . args) body0 . body]))))
(define-simple-macro (λ/syntax-parse args . body)
(λ (stx2)
;(syntax-parameterize ([stx (make-rename-transformer #'stx2)])
(syntax-parse stx2
[args . body])))
(syntax-parameterize ([stx (make-rename-transformer #'stx2)])
(syntax-parse stx2
[args . body]))))
;; λstx
(begin