Robby Findler
|
b5b32d1d8e
|
added automatic compilation to the module language, plus various other tweaks (contract library enhancement, bug fixes here and there)
svn: r15635
|
2009-07-30 05:17:40 +00:00 |
|
Robby Findler
|
269a9ba98d
|
svn: r15511
|
2009-07-20 22:48:57 +00:00 |
|
John Clements
|
edb16e4f4a
|
fixed two grammatical typos
svn: r15302
|
2009-06-26 18:26:40 +00:00 |
|
Robby Findler
|
ec44ee7df1
|
added hash/c
svn: r15210
|
2009-06-18 21:31:33 +00:00 |
|
Eli Barzilay
|
c0a8a01222
|
Changed @itemize{...} to @itemize[...] (done after comparing the doc
tree and verifying that there are no changes).
(Also fixed a few bugs that were in the code)
svn: r14427
|
2009-04-05 17:46:20 +00:00 |
|
Carl Eastlund
|
2068a5dcc3
|
Corrected a typo in the contracts reference ('exmaple' -> 'example').
svn: r14151
|
2009-03-17 15:36:36 +00:00 |
|
Robby Findler
|
976ec00702
|
fixed docs
svn: r13937
|
2009-03-04 02:17:26 +00:00 |
|
Stevie Strickland
|
7e1ea98876
|
Pull back Robby's allowance of all struct options just a bit, plus handle
the ones we do allow natively.
svn: r13727
|
2009-02-18 21:14:50 +00:00 |
|
Stevie Strickland
|
7e8816ce0f
|
* Add initial version of define-struct/contract
* Allow uncontracted exports of syntax from a with-contract form.
svn: r13717
|
2009-02-18 02:25:45 +00:00 |
|
Stevie Strickland
|
5f01ad8412
|
Copy and paste error.
svn: r13702
|
2009-02-17 18:27:54 +00:00 |
|
Stevie Strickland
|
792dc70ea6
|
Add description of what #:freevars/#:freevar does.
svn: r13701
|
2009-02-17 18:26:24 +00:00 |
|
Stevie Strickland
|
64a68db15d
|
Initial attempt at free var contracts. Needs a little more work, but might
handle Robby's use cases.
svn: r13700
|
2009-02-17 18:18:53 +00:00 |
|
Stevie Strickland
|
7920cc48a3
|
Clean up define/contract's description a bit, and avoid leaning on
with-contract as much.
svn: r13693
|
2009-02-17 14:30:00 +00:00 |
|
Stevie Strickland
|
22ee00b10f
|
Oh, no! Aliens, bio-duplication, nude conspiracies.. oh my God,
Lyndon LaRouche was right!
svn: r13037
|
2009-01-08 14:55:23 +00:00 |
|
Robby Findler
|
c9ebe9bba3
|
changed the way or/c works; PR 10010
svn: r13030
|
2009-01-07 16:48:17 +00:00 |
|
Robby Findler
|
2afe7621b3
|
PR 10010
svn: r13029
|
2009-01-07 16:06:37 +00:00 |
|
Stevie Strickland
|
6d966c80af
|
Syncing
svn: r12982
|
2009-01-03 03:09:06 +00:00 |
|
John Clements
|
14b0203fb9
|
changed res-expr to range-expr for consistency
svn: r12943
|
2008-12-27 07:22:38 +00:00 |
|
Stevie Strickland
|
29487b251e
|
I guess this documentation got lost at some point during the various branch
moves, so add it back.
svn: r12888
|
2008-12-18 17:13:13 +00:00 |
|
Robby Findler
|
2394848555
|
function contracts now preserve tail recursion
svn: r12360
|
2008-11-09 02:31:25 +00:00 |
|
Matthew Flatt
|
7a55275a26
|
unit bug fixes related to new scoping of signature elements; change scribble/manual to compute ids typeset as variables at compile time, in preparation for moving from a parameter to syntax bindings; fix docs typos; extend decompiler's support for unmarshaling syntax objects
svn: r12046
|
2008-10-15 22:23:56 +00:00 |
|
Robby Findler
|
2e9ac659bd
|
svn: r12044
|
2008-10-15 13:00:01 +00:00 |
|
Matthew Flatt
|
bad81f8bcd
|
small edits to contract docs
svn: r12028
|
2008-10-14 00:13:12 +00:00 |
|
Robby Findler
|
7ace3962fa
|
improved overview a little
svn: r12027
|
2008-10-13 22:31:43 +00:00 |
|
Robby Findler
|
d69957455c
|
a bunch more values are now converted into contracts automatically (added bytes)
svn: r11730
|
2008-09-13 22:37:16 +00:00 |
|
Robby Findler
|
85e489219c
|
a bunch more values are now converted into contracts automatically
svn: r11729
|
2008-09-13 22:35:09 +00:00 |
|
Robby Findler
|
44b62899fa
|
improved blame error message when there is no source location
svn: r11526
|
2008-09-02 16:12:13 +00:00 |
|
Robby Findler
|
5596aff30f
|
improved contract error messages so that they now always have absolute module references in them for blame information
svn: r11511
|
2008-09-01 19:54:50 +00:00 |
|
Robby Findler
|
1b223aedec
|
fixed typo
svn: r11171
|
2008-08-09 18:21:01 +00:00 |
|
Matthew Flatt
|
2c813c53c5
|
fix '(nonnegative|positive)-exact-integer?' contracts (moving 'exact-' to the front where it belongs)
svn: r10960
|
2008-07-29 12:56:05 +00:00 |
|
Robby Findler
|
c4be4bd7a5
|
added note about unsupplied-arg
svn: r10483
|
2008-06-27 22:27:31 +00:00 |
|
Matthew Flatt
|
53cc426d30
|
expans #reader/#lang protocol so that a #lang result can have more appropriate srclocs; fix up syntax/module-reader to use the new protocol; re-enable arrows to the language position in Check Syntax
svn: r9174
|
2008-04-06 23:31:58 +00:00 |
|
Matthew Flatt
|
f93e2f2de7
|
doc corrections from Doug Orleans
svn: r9004
|
2008-03-17 15:02:10 +00:00 |
|
Robby Findler
|
9ba432ab9c
|
added the _ special case to ->d
svn: r8998
|
2008-03-17 04:01:39 +00:00 |
|
Eli Barzilay
|
08953a7baf
|
capital S like in rest of docs
svn: r8925
|
2008-03-08 06:51:50 +00:00 |
|
Eli Barzilay
|
b1a08edd5a
|
use new require specs in many places
svn: r8774
|
2008-02-23 09:42:03 +00:00 |
|
Eli Barzilay
|
264af9a6d0
|
improved scribble syntax use
svn: r8720
|
2008-02-19 12:22:45 +00:00 |
|
John Clements
|
f69f0753e3
|
More info for any
svn: r8675
|
2008-02-15 19:36:56 +00:00 |
|
Robby Findler
|
efeb8c7818
|
PR 9193
svn: r8646
|
2008-02-13 16:43:07 +00:00 |
|
Matthew Flatt
|
88290b46be
|
set up mzlib/contract docs a bit more
svn: r8624
|
2008-02-11 22:06:06 +00:00 |
|
Robby Findler
|
5094c9b95b
|
fixed up case for contracts
svn: r8479
|
2008-01-30 20:25:37 +00:00 |
|
Robby Findler
|
9bdbfba888
|
Matthias's improvements to the contracts docs, plus a few minor fixes
svn: r8478
|
2008-01-30 20:20:31 +00:00 |
|
Robby Findler
|
1644b86aa8
|
ported all of the contracts guide except the examples section
svn: r8242
|
2008-01-07 04:42:25 +00:00 |
|
Robby Findler
|
3cf6ed4673
|
mostly finished the contract library changes
svn: r8195
|
2008-01-03 18:10:43 +00:00 |
|
Robby Findler
|
e7b5653dd6
|
finished case->
svn: r8178
|
2008-01-02 01:24:55 +00:00 |
|
Robby Findler
|
90de53d2b2
|
finished ->d
svn: r8166
|
2007-12-30 23:36:58 +00:00 |
|
Matthew Flatt
|
5890eedeb4
|
scribble mrlib docs
svn: r8165
|
2007-12-30 22:46:20 +00:00 |
|
Robby Findler
|
342eb86c10
|
finished the new ->*
svn: r8086
|
2007-12-20 20:35:58 +00:00 |
|
Robby Findler
|
a3f3dcb64d
|
added keywords to ->*
svn: r8049
|
2007-12-18 20:19:11 +00:00 |
|
Matthew Flatt
|
058d8dc77e
|
document mz/mr command-line arguments
svn: r8047
|
2007-12-18 13:52:50 +00:00 |
|