From fc74af114f435c040ff1e7e335acfd1a41730b0f Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 19 Nov 2018 21:48:33 -0800 Subject: [PATCH] mod name --- pollen/core.rkt | 3 ++- pollen/setup.rkt | 2 +- pollen/top.rkt | 10 +++++----- 3 files changed, 8 insertions(+), 7 deletions(-) diff --git a/pollen/core.rkt b/pollen/core.rkt index beed70f..e67d426 100644 --- a/pollen/core.rkt +++ b/pollen/core.rkt @@ -20,7 +20,8 @@ ;; if `define-meta` is defined it will pop an error msg if the wrong number of args ;; even though this error will happen after macro expansion, when metas are extracted ;; empty string will merge with surroundings -(define+provide (define-meta k v) "") +(provide define-meta) +(define-syntax-rule (define-meta k v) "") (define+provide current-metas (make-parameter #f)) diff --git a/pollen/setup.rkt b/pollen/setup.rkt index 8f28bd4..3cbc6d2 100644 --- a/pollen/setup.rkt +++ b/pollen/setup.rkt @@ -134,4 +134,4 @@ (define-settable index-pages '("index.html")) -(define-settable racket-style-top #f) \ No newline at end of file +(define-settable allow-unbound-ids #true) \ No newline at end of file diff --git a/pollen/top.rkt b/pollen/top.rkt index 3aab6c8..c97a03d 100644 --- a/pollen/top.rkt +++ b/pollen/top.rkt @@ -5,12 +5,12 @@ (define-syntax (top~ stx) (syntax-case stx () [(_ . ID) - (setup:racket-style-top) - #'(#%top . ID)] + (setup:allow-unbound-ids) + #'(#%app make-default-tag-function 'ID)] [(_ . ID) - #'(#%app make-default-tag-function 'ID)])) + #'(def/c ID)])) (define-syntax (def/c stx) (syntax-case stx () - [(_ X) (identifier-binding #'X) #'X] - [(_ X) #'(#%top . X)])) \ No newline at end of file + [(_ ID) (identifier-binding #'ID) #'ID] + [(_ ID) #'(#%top . ID)])) \ No newline at end of file