Commit Graph

10984 Commits

Author SHA1 Message Date
Robby Findler
7cc03cb42f moved the newly literate program scribbled docs for the chat noir into the actual docs for the games collection
svn: r13761
2009-02-21 03:16:11 +00:00
Robby Findler
fb0cc555f4 manual move of the files to avoid the svn bug
svn: r13759
2009-02-21 02:48:14 +00:00
Robby Findler
cc495b9fd0 moved to htdp/2e universe teachpack
svn: r13758
2009-02-21 02:41:13 +00:00
Robby Findler
c886bfa4e2 got thru 6 and started on 7
svn: r13757
2009-02-21 02:34:18 +00:00
Matthias Felleisen
33df6b2bfa fixed mouse event bug
svn: r13756
2009-02-21 00:14:17 +00:00
Jon Rafkind
7663087254 add examples for require forms
svn: r13754
2009-02-20 21:05:08 +00:00
Eli Barzilay
0e6c6a5013 Welcome to a new PLT day.
svn: r13753
2009-02-20 08:50:31 +00:00
Jon Rafkind
84152a94f6 add examples for define-syntax and friends
svn: r13752
2009-02-20 04:28:10 +00:00
Jon Rafkind
7b3d069f47 updates from mzscheme->scheme
svn: r13751
2009-02-19 22:26:10 +00:00
Jon Rafkind
09c6c96099 add a test for const
svn: r13750
2009-02-19 22:15:58 +00:00
Robby Findler
09b5ece200 fixed a logger bug that Dave Herman reported
svn: r13748
2009-02-19 18:16:09 +00:00
Jay McCarthy
665e7220df Updating docs re pr10081
svn: r13747
2009-02-19 18:10:49 +00:00
Jay McCarthy
0e26cbb646 tests
svn: r13746
2009-02-19 18:03:57 +00:00
Jay McCarthy
88f65f052c Fixing docs re pcdata
svn: r13745
2009-02-19 17:57:35 +00:00
Eli Barzilay
20e76d845e Welcome to a new PLT day.
svn: r13736
2009-02-19 08:50:20 +00:00
Robby Findler
b3beb59142 made some progress on the rendering-of-the-world section
svn: r13734
2009-02-18 23:45:10 +00:00
Matthew Flatt
3adbe091c3 fix bug (that was copied and pasted!) in planet and at-exp readers
svn: r13733
2009-02-18 23:21:36 +00:00
Matthew Flatt
9858c507fb note copy-and-paste bug generator in at-exp reader
svn: r13732
2009-02-18 23:16:47 +00:00
Matthew Flatt
128d5287f7 add and use at-exp meta-language
svn: r13731
2009-02-18 23:14:18 +00:00
Robby Findler
f083e6b50d fixed an off-by-one error (flooring negative numbers should go towards zero whe moving pinholes to be consistent with overlay/xy)
svn: r13730
2009-02-18 22:50:48 +00:00
Matthew Flatt
15475b6c7a fix 'namespace-undefined-variable!' to use constantness checking
svn: r13729
2009-02-18 22:18:20 +00:00
Matthew Flatt
ada4a7aeae allow negative years in a 'date' structure
svn: r13728
2009-02-18 21:29:58 +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
Robby Findler
172b0828e8 split out the input section into chunks, added contracts to the structs (and fixed a bunch of test cases that were kind of lax about the struct values)
svn: r13726
2009-02-18 13:48:57 +00:00
Robby Findler
cf856a33bf forward keywords
svn: r13725
2009-02-18 13:11:08 +00:00
Eli Barzilay
cc29c603c0 Welcome to a new PLT day.
svn: r13724
2009-02-18 08:50:18 +00:00
Ryan Culpepper
112811258b stxclass: undo r13714, because it messes up non-stx attributes
svn: r13723
2009-02-18 04:44:38 +00:00
Ryan Culpepper
59727cc4bc stxclass: added and- and or-patterns, box and vector patterns
svn: r13721
2009-02-18 04:01:52 +00:00
Robby Findler
b6c5e2ee3d wrote a little more, finished 6
svn: r13720
2009-02-18 03:01:31 +00:00
Matthew Flatt
87f92bc33e doc clarification
svn: r13719
2009-02-18 02:59:56 +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
Ryan Culpepper
12fd4bfc56 stxclass: convert rhs of #:with to syntax
svn: r13714
2009-02-18 00:04:32 +00:00
Stevie Strickland
770aab6700 Move first-order checks for free-var ctcs to before the body of the
with-contract expansion.

svn: r13713
2009-02-17 23:38:46 +00:00
Jay McCarthy
76853279c3 Moved to SU3
svn: r13712
2009-02-17 22:11:39 +00:00
Jay McCarthy
acef860a60 Unit contracts
svn: r13711
2009-02-17 22:11:14 +00:00
Robby Findler
bd208ad520 checkpointing: got thru the first five sections as a first draft; broke out the next two sections
svn: r13710
2009-02-17 21:50:10 +00:00
Matthew Flatt
b5bc25915a fix image scaling in Scribble HTML output
svn: r13709
2009-02-17 21:32:26 +00:00
Robby Findler
42a5b15831 switching machines to be able to make an image
svn: r13708
2009-02-17 21:01:55 +00:00
Stevie Strickland
3ff2184a38 Add the first-order free variable contract checks I mentioned earlier.
svn: r13707
2009-02-17 20:50:56 +00:00
Stevie Strickland
9098c94e9c Add first-order checks for free variable contracts, and tests for everything.
svn: r13706
2009-02-17 20:48:04 +00:00
Stevie Strickland
d18a56a956 Okay, no infinite syntax unrolling, please.
svn: r13705
2009-02-17 20:32:04 +00:00
Stevie Strickland
cf916f51fa Forgot to add rename-transformers for unprotected ids.
svn: r13704
2009-02-17 19:58:26 +00:00
Stevie Strickland
999d9357ab * Fix it so we say definition or function in define/contract appropriately
again.
 * Fix horribly complicated and ridiculous version of with-contract with
   a more streamlined, and more importantly, correct version.

svn: r13703
2009-02-17 19:31:57 +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
560836a804 Draw :-> and :--> ourselves, similar to --> and friends.
svn: r13698
2009-02-17 16:14:12 +00:00
Robby Findler
e21ecbe074 a little more progress on the essay -- also started using define/contract instead of define
svn: r13697
2009-02-17 15:41:43 +00:00
Matthew Flatt
941a8935aa remove unneeded dependency of framework on parts of Scribble; Redex doc repairs; add #:style? argument to deftech
svn: r13696
2009-02-17 15:22:55 +00:00
Stevie Strickland
e0e6fcb465 Add unicode longmapsto.
svn: r13695
2009-02-17 15:02:07 +00:00