From 4102e7e623df01fa395cf9b3506aeed0d125b5ea Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 29 Oct 2018 17:12:29 -0700 Subject: [PATCH] top --- pollen/private/ts.rktd | 2 +- pollen/top.rkt | 13 ++----------- 2 files changed, 3 insertions(+), 12 deletions(-) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index 6dbe502..a887ce8 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1537996006 +1540858349 diff --git a/pollen/top.rkt b/pollen/top.rkt index 14ea5c3..cc703a6 100644 --- a/pollen/top.rkt +++ b/pollen/top.rkt @@ -2,19 +2,10 @@ (require (for-syntax racket/base) pollen/tag) (provide def/c (rename-out (top~ #%top))) -;; Changes the default behavior of #%top. -;; Unbound identifiers are allowed, and treated as the -;; tag in a txexpr (with the rest of the expression treated as the body) -;; To suppress this behavior, use def/c to wrap any name. -;; If that name isn't already defined, you'll get the usual syntax error. - (define-syntax-rule (top~ . ID) - ;; #%app shouldn't be necessary, but temp fix for Racket7 (#%app make-default-tag-function 'ID)) (define-syntax (def/c stx) (syntax-case stx () - [(_ X) - (if (identifier-binding #'X ) - #'X - #'(#%top . X))])) \ No newline at end of file + [(_ X) (identifier-binding #'X) #'X] + [(_ X) #'(#%top . X)])) \ No newline at end of file