2e0cc095c7
Most unit forms are supported, including most of the "infer" forms that infer imports/exports/linkages from the current context. Notably, none of the structural linking forms for units are supported, and `define-unit-binding` is also currently unsupported.
16 lines
511 B
Racket
16 lines
511 B
Racket
#lang typed-racket/minimal
|
|
|
|
(require typed/racket/base racket/require
|
|
(subtract-in racket typed/racket/base racket/contract
|
|
typed/racket/class
|
|
typed/racket/unit)
|
|
typed/racket/class
|
|
typed/racket/unit
|
|
(for-syntax racket/base))
|
|
(provide (all-from-out racket
|
|
typed/racket/base
|
|
typed/racket/class
|
|
typed/racket/unit)
|
|
(for-syntax (all-from-out racket/base))
|
|
class)
|