Matthew Flatt
1d26e97a35
Scheme-implemented editor classes; on-demand instantiation of module phases
...
svn: r14445
2009-04-07 17:12:22 +00:00
Eli Barzilay
76c2d9eceb
rehack the argument formatting hack
...
svn: r14436
2009-04-06 12:18:42 +00:00
Eli Barzilay
2cc94cbf02
reformat some
...
svn: r14435
2009-04-06 11:17:15 +00:00
Eli Barzilay
06636c1813
added in-sequences and in-cycle
...
svn: r14424
2009-04-05 08:29:17 +00:00
Eli Barzilay
9af9210aa2
added hash-ref! and hash-has-key?
...
svn: r14423
2009-04-05 04:35:12 +00:00
Eli Barzilay
cb2c85956b
removed unnecessary hash-ref passing in implementation of hash-update
...
svn: r14421
2009-04-05 00:24:47 +00:00
Eli Barzilay
daa582291c
typo
...
svn: r14410
2009-04-03 00:26:59 +00:00
Ryan Culpepper
eb349682c3
scheme/signature: fixed to recognize scheme require forms
...
svn: r14396
2009-04-01 03:14:34 +00:00
Robby Findler
2c85b7a795
improved performance of the teaching languages
...
svn: r14394
2009-04-01 00:15:20 +00:00
Matthew Flatt
4ce30226fe
change the way that hidden package ids are generated
...
svn: r14277
2009-03-25 16:51:13 +00:00
Sam Tobin-Hochstadt
e0a95e9e22
Add `tanh' with documentation.
...
svn: r14250
2009-03-24 17:48:11 +00:00
Sam Tobin-Hochstadt
40b4731106
Expand (require A ...) into (begin (require A) ...)
...
- docs (including discussion of require scoping)
- tests
svn: r14232
2009-03-23 14:13:10 +00:00
Matthew Flatt
a61e7b67f9
fix more break-progaration problems in scheme/sandbox (where recent changes were not quite right)
...
svn: r14219
2009-03-22 16:26:01 +00:00
Eli Barzilay
18fd48af97
Added `count'.
...
svn: r14210
2009-03-22 02:53:27 +00:00
Matthew Flatt
7dc8e077ed
add 'not-provide-all-defined and 'nonimal-id suport for rename transformers; fix scheme/foreign and foreign docs to use it
...
svn: r14195
2009-03-20 16:59:28 +00:00
Matthew Flatt
2109cec2f4
free-id=? propagation through module exports; add 'not-free-identifier=? syntax property to disable free-id=? propagation; add prop:rename-transformer and prop:set-transformer; fix scheme/local so that local syntax bindings are visible to later definitions (v4.1.5.3)
...
svn: r14191
2009-03-19 20:22:18 +00:00
Ryan Culpepper
d154493077
scheme/splicing: added splicing variants of local and letrec-syntaxes+values
...
svn: r14188
2009-03-19 13:45:45 +00:00
Matthew Flatt
154b73755a
sandbox break propagation
...
svn: r14182
2009-03-19 12:31:33 +00:00
Matthew Flatt
e8cbe7ff81
splicing-let, etc.
...
svn: r14165
2009-03-17 23:09:38 +00:00
Matthew Flatt
ee084ad7ff
adjust special scheme/class keywords to effectively declare themselves as expression forms (PR 10135): merge to 4.1.5
...
svn: r14137
2009-03-17 00:45:29 +00:00
Robby Findler
2556c61f9d
PR 10078 -- NOT for inclusion in the release
...
svn: r14122
2009-03-16 12:06:17 +00:00
Sam Tobin-Hochstadt
b6e340d2c9
Finally the correct fix
...
svn: r14039
2009-03-10 21:25:46 +00:00
Sam Tobin-Hochstadt
37bd154af5
revert broken change
...
svn: r14037
2009-03-10 21:12:50 +00:00
Sam Tobin-Hochstadt
56a3867644
Fix PR 10119.
...
Give better error messages from `match*' when patterns or expressions are not lists.
svn: r14036
2009-03-10 21:06:43 +00:00
Matthew Flatt
13b2bc3363
adjust define*-{values,syntaxes} to avoid certificate problems
...
svn: r14024
2009-03-09 17:19:21 +00:00
Matthew Flatt
44e7744646
fix package so that syntax-local-value works after define*
...
svn: r14021
2009-03-09 13:24:34 +00:00
Stevie Strickland
a3035a76a8
Got the struct:x name built, but forgot just the name x for the static info,
...
even though I had changed with-contract to detect (uncontracted) exports of
syntax.
svn: r14004
2009-03-07 16:48:27 +00:00
Eli Barzilay
56bb4539d0
fix error message
...
svn: r13906
2009-03-03 02:41:00 +00:00
Matthew Flatt
ff0b532864
adjust syntax/loc and some docs
...
svn: r13899
2009-03-02 22:24:25 +00:00
Matthew Flatt
f0473137e6
fix and document syntax/strip-context
...
svn: r13847
2009-02-26 13:19:25 +00:00
Eli Barzilay
97b3e6ba96
* Wrap a `#%top-interaction' around evaluations. No way to configure
...
or disable it yet.
* Instantiate scheme/class into teaching language sandboxes, to make
it possible to use the test engine (still no way to report errors
yet).
* Some minor formatting and renames
svn: r13836
2009-02-25 17:13:28 +00:00
Stevie Strickland
3c0e17d963
Add to the error message for -> in the case of optional arguments.
...
svn: r13803
2009-02-23 18:49:29 +00:00
Stevie Strickland
93d6a5fc7c
* Just use new marks instead of name mangling for the ctc-ids
...
* Set the 'inferred-name property appropriately.
svn: r13802
2009-02-23 14:36:28 +00:00
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
Matthew Flatt
24e4fd407b
chat-noir literate small repairs
...
svn: r13765
2009-02-21 13:30:22 +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
cf856a33bf
forward keywords
...
svn: r13725
2009-02-18 13:11:08 +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
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
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
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
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
Matthew Flatt
9927b0b576
changed htdp languages to allow identifier module paths; scribble improvements to latex back-end; added definterface
...
svn: r13681
2009-02-16 22:04:51 +00:00
Stevie Strickland
c6b92782e2
Rename cstruct to struct/ctc, to avoid confusion with cstruct from the ffi.
...
svn: r13661
2009-02-16 14:50:59 +00:00
Stevie Strickland
340035bef7
Adding cstruct, which is like the struct signature form but with contracts.
...
svn: r13647
2009-02-16 02:51:12 +00:00
Stevie Strickland
10b89445c6
Do a little better here, including using id->contract-src-info instead of
...
just the identifier.
svn: r13631
2009-02-15 23:08:56 +00:00
Stevie Strickland
1943083cf9
Fix nested with-contracts by checking explicitly for ssps. Apparently
...
painting the bindings causes the ssp to later fail when you try to access
the parameter. Not sure if this is a bug or not, will talk to Matthew.
svn: r13621
2009-02-15 21:59:22 +00:00