Stevie Strickland
50af2b09f7
Remove the contract clause here.
...
svn: r13566
2009-02-13 23:24:44 +00:00
Stevie Strickland
7865e23c03
Remove the example from here, now that there's information in the guide.
...
The example was malformed anyway.
svn: r13565
2009-02-13 23:22:17 +00:00
Jay McCarthy
e026f89d37
better cnp support
...
svn: r13564
2009-02-13 23:22:01 +00:00
Stevie Strickland
dc78217029
Rework the docs so that we're explicit about how the variables in contract
...
expressions are bound.
svn: r13563
2009-02-13 23:18:26 +00:00
Stevie Strickland
387c8b210f
* Fix unit/c so that less unnecessary code is generated.
...
* Fix contracts for signatures and units so that references to
other signature members work appropriately.
* Add text about signature and unit contracts to the Guide.
svn: r13562
2009-02-13 22:50:49 +00:00
Robby Findler
ed9584be2a
fixed test case issues
...
svn: r13558
2009-02-13 21:58:27 +00:00
Robby Findler
1a0366061b
fixed test case issues
...
svn: r13557
2009-02-13 21:54:14 +00:00
Robby Findler
b9560ae309
svn: r13556
2009-02-13 21:45:13 +00:00
Robby Findler
3687ef84e5
setup a literate programming chat-noir
...
svn: r13555
2009-02-13 21:37:09 +00:00
Matthew Flatt
901cd24d4f
Scribble fixes (PRs 10069, 10070)
...
svn: r13553
2009-02-13 21:17:03 +00:00
Robby Findler
c13c867695
svn: r13547
2009-02-13 17:25:30 +00:00
Eli Barzilay
762d8917fc
Welcome to a new PLT day.
...
svn: r13546
2009-02-13 08:50:18 +00:00
Ryan Culpepper
f2204710fa
stxclass: reorganized docs
...
svn: r13544
2009-02-13 03:23:07 +00:00
Sam Tobin-Hochstadt
e61075a4fd
Default types for lambda formals.
...
svn: r13539
2009-02-12 23:55:53 +00:00
Eli Barzilay
4f04203776
make find-help treat a lexical binding as missing
...
svn: r13537
2009-02-12 22:41:21 +00:00
Sam Tobin-Hochstadt
80c8ac3b5f
add Text% type, new function
...
svn: r13536
2009-02-12 19:55:02 +00:00
Sam Tobin-Hochstadt
d169b427d6
Typed version of the auto-language module.
...
svn: r13535
2009-02-12 19:53:58 +00:00
Robby Findler
d3ed20934a
improved drschemes display of planet requires
...
svn: r13534
2009-02-12 13:07:20 +00:00
Eli Barzilay
0be1c093b3
Welcome to a new PLT day.
...
svn: r13533
2009-02-12 08:50:16 +00:00
Stevie Strickland
8656e7e918
Fix up the contracts so that they properly refer to locally defined variables.
...
svn: r13527
2009-02-12 03:51:40 +00:00
Stevie Strickland
12110acfe3
Add test for non-unit check.
...
svn: r13526
2009-02-12 00:49:56 +00:00
Stevie Strickland
12bbf258df
I added the ability to mention a signature without the wrapping parens
...
late in the branch, but forgot to put it in the documentation.
svn: r13525
2009-02-12 00:32:29 +00:00
Stevie Strickland
fbb5de4fa7
Adding the initial cut at unit/c.
...
svn: r13524
2009-02-11 22:46:48 +00:00
Ryan Culpepper
52bd998e5d
stxclass: added #:attributes, disappeared-uses
...
svn: r13520
2009-02-11 22:17:39 +00:00
Robby Findler
3ee1a899ee
changed apply-reduction-relation* so that it notices cycles and ignores them
...
svn: r13519
2009-02-11 20:25:32 +00:00
Matthew Flatt
7b11c290f5
qq fixes, so that (quasiquote #(unquote lst)) is a syntax error
...
svn: r13517
2009-02-11 15:01:04 +00:00
Eli Barzilay
cbe2f3c347
Welcome to a new PLT day.
...
svn: r13516
2009-02-11 08:50:19 +00:00
Matthew Flatt
01b014c2b3
remove debugging printf
...
svn: r13515
2009-02-10 15:30:30 +00:00
Robby Findler
36e903c81f
improved planet logging and drschemes view of it
...
svn: r13514
2009-02-10 15:01:16 +00:00
Eli Barzilay
c491ba9b59
Welcome to a new PLT day.
...
svn: r13513
2009-02-10 08:50:17 +00:00
Matthew Flatt
efe4bf597c
revised honu id syntax (to fix underscore)
...
svn: r13512
2009-02-10 02:25:01 +00:00
Matthew Flatt
82f6c33458
doc revised honu id syntax
...
svn: r13511
2009-02-10 02:24:15 +00:00
Jay McCarthy
57549a1759
formlets
...
svn: r13510
2009-02-09 22:48:10 +00:00
Matthew Flatt
621602b42f
fix #lang/#reader span
...
svn: r13509
2009-02-09 22:25:48 +00:00
Jay McCarthy
79ef2483f3
formlets tests
...
svn: r13508
2009-02-09 22:03:45 +00:00
Ryan Culpepper
561885d2d6
check syntax: more crossing-arrows options
...
svn: r13507
2009-02-09 20:53:30 +00:00
Jay McCarthy
1e67e759d7
hmac-sha1
...
svn: r13506
2009-02-09 18:21:01 +00:00
Jay McCarthy
0f96462369
docs/test
...
svn: r13505
2009-02-09 17:48:04 +00:00
Matthew Flatt
767766521c
infix for literal prefab structs, quasiquote unquoting in value positions of hash-table literals, and related changes (v4.1.4.3)
...
svn: r13504
2009-02-09 15:27:51 +00:00
Matthew Flatt
96509ba06f
fix recording of exprs.dat
...
svn: r13503
2009-02-09 14:02:07 +00:00
Matthew Flatt
a8c8f9e8a1
gui doc corrections
...
svn: r13502
2009-02-09 14:01:38 +00:00
Matthew Flatt
e8675d317d
fix hanlding of some bindings for a module->namespace top level (especially interaction with packages)
...
svn: r13501
2009-02-09 13:30:33 +00:00
Matthew Flatt
051e28b11b
detangle TOPLEVEL_MUTATED from TOPLEVEL_READY
...
svn: r13500
2009-02-09 11:21:42 +00:00
Eli Barzilay
3c5d92af0b
Welcome to a new PLT day.
...
svn: r13499
2009-02-09 08:50:15 +00:00
Ryan Culpepper
04582535ef
Check Syntax: added "Tack arrows crossing selection"
...
svn: r13498
2009-02-09 04:57:46 +00:00
Robby Findler
9dbb9f1121
svn: r13496
2009-02-08 22:09:19 +00:00
Robby Findler
64e91b8362
added status information about planets behavior to the bottom of the drscheme window
...
svn: r13494
2009-02-08 21:40:51 +00:00
Eli Barzilay
fcce8e3cbf
Welcome to a new PLT day.
...
svn: r13492
2009-02-08 08:50:24 +00:00
Robby Findler
3b046b05ec
started on an 'always on' notifications of planet activity via drscheme
...
svn: r13490
2009-02-07 21:48:34 +00:00
Robby Findler
8cd0fe5e72
PR 10052
...
svn: r13489
2009-02-07 15:04:46 +00:00
