22 lines
864 B
Racket
22 lines
864 B
Racket
#lang typed/racket
|
|
;; Compatibility functions for Racket version 6.5.
|
|
|
|
(require "typed-untyped.rkt")
|
|
(define-typed/untyped-modules #:no-test
|
|
(require (only-in racket/syntax with-disappeared-uses))
|
|
(require/typed racket/syntax
|
|
[record-disappeared-uses
|
|
;; This is the type in v. 6.5. Later versions allow
|
|
;; (U Identifier (Listof Identifier)). The wrapper below
|
|
;; generalizes that type.
|
|
(→ (Listof Identifier) Any)])
|
|
(provide with-disappeared-uses*
|
|
record-disappeared-uses*)
|
|
|
|
(define-syntax-rule (with-disappeared-uses* . body)
|
|
(with-disappeared-uses (let () . body)))
|
|
|
|
(: record-disappeared-uses* (→ (U Identifier (Listof Identifier)) Any))
|
|
(define (record-disappeared-uses* ids)
|
|
(record-disappeared-uses (if (list? ids) ids (list ids)))))
|