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
Sam Tobin-Hochstadt
00ff608247
Move contract-enabling code to utils/utils
...
Move `cnt' signature form to utils/utils, controlled by same boolean.
Use `w/c' and `p/c' to enable/disable contracts in dt/de.
Contract for `ret'.
svn: r13699
2009-02-17 17:30:30 +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
Stevie Strickland
316f48c8e1
Add a guide reference here.
...
svn: r13694
2009-02-17 14:55:55 +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
Robby Findler
88075e2e50
a commit to show something to stevie
...
svn: r13692
2009-02-17 14:20:24 +00:00
Matthew Flatt
db5cab09e7
doc scribble/scheme; add make-element-id-transformer
...
svn: r13691
2009-02-17 13:51:35 +00:00
Robby Findler
80bcae687c
put the requires in the right place
...
svn: r13690
2009-02-17 13:48:39 +00:00
Eli Barzilay
c82cc16dfc
Welcome to a new PLT day.
...
svn: r13689
2009-02-17 08:50:18 +00:00
Matthew Flatt
0f18d68649
Scribble: change handling of argumentd in defproc, etc., to use lexical bidning instead of parameters and symbols; fix some docs
...
svn: r13688
2009-02-17 01:15:38 +00:00
Sam Tobin-Hochstadt
cc1265fc61
Fix contract on App.
...
Fix function construction for rec-lambda/check
Re-enable printing.
svn: r13687
2009-02-17 01:09:23 +00:00
Robby Findler
723dc26903
I think I'm finally getting the hang of this stuff ...
...
svn: r13686
2009-02-17 01:09:06 +00:00
Sam Tobin-Hochstadt
14475467b2
contracts on types and effects
...
svn: r13685
2009-02-17 00:43:47 +00:00
Matthew Flatt
ee32e728bc
fix make-parameter for SRFI-39
...
svn: r13684
2009-02-17 00:14:11 +00:00
Sam Tobin-Hochstadt
347035fae9
sync to trunk
...
svn: r13683
2009-02-16 23:23:35 +00:00
Sam Tobin-Hochstadt
c7809e5838
Use stxclass for require/opaque-type
...
svn: r13682
2009-02-16 23:06:23 +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
Robby Findler
4056e03bc1
made some progress
...
svn: r13676
2009-02-16 19:43:48 +00:00
Robby Findler
6e11cac115
fixed typo
...
svn: r13675
2009-02-16 18:26:06 +00:00
Eli Barzilay
580ec62341
minor doc formatting
...
svn: r13674
2009-02-16 17:42:46 +00:00
Matthew Flatt
7947367373
rename local smaller
...
svn: r13673
2009-02-16 17:06:21 +00:00
Eli Barzilay
a016d20e84
no underlines
...
svn: r13672
2009-02-16 16:44:34 +00:00
Eli Barzilay
58e618478e
#:part is gone
...
svn: r13671
2009-02-16 16:43:00 +00:00
Eli Barzilay
6539836e12
some improvements
...
svn: r13670
2009-02-16 16:42:37 +00:00
Matthew Flatt
7b57156ac2
add #:underlined? argument to elemref
...
svn: r13669
2009-02-16 16:42:22 +00:00
Matthew Flatt
76042d8b4c
added smaller to scribble/basic
...
svn: r13668
2009-02-16 16:35:06 +00:00
Matthew Flatt
6250d5e993
better latex rendering of tt underscore
...
svn: r13667
2009-02-16 16:20:22 +00:00
Robby Findler
16d3208fb3
adjusted TOC
...
svn: r13666
2009-02-16 16:18:26 +00:00
Matthew Flatt
839bc78f4b
better latex rendering of tt curly braces and backslash
...
svn: r13665
2009-02-16 15:59:39 +00:00
Robby Findler
4d5e203f21
svn: r13664
2009-02-16 15:20:00 +00:00
Robby Findler
e17f7347e7
some progress on the bus
...
svn: r13663
2009-02-16 15:17:56 +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
Matthew Flatt
c056bcf6d1
document scribble/srcdoc
...
svn: r13660
2009-02-16 14:45:50 +00:00
Matthew Flatt
65c0042b2d
Stevie's fix to improve no-expression-in-int-def-sequence reporting
...
svn: r13659
2009-02-16 14:26:02 +00:00
Sam Tobin-Hochstadt
54d17355c3
Use stxclass for `require/typed'.
...
svn: r13658
2009-02-16 14:16:36 +00:00
Robby Findler
62ef5b2814
added comment about colorings in drscheme
...
svn: r13657
2009-02-16 12:53:56 +00:00
Eli Barzilay
df55e0b7ec
Welcome to a new PLT day.
...
svn: r13656
2009-02-16 08:50:17 +00:00
Mike Sperber
ba0f53dfed
Synch German string constants with latest.
...
svn: r13655
2009-02-16 07:51:27 +00:00
Eli Barzilay
6c7a0aae51
Adds a #:part option to `chunk', to control how it's displayed.
...
svn: r13654
2009-02-16 06:30:41 +00:00
Eli Barzilay
9d06dd7f57
use a counter to get separate tags and section titles
...
svn: r13653
2009-02-16 04:33:54 +00:00
Eli Barzilay
f9897212f0
better names
...
svn: r13652
2009-02-16 03:22:09 +00:00
Eli Barzilay
3467bf2ce6
chunks are translated to subsections -- not working right yet, but save a checkpoint
...
svn: r13651
2009-02-16 03:19:05 +00:00
