04835b5339
Because pkgs.racket-lang doesn't seem to accept paths like .../repo.git#branch?tag So I'm trying to remove the ?tag
48 lines
833 B
Racket
48 lines
833 B
Racket
#lang typed/racket/base
|
|
|
|
(provide
|
|
set!
|
|
(all-from-out racket/vector)
|
|
|
|
define-vector:
|
|
let-vector:
|
|
vector-length:
|
|
vector-ref:
|
|
vector-set!:
|
|
vector-map:
|
|
vector-map!:
|
|
vector-append:
|
|
vector->list:
|
|
vector->immutable-vector:
|
|
vector-fill!:
|
|
vector-take:
|
|
vector-take-right:
|
|
vector-drop:
|
|
vector-drop-right:
|
|
; vector-split-at:
|
|
; vector-split-at-right:
|
|
)
|
|
|
|
;; -----------------------------------------------------------------------------
|
|
|
|
(require
|
|
racket/vector
|
|
trivial/private/set-bang
|
|
(only-in trivial/private/vector
|
|
define-vector:
|
|
let-vector:
|
|
vector-length:
|
|
vector-ref:
|
|
vector-set!:
|
|
vector-map:
|
|
vector-map!:
|
|
vector-append:
|
|
vector->list:
|
|
vector->immutable-vector:
|
|
vector-fill!:
|
|
vector-take:
|
|
vector-take-right:
|
|
vector-drop:
|
|
vector-drop-right:
|
|
))
|