Commit Graph

910 Commits

Author SHA1 Message Date
Matthew Flatt
bebf513aa7 change 'configure-runtime to produce a list of module-spcifying vectors instead of a single vector
svn: r18763
2010-04-08 19:11:50 +00:00
Matthew Flatt
abebb1c1f4 fix problem with per-registry locking of available-module visit & instantiation
svn: r18744
2010-04-07 12:34:50 +00:00
Matthew Flatt
c5ac9f23ec better compiler handling of unused local bindings where the RHS either doesn't obviously produce a single value or is discovered to be unused late in bytecode compilation; initial Scribble support for printing qq-style results
svn: r18737
2010-04-06 15:52:36 +00:00
Matthew Flatt
fdba97b1c0 rico
svn: r18733
2010-04-04 15:08:35 +00:00
Matthew Flatt
3cc95b31ef add prop:struct-info
svn: r18730
2010-04-03 13:08:39 +00:00
Matthew Flatt
2cb9f378aa Racket experiments
svn: r18725
2010-04-02 21:29:59 +00:00
Matthew Flatt
b2d65a1b95 fix the interaction of chaperones, keywords, and the whole zoo of reflective procedure operations
svn: r18711
2010-04-01 13:14:50 +00:00
Eli Barzilay
853db0ae55 forgot examples
svn: r18709
2010-04-01 08:27:15 +00:00
Eli Barzilay
05fca5df14 Documented () thing
svn: r18706
2010-04-01 07:46:01 +00:00
Robby Findler
62fb1bed65 svn: r18682 2010-03-30 22:30:37 +00:00
Matthew Flatt
164e998cbd fix syntax-case docs on how the exception is raised
svn: r18679
2010-03-30 21:33:59 +00:00
Matthew Flatt
b8c3112b98 fix chaperones on parameters
svn: r18654
2010-03-28 15:56:04 +00:00
Matthew Flatt
73807aef24 chaperones (v4.2.5.3)
svn: r18650
2010-03-28 01:10:33 +00:00
Noel Welsh
7c55242179 Add the full suite of fl and unsafe-fl operations to Typed Scheme
Correct an error in documentation of flmin and flmax -- they were documented as taking a single argument when in fact they take two.

svn: r18604
2010-03-23 12:24:50 +00:00
Stevie Strickland
dde2011ec7 Add ->dm and case->m, which are the implicit method versions of ->d and
case->.

This should be included in the release.

svn: r18579
2010-03-18 21:28:41 +00:00
Carl Eastlund
d9b7609e1e Fixed splicing-syntax-parameterize to splice require and provide forms.
svn: r18551
2010-03-16 23:04:46 +00:00
Stevie Strickland
5a488ae7cb Add handling of by-name inits to commented-out class/c use in typed-scheme.
Also, fix class/c section of reference slightly by mentioning the role of
external contracts in class instantiation.

svn: r18542
2010-03-15 08:57:41 +00:00
Stevie Strickland
c7c8f7061e Add documentation, and also add tests for appropriate init-field behavior.
svn: r18541
2010-03-15 08:47:09 +00:00
Matthew Flatt
1af4bb9cfb fix problem with 'make-meta-reader' and passing a module path to the next reader in the chain
svn: r18511
2010-03-11 14:00:01 +00:00
Stevie Strickland
cd3499dea5 Initial cut at documentation.
svn: r18495
2010-03-09 23:22:35 +00:00
Stevie Strickland
bf60da75e1 Refactor out new has-contract?/value-contract functionality so that it's
the responsibility of the (higher-order) contract to add the contract
(plus possibly more in the future) to the wrapped value.

svn: r18469
2010-03-04 21:10:44 +00:00
Matthew Flatt
82af25486e one more doc fix for PR 10803
svn: r18463
2010-03-04 13:16:46 +00:00
Eli Barzilay
28948c723a typos (most of PR10803)
svn: r18462
2010-03-04 09:08:14 +00:00
Robby Findler
07f280419a added has-contract? and get-contract
svn: r18460
2010-03-04 03:58:33 +00:00
Stevie Strickland
5fe0a790c1 Change how contracts for multiple values are handled to be a little cleaner
syntactically.

svn: r18458
2010-03-04 00:04:07 +00:00
Stevie Strickland
f2788561d3 Add the ability to contract more than one value returned from a with-contract
block in expression position.

svn: r18456
2010-03-03 21:54:18 +00:00
Sam Tobin-Hochstadt
83cdaac011 Allow `path-up' to take multiple paths.
svn: r18415
2010-03-01 21:27:03 +00:00
Carl Eastlund
5165706529 Added an example for current-blame-format.
svn: r18413
2010-03-01 19:58:17 +00:00
Robby Findler
ce57869e4c PR 10791
svn: r18412
2010-03-01 19:28:45 +00:00
Robby Findler
eeb5a8df0a svn: r18404 2010-03-01 12:25:55 +00:00
Matthew Flatt
2d34378d46 add margin ref->guide cross-reference for futures
svn: r18402
2010-03-01 02:33:57 +00:00
Matthew Flatt
2ddfa89a7a add missing doc files
svn: r18401
2010-03-01 01:45:49 +00:00
Matthew Flatt
e71bd71035 enable futures by default on Mac OS X and Linux x86/x86_64; future docs to ref and guide
svn: r18396
2010-02-28 22:06:59 +00:00
Matthew Flatt
2caaf05ca6 doc addition and prose tweaks
svn: r18376
2010-02-27 03:40:15 +00:00
Stevie Strickland
0900b6c2e3 Fix use of defform*/subs.
svn: r18373
2010-02-27 01:18:17 +00:00
Stevie Strickland
7dacfaea85 Add with-contract for expression positions.
svn: r18372
2010-02-27 01:05:03 +00:00
Stevie Strickland
4b67d441e7 Forgot to document set-field!, which came in with cc-phase2.
svn: r18358
2010-02-26 20:04:26 +00:00
Carl Eastlund
8b93f081bc Renamed make-set{,eq,eqv} to set{,eq,eqv} for uniformity with list, vector, etc.
svn: r18338
2010-02-25 19:46:36 +00:00
Jon Rafkind
2f6c2377f9 fix remq example
svn: r18337
2010-02-25 17:14:58 +00:00
Stevie Strickland
88a6038705 Grab Matthew's addition of objscheme_unwrap so I can see about making
object contracts work even for primitive things.

svn: r18298
2010-02-23 14:10:34 +00:00
Carl Eastlund
1d6111c532 Renamed simple-contract and simple-flat-contract to make-contract and make-flat-contract.
svn: r18259
2010-02-22 02:51:16 +00:00
Stevie Strickland
a0769da5ea Add the contract shorthands for -> and ->* to use for methods where we don't
care about properties of this.

svn: r18248
2010-02-21 02:54:06 +00:00
Stevie Strickland
e72928d444 Yeah, I should add augride here.
svn: r18242
2010-02-21 00:26:58 +00:00
Stevie Strickland
c6e671581f Want to call this something more generic, as method contracts have specific
restrictions, but contracts on fields do not.

svn: r18241
2010-02-21 00:22:37 +00:00
Stevie Strickland
ffa34e1f7d Add augride, which is like augment but enables the contract writer to give
subclasses an idea of whether a method can be augmented (augment) or whether
a method augmentation can be overridden (augride).

svn: r18240
2010-02-21 00:17:42 +00:00
Stevie Strickland
5df617e4d4 Forgot to add this to the literals list.
svn: r18239
2010-02-20 23:45:55 +00:00
Stevie Strickland
d67058c1ac Document inherit.
svn: r18238
2010-02-20 22:58:21 +00:00
Stevie Strickland
6ae1a713df One more small edit.
svn: r18231
2010-02-20 21:06:59 +00:00
Stevie Strickland
50482d7016 Small fixes, go back to the original section title.
svn: r18230
2010-02-20 21:06:22 +00:00
Stevie Strickland
7e5e4a50fa Check in an initial cut of class/c documentation.
svn: r18229
2010-02-20 20:32:17 +00:00