From 1c893f6af1abe4855b113aaa86d234b248e7ccc8 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 23 Jul 2014 12:22:49 -0700 Subject: [PATCH] delete obsolete comment --- top.rkt | 3 --- 1 file changed, 3 deletions(-) diff --git a/top.rkt b/top.rkt index e2610eb..ac8a4ad 100644 --- a/top.rkt +++ b/top.rkt @@ -11,13 +11,10 @@ (provide (except-out (all-defined-out) top~) (rename-out (top~ #%top))) -;; Allow tag attributes to be specified as follows: -;; @foo['shape: "square" 'color: "red"]{hello} (define-syntax (top~ stx) (syntax-case stx () [(_ . id) #'(make-tag-function 'id)])) - (define-syntax (def/c stx) (syntax-case stx () [(_ x)