suzanne.soy/phc-graph
1
0
Fork 0
Code Issues 24 Pull Requests Actions Packages Projects Releases Wiki Activity

Cleanup

Browse Source
This commit is contained in:
Georges Dupéron 2016-11-05 02:55:12 +01:00
parent f36c90a27b
commit 75703ac933
1 changed files with 10 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
traversal.hl.rkt
View File

@ -133,15 +133,13 @@ not expressed syntactically using the @racket[Foo] identifier.
[get-τ-cache (make-mutable-free-id-tree-table)] [get-τ-cache (make-mutable-free-id-tree-table)]
[get-f-defs (box '())] [get-f-defs (box '())]
[get-τ-defs (box '())]) [get-τ-defs (box '())])
(displayln (list 'context= (syntax-local-context)))
(define/with-syntax thunk-result (thunk)) (define/with-syntax thunk-result (thunk))
(with-syntax ([([f-id f-body f-type] …) (unbox (get-f-defs))] (with-syntax ([([f-id f-body f-type] …) (unbox (get-f-defs))]
[([τ-id . τ-body] …) (unbox (get-τ-defs))]) [([τ-id . τ-body] …) (unbox (get-τ-defs))])
((λ (x) (displayln x) x)
#`(begin (define-type τ-id τ-body) … #`(begin (define-type τ-id τ-body) …
(: f-id f-type) … (: f-id f-type) …
(define f-id f-body) … (define f-id f-body) …
thunk-result)))))] thunk-result))))]
@;@subsection{…} @;@subsection{…}
@ -307,11 +305,10 @@ not expressed syntactically using the @racket[Foo] identifier.
@CHUNK[<f-cases> @CHUNK[<f-cases>
[(U _Xⱼ …) [(U _Xⱼ …)
((λ (x) (displayln x) x)
#'(dispatch-union v #'(dispatch-union v
([_type-to-replaceᵢ Aᵢ _predicateᵢ] …) ([_type-to-replaceᵢ Aᵢ _predicateᵢ] …)
[_Xⱼ ((replace-in-instance _Xⱼ . rec-args) v acc)] [_Xⱼ ((replace-in-instance _Xⱼ . rec-args) v acc)]
…))]] …)]]
@CHUNK[<type-cases> @CHUNK[<type-cases>
[(tagged _name [_fieldⱼ (~optional :colon) _Xⱼ] …) [(tagged _name [_fieldⱼ (~optional :colon) _Xⱼ] …)
@ -386,12 +383,10 @@ where @racket[foldl-map] is defined as:
racket/syntax racket/syntax
type-expander/expander type-expander/expander
"free-identifier-tree-equal.rkt" "free-identifier-tree-equal.rkt"
racket/dict racket/dict)
racket/pretty)
(for-meta 2 racket/base) (for-meta 2 racket/base)
(for-meta 2 phc-toolkit/untyped) (for-meta 2 phc-toolkit/untyped)
(for-meta 2 syntax/parse) (for-meta 2 syntax/parse))
racket/pretty)
(provide define-fold (provide define-fold
(for-syntax replace-in-instance) (for-syntax replace-in-instance)