suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
10,992 Commits 17 Branches 54 Tags 278 MiB
2a2697c20a
Commit Graph

9390 Commits

Author SHA1 Message Date
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
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
Robby Findler
723dc26903 I think I'm finally getting the hang of this stuff ... 
svn: r13686
 2009-02-17 01:09:06 +00:00
Matthew Flatt
ee32e728bc fix make-parameter for SRFI-39 
svn: r13684
 2009-02-17 00:14:11 +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
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
Eli Barzilay
7a0b6c9433 move the doc wrapper code into literate-doc-wrapper.ss 
svn: r13650
 2009-02-16 02:59:30 +00:00
Eli Barzilay
8f0edfd6d5 some more reformatting etc, at all levels (and the schememodname went away, again -- will get it back soon with the lifting of requires) 
svn: r13649
 2009-02-16 02:53:01 +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
Sam Tobin-Hochstadt
eba3b5d54d docs for provide: 
svn: r13645
 2009-02-16 02:29:33 +00:00
Robby Findler
ae55a5b636 finished for now, checkpointing 
svn: r13644
 2009-02-16 02:24:41 +00:00
Sam Tobin-Hochstadt
3205875736 Add provide: 
svn: r13643
 2009-02-16 02:23:50 +00:00
Robby Findler
601c6e18b3 whoops, didnt mean to commit chat-noir-literate.ss with the last commit, so this is a small fix so it compiles 
svn: r13641
 2009-02-16 02:18:18 +00:00
Robby Findler
f461108f2f svn: r13640 2009-02-16 02:16:08 +00:00
Sam Tobin-Hochstadt
02efc28dff Fix error message when polymorphic inference fails because of expected type. 
Add test case.

svn: r13639
 2009-02-16 02:12:13 +00:00
Eli Barzilay
74f88bde68 Some more require sorting -- no need for the scribble stuff to be 
provided from literate-lang, and switched to scheme/base (so the game
file need to require it for syntax.)

svn: r13636
 2009-02-16 01:02:55 +00:00
Eli Barzilay
2f09a6d3bb minor reformatting 
svn: r13635
 2009-02-16 00:51:03 +00:00
Eli Barzilay
8298feacb2 * There's no need to do the syntactic checks of identifiers for 
`chunk', if there's an error, then people will get it anyway when
  they run the code.  This means that `chunk' can be a simple
  syntax-rule.
* Removed some redundant requires.

svn: r13634
 2009-02-16 00:48:13 +00:00
Eli Barzilay
fa53cbe3c3 fix some scribble-isms, remove (redundant?) schememodname 
svn: r13633
 2009-02-15 23:47:56 +00:00
Eli Barzilay
2e9eed3d25 use a more convenient hack to include the literate source 
svn: r13632
 2009-02-15 23:46:17 +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
Sam Tobin-Hochstadt
24e4cf5aca Merge in changes from type-keys branch: 
- Use stxclass for defintern/dt/de
- Add type keys to optimize subtyping
- Fancier printing when regular printing is disabled for debugging.
- Caching of the results of subtyping.
- Contracts for hashtable types (still insufficent)
- add type for `last-pair' from `scheme/list'
- new "private/type-abbrev.ss" which contains things 
  from "private/type-effect-convenience.ss" that don't 
  need subtyping/unions
- Don't use the real union constructor on mu unfolding
- more work on (not yet enabled) stxclass type parser
- Naming sanity in tests

svn: r13628
 2009-02-15 22:56:14 +00:00
Sam Tobin-Hochstadt
3dd83a4e1c remove this junk 
svn: r13625
 2009-02-15 22:29:27 +00:00
Sam Tobin-Hochstadt
c9377a1f9d sync again 
svn: r13624
 2009-02-15 22:03:05 +00:00
Sam Tobin-Hochstadt
7991ce3ce6 sync to trunk 
svn: r13623
 2009-02-15 22:02:31 +00:00
Sam Tobin-Hochstadt
72e118d92f Remove eta expansion, match is now fixed. 
svn: r13622
 2009-02-15 21:59:55 +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
Sam Tobin-Hochstadt
204806a13a revert back to regular parse type 
svn: r13619
 2009-02-15 21:57:30 +00:00
Sam Tobin-Hochstadt
bf1aaa9dcb add contract conversion for hashtables 
svn: r13617
 2009-02-15 21:55:03 +00:00
Sam Tobin-Hochstadt
2518d54da1 syncheck.ss now uses typed code 
svn: r13616
 2009-02-15 21:48:41 +00:00
Sam Tobin-Hochstadt
ed83737d5f subtype caching 
svn: r13615
 2009-02-15 21:30:02 +00:00
Robby Findler
965110bc55 svn: r13614 2009-02-15 21:05:03 +00:00
Robby Findler
e99c3dc3d9 split things up so that there are two modes for running the file. See the README 
svn: r13613
 2009-02-15 20:57:25 +00:00
Sam Tobin-Hochstadt
aefaaa26d0 re-enable code 
svn: r13612
 2009-02-15 20:47:49 +00:00
Eli Barzilay
ea51547cae Fix typo found by offby1 
svn: r13611
 2009-02-15 20:26:21 +00:00
Eli Barzilay
4820a0d007 remove svn:executable 
svn: r13610
 2009-02-15 18:44:52 +00:00
Sam Tobin-Hochstadt
738b8311af sync to trunk 
svn: r13609
 2009-02-15 17:45:53 +00:00
Matthew Flatt
7daedece49 getting-started doc improvements, and small change to raise-syntax-error 
svn: r13607
 2009-02-15 15:15:06 +00:00
Robby Findler
435adfea0a PR 10073 
svn: r13606
 2009-02-15 14:44:12 +00:00
Stevie Strickland
e453483b09 Okay, after some deep thought, I think I finally have a mental model for 
exactly what unit/c is doing here that's appropriate for fixing this
section of code.  ASCII art diagrams for the win!

This also shows how a unit/c contract addition differs from the use
of unit/new-import-export to switch sigs, which means that I'll likely
not be able to unify as much of the guts of the two as I'd like.  Schade.

svn: r13605
 2009-02-15 09:59:51 +00:00
Eli Barzilay
85e38ec26a Welcome to a new PLT day. 
svn: r13604
 2009-02-15 08:50:25 +00:00
Stevie Strickland
534c50d900 Revise that test. The current behavior is correct, if odd. 
svn: r13603
 2009-02-15 08:40:54 +00:00
Stevie Strickland
b6fdabcd73 Going ahead and adding this test, but need to think about how to attack it. 
svn: r13602
 2009-02-15 08:31:13 +00:00
Stevie Strickland
af1e57d33e Fix scoping of name. 
svn: r13601
 2009-02-15 06:36:00 +00:00
Stevie Strickland
62d82ca9be Clean up some bindings, moving them from defines to letrec-syntax. 
svn: r13599
 2009-02-15 05:20:30 +00:00
Sam Tobin-Hochstadt
345abb820b Use stxclass for defintern. 
Use stxclass for dt and de, and refactor/simplify.
Don't use the real union for unfolding mu types.
Add some descriptions to syntax classes for type parsing.

svn: r13597
 2009-02-15 04:01:30 +00:00
Robby Findler
eed5f52878 PR 10073 
svn: r13595
 2009-02-15 02:49:35 +00:00
Matthew Flatt
8a2c68cffc improve hash docs to better point to the caveats (PR 10074) 
svn: r13594
 2009-02-15 02:31:42 +00:00
Matthew Flatt
089b9aed9e , 
svn: r13593
 2009-02-15 02:08:34 +00:00
Matthias Felleisen
80bad96d24 fixed scheme{} 
svn: r13592
 2009-02-15 01:41:18 +00:00
Matthias Felleisen
f302dbfb91 integer-sqrt and make-rectangular added 
svn: r13591
 2009-02-15 01:34:54 +00:00
Matthias Felleisen
d43f58df4c annotated integer inputs 
svn: r13590
 2009-02-15 01:31:08 +00:00
Matthias Felleisen
4f24983d29 renamed world to iworld, for internal 
svn: r13588
 2009-02-15 01:11:24 +00:00
Matthias Felleisen
203ba8e2db renamed world to iworld, for internal 
svn: r13587
 2009-02-15 00:57:41 +00:00
Robby Findler
7ac7491d53 svn: r13586 2009-02-14 22:40:42 +00:00
Robby Findler
7cc349eab4 Added Eli's check syntax-friendly let expression generation 
svn: r13585
 2009-02-14 21:47:33 +00:00
Stevie Strickland
cbcad0528c There is now a new form, define-unit/contract, that basically mixes 
define-unit with the application of a unit contract.  So you can think
of it as a define/contract for units that keeps the static info needed
for link inference.

svn: r13584
 2009-02-14 21:32:02 +00:00
Robby Findler
093a897708 svn: r13583 2009-02-14 20:59:45 +00:00
Sam Tobin-Hochstadt
f5c60e9282 now fully typechecks 
svn: r13582
 2009-02-14 20:48:40 +00:00
Sam Tobin-Hochstadt
7830091d42 re-enable printing 
svn: r13581
 2009-02-14 20:48:26 +00:00
Sam Tobin-Hochstadt
e198478055 type keys now work, mostly 
svn: r13580
 2009-02-14 20:27:37 +00:00
Sam Tobin-Hochstadt
b5ccbb45bd branch 
svn: r13579
 2009-02-14 16:03:42 +00:00
Sam Tobin-Hochstadt
e13c4b690d new branch initial commit 
svn: r13578
 2009-02-14 16:03:25 +00:00
Matthew Flatt
a1cd265b84 add tex2page.sty 
svn: r13576
 2009-02-14 13:40:41 +00:00
Matthew Flatt
8cf310d8fc doc scribble/comment-reader 
svn: r13575
 2009-02-14 13:34:58 +00:00
Ryan Culpepper
44efc7cb48 stxclass: 
fixed scoping of attributes (wrt declare)
  added 'attribute' form
  added internal/external literals form

svn: r13574
 2009-02-14 12:17:14 +00:00
Eli Barzilay
ccce0e4d70 Welcome to a new PLT day. 
svn: r13573
 2009-02-14 08:50:16 +00:00
Stevie Strickland
ba534102e8 Changed the name in the grammar, but not here. 
svn: r13572
 2009-02-14 08:11:16 +00:00
Stevie Strickland
ebe06e9572 Allowing _all_ types of tagged-sig-specs in unit/c, though whether that 
makes sense or not, we'll see.  Easy enough to set up, and it also sets
up the plan for a new form I'd like to add, which is why I've factored out
the syntax classes into their own file.

svn: r13570
 2009-02-14 07:40:50 +00:00
Stevie Strickland
4f12a1e364 Use unit-binding, and link to the section that details handling first-class 
units in more length.

svn: r13569
 2009-02-14 06:14:08 +00:00
Ryan Culpepper
5b0ceb3db4 stxclass: improved error reporting & transparent stxclasses 
svn: r13568
 2009-02-14 03:00:24 +00:00
Stevie Strickland
dba74f8f15 Make a table of the original imports these came from for easy lookup. This 
way we can actually bind only the identifiers which were in the original
signature over the contract.

svn: r13567
 2009-02-14 02:33:15 +00:00
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
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
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
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
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