Renaming
Updated names
This commit is contained in:
parent
0383c6bc49
commit
61181270f3
6
.gitignore
vendored
6
.gitignore
vendored
|
@ -1,2 +1,6 @@
|
|||
compiled/*
|
||||
*.bak
|
||||
*.bak
|
||||
*.html
|
||||
*.css
|
||||
*.js
|
||||
*.2
|
|
@ -1,6 +0,0 @@
|
|||
#lang scribble/manual
|
||||
|
||||
@(require "define-with-expanders.rkt")
|
||||
|
||||
@title{Generic Syntax Expanders}
|
||||
@defmodule[generic-syntax-expanders]
|
2
info.rkt
2
info.rkt
|
@ -2,4 +2,4 @@
|
|||
|
||||
(define name "generic-syntax-expanders")
|
||||
(define deps '("base" "predicates"))
|
||||
(define scribblings '(("generic-syntax-expanders.scrbl")))
|
||||
(define scribblings '(("scribblings.scrbl")))
|
4
main.rkt
4
main.rkt
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
|
||||
(require "define-with-expanders.rkt")
|
||||
(require "generic-syntax-expanders.rkt")
|
||||
|
||||
(provide (all-from-out "define-with-expanders.rkt"))
|
||||
(provide (all-from-out "generic-syntax-expanders.rkt"))
|
18
scribblings.scrbl
Normal file
18
scribblings.scrbl
Normal file
|
@ -0,0 +1,18 @@
|
|||
#lang scribble/manual
|
||||
|
||||
@(require "generic-syntax-expanders.rkt")
|
||||
|
||||
@title{Generic Syntax Expanders}
|
||||
@defmodule[generic-syntax-expanders]
|
||||
|
||||
@defform[(define-syntax-with-expanders id transformer-expr)]{
|
||||
Defines @racket[id] as syntax, but also defines several additional bindings that allow
|
||||
for additional syntax to be defined within the body of wherever @racket[id] is used,
|
||||
in the same way @racket[define-match-expander] allows for additional syntax to be
|
||||
defined in the body of @racket[match] patterns. The bindings defined are as follows:
|
||||
@defsubform[(define-id-expander expander-id expander-transformer-expr)]{
|
||||
A syntactic form that binds @racket[expander-id] as a @racket[id-expander?], which
|
||||
will expand within the body of an @racket[id] syntactic form using
|
||||
@racket[expander-transformer-expr] before @racket[id] expands.
|
||||
}
|
||||
}
|
Loading…
Reference in New Issue
Block a user