diff --git a/typed-racket-compatibility/info.rkt b/typed-racket-compatibility/info.rkt index 9bf31840..18ba31f6 100644 --- a/typed-racket-compatibility/info.rkt +++ b/typed-racket-compatibility/info.rkt @@ -11,4 +11,4 @@ (define pkg-authors '(samth stamourv)) -(define version "1.3") +(define version "1.5") diff --git a/typed-racket-doc/info.rkt b/typed-racket-doc/info.rkt index d9e0b41e..7cfbae52 100644 --- a/typed-racket-doc/info.rkt +++ b/typed-racket-doc/info.rkt @@ -12,7 +12,7 @@ "at-exp-lib" ("scribble-lib" #:version "1.16") "pict-lib" - ("typed-racket-lib" #:version "1.3") + ("typed-racket-lib" #:version "1.5") "typed-racket-compatibility" "typed-racket-more" "racket-doc" @@ -24,4 +24,4 @@ (define pkg-authors '(samth stamourv)) -(define version "1.3") +(define version "1.5") diff --git a/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl index b05023ea..0dd35fb6 100644 --- a/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl @@ -173,6 +173,7 @@ and the @racket[URL] and @racket[Path/Param] types from @defmodule/incl[typed/racket/date] @defmodule/incl[typed/racket/draw] @defmodule/incl[typed/racket/gui] +@defmodule[typed/racket/random #:no-declare @history[#:added "1.5"]] @defmodule/incl[typed/racket/sandbox] @defmodule/incl[typed/racket/snip] @defmodule/incl[typed/racket/system] diff --git a/typed-racket-lib/info.rkt b/typed-racket-lib/info.rkt index 049ddba6..74aa5b8a 100644 --- a/typed-racket-lib/info.rkt +++ b/typed-racket-lib/info.rkt @@ -12,4 +12,4 @@ (define pkg-authors '(samth stamourv)) -(define version "1.4") +(define version "1.5") diff --git a/typed-racket-more/info.rkt b/typed-racket-more/info.rkt index 0c2d48cb..7888d797 100644 --- a/typed-racket-more/info.rkt +++ b/typed-racket-more/info.rkt @@ -20,4 +20,4 @@ (define pkg-authors '(samth stamourv)) -(define version "1.3") +(define version "1.5") diff --git a/typed-racket-more/typed/racket/random.rkt b/typed-racket-more/typed/racket/random.rkt new file mode 100644 index 00000000..6477b911 --- /dev/null +++ b/typed-racket-more/typed/racket/random.rkt @@ -0,0 +1,21 @@ +#lang typed/racket/base + +;; Provides base types for racket/random + +(require typed/racket/unsafe) + +(unsafe-require/typed + racket/random + [crypto-random-bytes (-> Integer Bytes)] + [random-ref + (All (X) + (->* [(Sequenceof X)] [Pseudo-Random-Generator] X))] + [random-sample + (All (X) + (->* [(Sequenceof X) Integer] + [Pseudo-Random-Generator #:replacement? Any] + (Listof X)))]) + +(unsafe-provide crypto-random-bytes + random-ref + random-sample) diff --git a/typed-racket-test/info.rkt b/typed-racket-test/info.rkt index f410d9d8..ad5ff911 100644 --- a/typed-racket-test/info.rkt +++ b/typed-racket-test/info.rkt @@ -29,7 +29,7 @@ (define pkg-authors '(samth stamourv endobson asumu)) -(define version "1.3") +(define version "1.5") ;; Collection info diff --git a/typed-racket/info.rkt b/typed-racket/info.rkt index 56c035f9..fe344130 100644 --- a/typed-racket/info.rkt +++ b/typed-racket/info.rkt @@ -11,4 +11,4 @@ (define pkg-authors '(samth stamourv)) -(define version "1.3") +(define version "1.5")