diff --git a/format/no-colon.rkt b/format/no-colon.rkt new file mode 100644 index 0000000..bda290b --- /dev/null +++ b/format/no-colon.rkt @@ -0,0 +1,7 @@ +#lang typed/racket/base + +(provide (all-from-out trivial/format)) + +(require (rename-in trivial/format + [format: format] + [printf: printf])) diff --git a/math/no-colon.rkt b/math/no-colon.rkt new file mode 100644 index 0000000..fba3512 --- /dev/null +++ b/math/no-colon.rkt @@ -0,0 +1,9 @@ +#lang typed/racket/base + +(provide (all-from-out trivial/math)) + +(require (rename-in trivial/math + [+: +] + [-: -] + [*: *] + [/: /])) diff --git a/no-colon.rkt b/no-colon.rkt index 22018c2..d0392c9 100644 --- a/no-colon.rkt +++ b/no-colon.rkt @@ -3,28 +3,12 @@ ;; Provides the same bindings as `trivial/main`, ;; but without the trailing colon. -(provide (all-from-out trivial)) +(provide + (all-from-out trivial/format/no-colon) + (all-from-out trivial/math/no-colon) + (all-from-out trivial/regexp/no-colon)) (require - (rename-in trivial - ;; -- from `format.rkt` - [format: format] - [printf: printf] - - ;; -- from `regexp.rkt` - [regexp-match: regexp-match] - [regexp: regexp] - [pregexp: pregexp] - [byte-regexp: byte-regexp] - [byte-pregexp: byte-pregexp] - [define-regexp: define-regexp] - [define-pregexp: define-pregexp] - [define-byte-regexp: define-byte-regexp] - [define-byte-pregexp: define-byte-pregexp] - - ;; -- from `math.rkt` - [+: +] - [-: -] - [*: *] - [/: /] -)) + trivial/format/no-colon + trivial/math/no-colon + trivial/regexp/no-colon) diff --git a/regexp/no-colon.rkt b/regexp/no-colon.rkt new file mode 100644 index 0000000..b0bdfe5 --- /dev/null +++ b/regexp/no-colon.rkt @@ -0,0 +1,14 @@ +#lang typed/racket/base + +(provide (all-from-out trivial/regexp)) + +(require (rename-in trivial/regexp + [regexp-match: regexp-match] + [regexp: regexp] + [pregexp: pregexp] + [byte-regexp: byte-regexp] + [byte-pregexp: byte-pregexp] + [define-regexp: define-regexp] + [define-pregexp: define-pregexp] + [define-byte-regexp: define-byte-regexp] + [define-byte-pregexp: define-byte-pregexp]))