Commit Graph

11147 Commits

Author SHA1 Message Date
Stevie Strickland
8a6804c525 Need to use the srcinfo for the marked identifiers, not the unmarked ones.
If this is wrong, then we need to do the first-order checks after creating
the set! transformers.

svn: r13781
2009-02-21 19:03:49 +00:00
Stevie Strickland
b2c6dd5b9e This should have been a reference to the already verified contract.
svn: r13780
2009-02-21 18:59:25 +00:00
Robby Findler
a66ed082fb moved the literate version of chat noir over so it is used by plt-games now
svn: r13776
2009-02-21 17:30:07 +00:00
Robby Findler
121764e7b5 changed the way the literate program setup works
svn: r13774
2009-02-21 17:22:02 +00:00
Matthias Felleisen
056e06cf84 added separate naming facilty: docs
svn: r13771
2009-02-21 16:51:36 +00:00
Matthias Felleisen
5b8c2977f9 added separate naming facilty
svn: r13770
2009-02-21 16:45:13 +00:00
Robby Findler
5fd53ac98d fixed typo
svn: r13769
2009-02-21 16:38:09 +00:00
Matthew Flatt
327fa47487 another scribble/lp/lang/lang repair
svn: r13767
2009-02-21 14:15:29 +00:00
Matthew Flatt
b3ab7d563e restore lost credit on Jewel game
svn: r13766
2009-02-21 13:35:49 +00:00
Matthew Flatt
24e4fd407b chat-noir literate small repairs
svn: r13765
2009-02-21 13:30:22 +00:00
Matthew Flatt
5c7b122118 fix swiatchble-button to lose its hilite state when its hidden
svn: r13764
2009-02-21 13:30:01 +00:00
Eli Barzilay
f79d87bea5 Welcome to a new PLT day.
svn: r13763
2009-02-21 08:50:20 +00:00
Stevie Strickland
d23bdbbfaf Fix the RHSes of term-lets not being treated as unquoted when converted to lws.
svn: r13762
2009-02-21 03:33:33 +00:00
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