suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix keyword arguments mismatch in traces and traces/ps

Browse Source 
closes PR 14640
This commit is contained in:
Robby Findler 2014-07-15 18:36:59 -05:00
parent 7d9f8d5eb3
commit 27ebbec5f2
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
View File

@ -2371,8 +2371,8 @@ exploring reduction sequences.
[#:racket-colors? racket-colors? boolean? #t] [#:racket-colors? racket-colors? boolean? #t]
[#:scheme-colors? scheme-colors? boolean? racket-colors?] [#:scheme-colors? scheme-colors? boolean? racket-colors?]
[#:filter term-filter (-> any/c (or/c #f string?) any/c) (λ (x y) #t)] [#:filter term-filter (-> any/c (or/c #f string?) any/c) (λ (x y) #t)]
[#:x-spacing x-spacing number? 15] [#:x-spacing x-spacing real? 15]
[#:y-spacing y-spacing number? 15] [#:y-spacing y-spacing real? 15]
[#:layout layout (-> (listof term-node?) void?) void] [#:layout layout (-> (listof term-node?) void?) void]
[#:edge-labels? edge-labels? boolean? #t] [#:edge-labels? edge-labels? boolean? #t]
[#:edge-label-font edge-label-font (or/c #f (is-a?/c font%)) #f] [#:edge-label-font edge-label-font (or/c #f (is-a?/c font%)) #f]
@ -2454,7 +2454,7 @@ The @racket[term-filter] function is called each time a new node is
about to be inserted into the graph. If the filter returns false, the about to be inserted into the graph. If the filter returns false, the
node is not inserted into the graph. node is not inserted into the graph.
The @racket[x-spacing] and @racket[y-spacing] control the amount of The @racket[x-spacing] and @racket[y-spacing] arguments control the amount of
space put between the snips in the default layout. space put between the snips in the default layout.
The @racket[layout] argument is called (with all of the terms) when The @racket[layout] argument is called (with all of the terms) when

4
pkgs/redex-pkgs/redex-gui-lib/redex/gui.rkt
View File

@ -43,6 +43,8 @@
#:edge-label-font (or/c #f (is-a?/c font%)) #:edge-label-font (or/c #f (is-a?/c font%))
#:edge-labels? boolean? #:edge-labels? boolean?
#:filter (-> any/c (or/c #f string?) any/c) #:filter (-> any/c (or/c #f string?) any/c)
#:x-spacing real?
#:y-spacing real?
#:graph-pasteboard-mixin (make-mixin-contract graph-pasteboard<%>) #:graph-pasteboard-mixin (make-mixin-contract graph-pasteboard<%>)
#:reduce (-> reduction-relation? any/c #:reduce (-> reduction-relation? any/c
(listof (list/c (or/c false/c string?) any/c)))) (listof (list/c (or/c false/c string?) any/c))))
@ -62,6 +64,8 @@
#:edge-label-font (or/c #f (is-a?/c font%)) #:edge-label-font (or/c #f (is-a?/c font%))
#:edge-labels? boolean? #:edge-labels? boolean?
#:filter (-> any/c (or/c #f string?) any/c) #:filter (-> any/c (or/c #f string?) any/c)
#:x-spacing real?
#:y-spacing real?
#:graph-pasteboard-mixin (make-mixin-contract graph-pasteboard<%>) #:graph-pasteboard-mixin (make-mixin-contract graph-pasteboard<%>)
#:reduce (-> reduction-relation? any/c #:reduce (-> reduction-relation? any/c
(listof (list/c (or/c false/c string?) any/c))) (listof (list/c (or/c false/c string?) any/c)))