suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
12,194 Commits 17 Branches 54 Tags 278 MiB
04600dfa28
Commit Graph

12194 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Matthew Flatt
cee5d694ad fix pasteboard rubber-band drawing 
svn: r14820
 2009-05-14 19:37:08 +00:00
Robby Findler
ef9ee828bf svn: r14819 2009-05-14 19:25:27 +00:00
Robby Findler
ad856384a3 svn: r14818 2009-05-14 19:23:24 +00:00
Sam Tobin-Hochstadt
792bacbd55 turn printing back on 
svn: r14817
 2009-05-14 18:57:43 +00:00
Sam Tobin-Hochstadt
af623cbdc7 add test of `apply values' 
svn: r14816
 2009-05-14 18:57:23 +00:00
Sam Tobin-Hochstadt
1047f7625d Handle ValuesDots in check-below. 
Fix typo in valuesdots handling in values->tc-results
Handle ValuesDots in do-ret.
Don't try to construct silly wrappers for `apply values'
Don't use rest as list extension if it's #f
Fix tc-result handling for check-subforms/check
Add stronger contracts for Scope
Always generate substitution for infer/dots.
Fix type of `time-apply'

svn: r14815
 2009-05-14 18:57:02 +00:00
Eli Barzilay
40467a005e added tests for topological-sort 
svn: r14814
 2009-05-14 15:33:25 +00:00
Eli Barzilay
9c99a32d29 added tests for topological-sort 
svn: r14813
 2009-05-14 15:33:20 +00:00
Sam Tobin-Hochstadt
775fa34f5f Add some contracts in tc/plambda. 
Fix handling of tc-results vs types.

svn: r14812
 2009-05-14 15:11:33 +00:00
Eli Barzilay
ccca3b3df6 fix dropping cycles 
svn: r14811
 2009-05-14 15:08:56 +00:00
Sam Tobin-Hochstadt
d8c613494e Fix type->contract of function types. 
svn: r14810
 2009-05-14 14:45:24 +00:00
Sam Tobin-Hochstadt
b30338e0c5 Add start of type->contract test suite. 
Add test for poly annotation failure.

svn: r14809
 2009-05-14 14:45:07 +00:00
Eli Barzilay
bc22c8a824 print the *-node appropriately 
svn: r14808
 2009-05-14 10:34:09 +00:00
Eli Barzilay
35acf760cd Welcome to a new PLT day. 
svn: r14807
 2009-05-14 07:50:20 +00:00
Eli Barzilay
0d933c3f86 subsort is really any function to apply on a level 
svn: r14806
 2009-05-14 07:47:28 +00:00
Eli Barzilay
76574dc619 tests need the structs too 
svn: r14805
 2009-05-14 07:36:46 +00:00
Eli Barzilay
86519ae414 Forgot to actually move the topological sort code 
svn: r14804
 2009-05-14 07:35:03 +00:00
Eli Barzilay
8bea8abc75 * Factor out the struct definitions into a separate file 
* Move the topological sort into utils.ss

svn: r14803
 2009-05-14 07:31:36 +00:00
Eli Barzilay
133f044a33 finally, make the topological-sort do a topological sort instead of a BFS 
svn: r14802
 2009-05-14 07:23:09 +00:00
Eli Barzilay
975b4d2fa8 use hash-ref! 
svn: r14801
 2009-05-14 05:49:15 +00:00
Eli Barzilay
09502205e2 typo in comment 
svn: r14800
 2009-05-14 05:47:18 +00:00
Sam Tobin-Hochstadt
a47bb9e8c3 inference for filters and objects 
svn: r14799
 2009-05-13 21:25:56 +00:00
Sam Tobin-Hochstadt
88159e2479 add require 
svn: r14798
 2009-05-13 21:25:41 +00:00
Sam Tobin-Hochstadt
5f1b4a7daf Fix two tests 
svn: r14797
 2009-05-13 16:17:01 +00:00
Sam Tobin-Hochstadt
a3fb3575f9 rationalize get-type/infer to handle tc-results. 
Fix tc-let to handle tc-results in various places.

svn: r14796
 2009-05-13 16:16:39 +00:00
Sam Tobin-Hochstadt
8de55a4207 sync to trunk 
svn: r14795
 2009-05-13 14:35:24 +00:00
Sam Tobin-Hochstadt
8ca532220a Enable inference for ((lambda with rest args when no annotation on rest arg 
svn: r14794
 2009-05-13 14:34:44 +00:00
Eli Barzilay
b23449ef00 Welcome to a new PLT day. 
svn: r14793
 2009-05-13 07:50:18 +00:00
Sam Tobin-Hochstadt
f349525244 Contracts for lexical-env 
Fix type of quotient/remainer function

svn: r14792
 2009-05-12 21:51:01 +00:00
Sam Tobin-Hochstadt
54eb4cc314 formatting 
svn: r14791
 2009-05-12 21:50:16 +00:00
Sam Tobin-Hochstadt
8fc6e38b11 Fix inference when filters/objects are not needed 
svn: r14790
 2009-05-12 21:31:21 +00:00
Matthew Flatt
0f1fc2d664 redex doc corrections 
svn: r14789
 2009-05-12 21:30:28 +00:00
Sam Tobin-Hochstadt
a8a64cfa7c Special case for `call-with-values' 
handle subtyping with ... args

svn: r14788
 2009-05-12 20:56:32 +00:00
Sam Tobin-Hochstadt
82c6720bc9 Fix more tests for false info 
svn: r14787
 2009-05-12 19:54:09 +00:00
Sam Tobin-Hochstadt
5300481176 Move `hashof' contract combinator to utils/utils.ss 
Fix frees for arr to use `fix-bounds' properly.
Match : symbolically in ->*

svn: r14786
 2009-05-12 19:53:48 +00:00
Sam Tobin-Hochstadt
ce9f98098d Type goes before symbol in drest. 
Handle tc-results properly in a few places.

svn: r14785
 2009-05-12 16:53:24 +00:00
Sam Tobin-Hochstadt
f24cbf9952 Fix more tests with truth info. 
svn: r14784
 2009-05-12 16:52:55 +00:00
Sam Tobin-Hochstadt
e796cd802b fix wrong results - 25 fails 
svn: r14783
 2009-05-12 15:30:15 +00:00
Sam Tobin-Hochstadt
c19b66d5db add tests for overlap 
fix more typecheck tests - 29 failures

svn: r14782
 2009-05-12 15:17:30 +00:00
Sam Tobin-Hochstadt
7b4081eef1 Allow objects to be specified in -> 
Fix overlap to handle overlapping base types (numbers)

svn: r14781
 2009-05-12 15:13:17 +00:00
Matthew Flatt
1809d9286e fix r6rs template problem with quoting ellipses 
svn: r14780
 2009-05-12 13:44:04 +00:00
Matthew Flatt
5df29ea906 fix bug with editor-snip% in pasteboard% in editor-canvas% on Windows or X11 (i.e., platforms that use the offscreen bitmap for drawing editors) 
svn: r14779
 2009-05-12 12:52:55 +00:00
Eli Barzilay
da6e35bf98 Welcome to a new PLT day. 
svn: r14778
 2009-05-12 07:50:18 +00:00
Eli Barzilay
f51c6bbe64 Fix the leaking of internal drscheme filenames in error messages when 
debugging is disabled:
* got rid of the `stacktrace-runtime-name' hack in "rep.ss", replace
  it by a more reliable capture of the context, and later cut the
  stack according to that specific context.
* the cutting is done if possible, no need for the "ACK!" error
  message if no cutting point is found.
* rename `with-stacktrace-name' -> `with-stack-checkpoint'
* add this to "module-language.ss" too, to avoid including it in error
  messages.

svn: r14777
 2009-05-12 02:12:49 +00:00
Matthew Flatt
9375b49d1b let-rec clarifications 
svn: r14776
 2009-05-11 20:13:54 +00:00
Sam Tobin-Hochstadt
1ce4411ceb fix tests to handle identifiers, down to 38 fails 
svn: r14775
 2009-05-11 19:40:58 +00:00
Matthew Flatt
fd09fd9a33 STRIP_DEBUG configuration 
svn: r14774
 2009-05-11 15:43:19 +00:00
Eli Barzilay
a7580f9c60 Welcome to a new PLT day. 
svn: r14773
 2009-05-11 07:50:08 +00:00
Robby Findler
0c0aa26e6f PR 10231 
svn: r14769
 2009-05-10 21:59:13 +00:00
Robby Findler
01af999556 svn: r14768 2009-05-10 21:53:09 +00:00