suzanne.soy/tr-immutable
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
14 Commits 2 Branches 0 Tags 50 KiB
Racket 100%
da227b14ca
Go to file
Georges Dupéron da227b14ca Updated Racket versions in .travis.yml
2019-04-24 22:43:50 +02:00
private Implemented ivector, with gen:custom-write so that they display like vectors. Store the elements inside a vector, and use an impersonator to make it appear as a list. 2017-01-08 01:33:51 +01:00
scribblings Tests, doc-coverage, dependencies 2017-01-07 23:01:13 +01:00
test Implemented ivector, with gen:custom-write so that they display like vectors. Store the elements inside a vector, and use an impersonator to make it appear as a list. 2017-01-08 01:33:51 +01:00
typed-syntax A few changes to the typed syntax types 2017-01-13 00:59:18 +01:00
.gitignore Tests, doc-coverage, dependencies 2017-01-07 23:01:13 +01:00
.travis.yml Updated Racket versions in .travis.yml 2019-04-24 22:43:50 +02:00
IDEA A few changes to the typed syntax types 2017-01-13 00:59:18 +01:00
info.rkt Use only typed-map-lib, not typed-map 2017-01-13 01:17:18 +01:00
LICENSE.txt Initial commit 2017-01-07 22:26:19 +01:00
main.rkt Implemented ivector, with gen:custom-write so that they display like vectors. Store the elements inside a vector, and use an impersonator to make it appear as a list. 2017-01-08 01:33:51 +01:00
README.md Filled in README 2017-01-07 23:18:00 +01:00
typed-syntax.rkt A few changes to the typed syntax types 2017-01-13 00:59:18 +01:00

README.md

Build Status, Coverage Status, Build Stats, Online Documentation.

tr-immutable

Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket.

This library wraps vectors and boxes so that Typed/Racket recognises them as immutable. This means that (make-predicate (IVectorof Integer)) works, whereas (make-predicate (Vectorof Integer)) is rejected by current versions of Typed/Racket (due to the fact that vectors are mutable).

This should make it possible to write code operating on syntax objects (containing these immutable vectors), so that typed macros can be written.

There seem to be plans for support for immutable vectors in Typed/Racket at some point in the future. When this happens, this library will be changed to rely on the official immutable vectors.