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

18667 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mike Sperber
5dad68b384 Zap `DMdA-' from primitive procedures in DMdA. 
Meaning the the procedure names are displayed without the "DMdA-"
prefix in the stepper and the REPL.
 2010-10-08 15:25:44 +02:00
Mike Sperber
b4493fdab4 Add cons' and cons?' as synonyms for make-pair' and pair?' to DMdA. 
Requested by Michael Hanus & Peter Thiemann.
 2010-10-08 15:25:44 +02:00
Mike Sperber
29a0511439 Give the type-name signature off `define-record-procedures' a name. 2010-10-08 15:25:44 +02:00
Mike Sperber
9b1188c77a Re-instate Robby's hack to display test results off REPL errors. 
... and generalize it so there's an action before (clearing the old
tests out) in addition to after (displaying the test results).

Also, do for DMdA as for HtDP.
 2010-10-08 15:25:44 +02:00
Mike Sperber
02cde446cc Unbreak source locations for errors off the REPL in teaching languages. 
Make sure we notice when the error source is the REPL, not the
definitions.
 2010-10-08 15:25:44 +02:00
Matthew Flatt
d0fd2c40ad fix JIT future glue for MSVC 2010-10-08 06:15:15 -06:00
Mike Sperber
3e205b6193 Better error message for certain bogus signatures. 2010-10-08 13:55:42 +02:00
Mike Sperber
7572b24870 Unbreak stepper. 
(It was broken by fed1e3dc3e2d7268c0297a0ce699d3deb2ba75c5.)
 2010-10-08 13:41:44 +02:00
Mike Sperber
38cf78e213 Allow specifying arbitary expressions in a signature declaration. 
Fixes PR 11282
 2010-10-08 13:12:18 +02:00
Mike Sperber
1e44fc8e43 More "contract" -> "signature" identifier renaming. 2010-10-08 11:51:33 +02:00
Mike Sperber
91590040dc Ignore duplicate signature declarations. 2010-10-08 11:50:17 +02:00
Mike Sperber
87da2f35b9 Provide English and German versions of deinprogramm/signature/signature. 2010-10-08 11:19:38 +02:00
Mike Sperber
b98b83b672 Make uncaught exceptions in teaching languages pop up test-engine display. 
... so as to catch any test-case failures or signature violations that
may have occurred.
 2010-10-08 10:25:37 +02:00
Mike Sperber
6997b08fa2 Remove front-end/interaction hack for test-engine. 
It's not needed anymore after Robby's fix to namespace handling in the
teaching languages.
 2010-10-08 09:28:07 +02:00
Mike Sperber
b4d1e29784 Rename test-info' in places where it's really a test-engine'. 2010-10-08 09:02:39 +02:00
Robby Findler
05d16d9311 closes PR 11293 2010-10-07 19:36:18 -05:00
Jay McCarthy
b9b7bb784a Stupidly forgot to adjust pattern mentioned in the place that I changed 2010-10-07 18:35:25 -06:00
Jay McCarthy
c74c94d6fd Allowing full require spec stx in require/doc 2010-10-07 17:24:39 -06:00
Matthew Flatt
637c541190 fix for lightweight continuations and platforms where they're not available 2010-10-07 17:00:52 -06:00
Matthew Flatt
c84b7b400e fix r6rs `lambda' with a rest arg 
Closes PR 11292
 2010-10-07 17:00:52 -06:00
Matthew Flatt
281f935503 doc tweak 2010-10-07 17:00:51 -06:00
Matthias Felleisen
8ef896431a adjusting big-bang and universe so that they call functions and don't expand into object construction 2010-10-07 18:49:43 -04:00
Vincent St-Amour
db0046101c Improved TR's error messages when all domains but one have been eliminated. 2010-10-07 18:30:35 -04:00
Matthew Flatt
65ad6aee20 fix `touch' to run a suspended future in the runtime thread 
if no future thread is running the future; also adjust the
 policy for suspending a future so that even synchronized
 operations can suspend if there's other work to be done;
 also also fix `current-future' for nested `touch'es and when
 parallel futures are disabled
 2010-10-07 14:58:53 -06:00
Robby Findler
fed1e3dc3e adjusted the way the teaching languages work so that signature 
violations in the REPL are tracked.
 2010-10-07 14:27:56 -05:00
Robby Findler
058c05258e Rackety 2010-10-07 14:27:31 -05:00
Robby Findler
4992e2ab27 added some error checking 2010-10-07 14:27:30 -05:00
Sam Tobin-Hochstadt
7bcd107e7f Fix `overlap' for refinements of base types. 2010-10-07 11:19:54 -04:00
Sam Tobin-Hochstadt
da80d6c034 allow +,-,(,) in code subscripts and superscripts 2010-10-07 10:18:06 -04:00
Sam Tobin-Hochstadt
a45ce954d7 Remove outdated comment. 2010-10-07 10:18:06 -04:00
Matthew Flatt
15302dc844 adjust futures to decouple blocked futures from worker threads 
which required adding a notion of "lightweight continuation" to
 the runtime system, where a lightweight continuation involves
 only frames from JIT0generated code (so that details of the stack
 layout are known, for example)
 2010-10-07 07:39:16 -06:00
Vincent St-Amour
99178c70a0 Have the optimizer ignore struct/exec. 2010-10-06 18:43:35 -04:00
Vincent St-Amour
3ec9503da9 Changed the typed benchmark harness to reflect optimization on by default. 2010-10-06 17:32:31 -04:00
Vincent St-Amour
d39cb530cf Updated the documentation of TR's optimizer. 2010-10-06 17:32:30 -04:00
Vincent St-Amour
abcbce129b Changed the optimizer's test harness for optimization on by default. 2010-10-06 17:32:30 -04:00
Vincent St-Amour
8baa1682af Turned the optimizer on by default. 2010-10-06 17:32:30 -04:00
Vincent St-Amour
5395dbca12 Fixed tautology/contradiction recording to work with case-lambda. 2010-10-06 17:32:29 -04:00
Vincent St-Amour
f281abe693 Added quote-syntax to kernel-literals. 2010-10-06 17:32:29 -04:00
Vincent St-Amour
2172328189 Register types for send exprs in the type table. 2010-10-06 17:32:29 -04:00
Jay McCarthy
7871487b12 Info 2010-10-06 13:03:24 -06:00
Jon Rafkind
2f730f479c add keyword argument to eli-tester that allows for silent successes 2010-10-06 11:10:43 -06:00
Jay McCarthy
e847632456 OpenSSL more compatible with tcp unit 2010-10-06 10:41:09 -06:00
Jay McCarthy
85f38415bc Removing sorting on deq 2010-10-06 10:41:09 -06:00
Jay McCarthy
19ab1bb980 Setting props 
Scaffold for git monitor
Persistent queue implementation
 2010-10-06 10:41:08 -06:00
Jay McCarthy
2e5a0e3a37 Initial slave server 2010-10-06 10:41:08 -06:00
John Clements
e94163f37a it's -> its 2010-10-05 21:09:17 -07:00
Jay McCarthy
57d27373ac Fixing struct pattern optimization 2010-10-05 09:55:16 -06:00
Eli Barzilay
ad3ee86863 Switch to racket/base, and other racketizations. 2010-10-05 09:18:46 -04:00
Eli Barzilay
bbe0ef860a Some small fixes, and some reformatting 2010-10-05 09:18:46 -04:00
Matthew Flatt
93ef85bbe0 fix JIT `unsafe-vector*-ref' on chaperone with literal index argument 2010-10-05 06:29:47 -06:00