diff --git a/remix/stx0.rkt b/remix/stx0.rkt index 9855f0d..46f30bb 100644 --- a/remix/stx0.rkt +++ b/remix/stx0.rkt @@ -17,6 +17,9 @@ #:literals (#%brackets) [(_ (#%brackets dt . _) . _) #:declare dt (static def-transformer? "def transformer") + ;; xxx maybe this interface should be thicker, because right now + ;; it can expand to anything at all. thicker would mean more + ;; composable. (def-transform (attribute dt.value) stx)] ;; xxx test this [(_ dt . body:expr) diff --git a/remix/tests/simple.rkt b/remix/tests/simple.rkt index d23586e..f9cc17c 100644 --- a/remix/tests/simple.rkt +++ b/remix/tests/simple.rkt @@ -1,10 +1,7 @@ #lang remix -;; This requires changes to Racket that are not yet pushed, but will -;; be once the release branch is made. - ;; #lang remix only contains two bindings: #%module-begin and require ;; -;; we use require to get everything else. most of it comes from stx0 +;; We use require to get everything else. most of it comes from stx0 (require remix/stx0 remix/num/gen0) (module+ test @@ -219,7 +216,8 @@ (module+ test {(flipper - 5 9 0) ≡ (- 0 5 9)}) -;; data gives us data structures and that sort of thing +;; data gives us interfaces, compound data, and data types and that +;; sort of thing (require remix/data0) ;; First, we can define static interfaces, which associate dot-terms @@ -260,4 +258,3 @@ (ee.f 2)) (module+ test {(f-using-example 1) ≡ 1}) -