test/define-pass.rkt

@@ -4,7 +4,6 @@
   trivial/format
   trivial/function
   trivial/math
-  trivial/list
   trivial/regexp
   trivial/vector)
 
@@ -52,15 +51,4 @@
         (define/public (yolo)
           (new f%))))
     (check-false (not (new f%))))
-
+)
-  
-  ;; let*
-  (let*: ([v (list 1 2 3)]
-          [w v]
-          [k 42])
-    (ann (length: w) 3))
-
-  ;; let with different kinds of bindings
-  (let: ([v (list 1 2 3)]
-         [k 42])
-    (ann (length: v) 3)))

trivial/define.rkt

@@ -1,9 +1,7 @@
 #lang typed/racket/base
 
 (provide
-  define:
+  define: let:
-  (rename-out [let:: let:])
-  let*:
   (all-from-out trivial/private/set-bang)
 )
 
@@ -49,23 +47,3 @@
         (lst-let stx)
         (rx-let stx)
         (vec-let stx)))))
-
-(define-syntax (let*: stx)
-  (syntax-case stx ()
-    [(_ ([v b]) . body)
-     #'(let: ([v b])
-         . body)]
-    [(_ ([v b] [vv bb] ...) . body)
-     #'(let: ([v b])
-         (let*: ([vv bb] ...)
-           . body))]))
-
-(define-syntax (let:: stx)
-  (syntax-case stx ()
-    [(_ ([v b]) . body)
-     #'(let: ([v b])
-         . body)]
-    [(_ ([v b] [vv bb] ...) . body)
-     #'(let: ([tmp b])
-         (let*: ([vv bb] ...)
-           (let: ([v tmp]) . body)))]))

trivial/define/no-colon.rkt

@@ -1,4 +1,4 @@
 #lang typed/racket/base
 
-(provide (rename-out [define: define] [let: let] [let*: let*]))
+(provide (rename-out [define: define] [let: let]))
 (require trivial/define)