Ryan Culpepper
e3d2327c7c
removed useless requires
...
original commit: c7f86d276c68b12e87dc46cef4a8e1b95538f88d
2011-09-27 19:28:44 -06:00
Robby Findler
2fd831d01e
made sure that all of the mzlib/contract exports are documented
...
(some by using racket/contract exports and some by adding
more docs)
original commit: 1fdfd8406df526cacf803e037c1f69b29d916828
2011-04-25 11:54:14 -05:00
Robby Findler
0604c1fe24
added the racket/contract/combinator library,
...
and documented and adjusted these libraries:
racket/contract/base
racket/contract/exists
racket/contract/parametric (renamed from exists)
racket/contract/region
original commit: 21cbd9ad81eb35dc4d39d6063db25fcb1cc94bbc
2011-04-25 11:51:44 -05:00
Robby Findler
fb93091a62
fix up contract test suites
...
original commit: 8afeed8c663242159ac08ac043ccf860779ddd91
2011-04-16 07:55:49 -05:00
Robby Findler
e9a9f4e656
start fixing up the exports to match the docs for racket/contract
...
original commit: 2bceaec03a0547d2949c6346115b36ed2389834f
2011-04-14 15:27:27 -05:00
Robby Findler
124283c808
removed the re-providing from internal files in the contract impl.
...
original commit: b8c7a753d3e6c06190cbe3560610710c48131960
2011-03-28 23:04:36 -05:00
Stevie Strickland
6d0079b4bd
Conversion of struct/c to chaperones when appropriate.
...
original commit: 10eb818f953a4160b7f3c91193739f1451bf192c
2010-12-07 04:11:26 -05:00
Stevie Strickland
a4087991e3
Convert vectorof/vector-immutableof to the new regime.
...
Also add old-style vectorof to mzlib/contract.
original commit: 3028f2d1424123d076a95572a7564b8fb069a86e
2010-09-16 15:04:41 -04:00
Stevie Strickland
d41ec9e051
Separate out vector-related contract combinators into a new file.
...
original commit: c8737d5615db678b93784794ec6f55109b9d46d5
2010-09-16 15:04:41 -04:00
Stevie Strickland
7271481c49
Now change box/c to use proxies or chaperones appropriately.
...
Create a mzlib/contract compatible version of the old box/c and use that
for mzlib/contract. Change the docs so that the docs for mzlib/contract
contain the right information.
Fix the typed-scheme implementation to only force flat box (or hash)
contracts when it already is required to be flat. Otherwise, allow
non-flat contracts for the element contract (or domain/range contracts).
original commit: 994ad6d10fc817a5ceca2f9f4874dac5c14c0aab
2010-09-15 16:57:17 -04:00
Stevie Strickland
71d6d2f101
Initially just move the box-related combinators to a new location.
...
original commit: b8fb6dae9a54d89389ebf282f4f15011dbef36b0
2010-09-15 16:53:18 -04:00
Stevie Strickland
561af43eda
Separate out hash/c code into a separate module.
...
original commit: f5b62ececdef53f18bde3ab140351f10313f94a2
2010-09-15 11:22:57 -04:00
Robby Findler
8258184a9a
added contract-struct (like define-contract-struct, but with a
...
maker whose name does not begin with 'make-')
original commit: 367779fd27ba98422d288dd3b0c0db70f31bb4ca
2010-08-10 22:20:33 -05:00
Eli Barzilay
bc4b4c6168
Some random ".ss" -> ".rkt"s
...
original commit: 939af28a4c94c283f46eb121574e4131f12cba53
2010-05-17 05:58:19 -04:00
Matthew Flatt
b7928f0fa1
rename all files .ss -> .rkt
...
original commit: 28b404307793f041bb3363135a2968e283855318
2010-04-27 16:50:15 -06:00