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

16873 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent St-Amour
ec799fb208 Added Channel types. 2010-06-09 14:54:35 -04:00
Vincent St-Amour
0741b48c99 Modified the for: macros to use sequence types. 2010-06-09 14:54:34 -04:00
Vincent St-Amour
2cd0321a23 Took responsibility for Typed Scheme's optimizer. 2010-06-09 14:54:33 -04:00
Vincent St-Amour
f42880c320 Moved the typed common benchmarks to a separate subdirectory. 2010-06-09 14:54:33 -04:00
Vincent St-Amour
077e1d9bca Increased the size of the pseudoknot benchmark and ported it to 
idiomatic racket, then to Typed Scheme.
 2010-06-09 14:51:52 -04:00
Stevie Strickland
bad92f348b Avoid building unnecessary intermediate lists. 2010-06-09 14:26:26 -04:00
Stevie Strickland
99bb46d225 Fix flat immutable container ctcs so that errors pinpoint specific elements. 
* Fixes immutable container contract combinators so that, if given flat
   contracts, they report blame errors in terms of the specific element
   that failed, instead of reporting the entire container as failing.

   This fixes issues seen with contracts such as (listof string?), where
   the contract is applied to a list with far too many elements to print
   all at once and the failing element is never printed.

 * Fixes vector-immutable/c so that if all the element contracts are flat,
   we create a flat contract, like the other immutable container contract
   combinators.

 * Also have more appropriate first-order checks for each combinator
   than just "Is it the right type of container?".

These changes affect:
 listof
 non-empty-listof
 vector-immutableof
 cons/c
 box-immutable/c
 vector-immutable/c
 2010-06-09 13:29:04 -04:00
Matthew Flatt
d6ddbe15d5 support kw/opt args in define-syntax' and define-for-syntax' 2010-06-09 13:05:43 -04:00
Sam Tobin-Hochstadt
30fe053f78 typed/racket/no-check 2010-06-09 12:51:27 -04:00
Sam Tobin-Hochstadt
ed5b10afd2 document `assert' 2010-06-09 12:20:39 -04:00
Sam Tobin-Hochstadt
78023d08f9 Sequenceof type. 
- inferencing and subtyping relation with vectors, lists, etc
- use in `make-sequence'
- add tests
 2010-06-09 11:03:12 -04:00
Mike Sperber
2c964b91f0 Provide prop:print-converter propery with `define-record-procedures'. 
This fixes quasiquote and constructor-style printing to not fall for
the extra lazy-contract-checking field.
 2010-06-09 14:37:36 +02:00
Mike Sperber
fc879f1894 Make use of stepper-define-struct-hint' in define-record-procedures'. 2010-06-09 14:33:21 +02:00
Mike Sperber
3319fa41d0 Add properties to the HtDP teaching languages. 2010-06-09 14:16:34 +02:00
Mike Sperber
c7a7eb0a58 Export Symbol contract into HtDP teaching languages. 2010-06-09 13:57:17 +02:00
Mike Sperber
f29b6483f9 Export `posn' contract to the HtDP teaching languages. 2010-06-09 13:46:51 +02:00
Mike Sperber
744b45f470 Rename HtDP list' contract to list-of'. 2010-06-09 12:07:47 +02:00
Mike Sperber
5b4d25295d Make `define-struct' define contracts. 
In particular, in

(define-struct foo (a b))

... foo is a contract, and a contract combinator `foo-of' is defined.
 2010-06-09 11:07:22 +02:00
Mike Sperber
7269b2a1c1 Fix one of the test-outcome messages. 2010-06-09 10:46:56 +02:00
Sam Tobin-Hochstadt
78832fe332 Support case-lambda with multiple branches with keyword arguments. 2010-06-08 17:50:48 -04:00
Robby Findler
716aacf388 changed the framework's standard menus frame so that the quit menu is 
never created under mac os x (which is the right behavior to make quit
actually work properly).
 2010-06-08 16:45:15 -05:00
Sam Tobin-Hochstadt
c8732f12e4 fix prop 2010-06-08 16:55:46 -04:00
Sam Tobin-Hochstadt
ab70fed8a8 Scheme -> Racket in styles 
Scribble style names.
 .tex and .css files
 2010-06-08 16:40:47 -04:00
Ryan Culpepper
b6b8e29957 macro-debugger: made properties display respect inverted-colors mode 2010-06-08 14:12:34 -06:00
Ryan Culpepper
1c9bb4a72a macro-stepper: fixed colors for white-on-black display 2010-06-08 14:12:34 -06:00
Sam Tobin-Hochstadt
679967b491 PLT Scheme -> Racket 2010-06-08 13:08:13 -04:00
Sam Tobin-Hochstadt
6d2b5569f4 Remove bogus #lang line 2010-06-08 13:08:13 -04:00
Sam Tobin-Hochstadt
84eae2b5e3 scheme -> racket in test-engine 2010-06-08 12:34:20 -04:00
Robby Findler
e74e929a92 changed the macro stepper to be responsive to the white-on-black preference 
(but there is still some work to do to actually select a reasonable set
 of colors and probably some refactoring, but at least the interface with
 the framework is there now, so the changes should not be hard from here on)
 2010-06-08 11:33:29 -05:00
Sam Tobin-Hochstadt
a8593de3c1 Scheme -> Racket fixes 2010-06-08 12:23:50 -04:00
Sam Tobin-Hochstadt
16391dda3d Fix Scheme/Racket typo. Closes PR 10965. 2010-06-08 12:05:58 -04:00
Sam Tobin-Hochstadt
9fc7a1eca4 Use `assert' for casts in typed benchmarks. 2010-06-08 12:05:58 -04:00
Sam Tobin-Hochstadt
0f4db44be3 more precise type for `max' 2010-06-08 12:05:57 -04:00
Sam Tobin-Hochstadt
e44e454b94 Predicates for numeric comparisons. 2010-06-08 12:05:57 -04:00
Sam Tobin-Hochstadt
5f5dca4c69 Undo changes to benchmarks to use `sub1'. 2010-06-08 12:05:57 -04:00
Sam Tobin-Hochstadt
7f300a2c4f Special-case (- x 1) for use in loops. 2010-06-08 12:05:56 -04:00
Mike Sperber
30f9cd0dab Merge remote branch 'local-plt/master' 2010-06-08 14:22:51 +02:00
Mike Sperber
da88f22b0e Change do-define-struct' to use make-struct-type' explicitly. 
This is to enable the contracts work that is to come.
 2010-06-08 14:20:07 +02:00
Mike Sperber
97a04e9f9d Fix error message to match the test suite's check for it. 2010-06-08 11:22:35 +02:00
Mike Sperber
f54dc18326 Fix file names for loading. 2010-06-08 11:19:28 +02:00
Mike Sperber
dee21e9e73 Add what's needed, delete what's in the way. 
Stuff I had forgotten earlier.
 2010-06-08 09:26:07 +02:00
Carl Eastlund
d035c30254 Added DrDr house-calls directory to git-ignored files. 2010-06-07 23:00:17 -04:00
Matthew Flatt
1b0a173b34 fix detail in name-change faq 2010-06-07 20:51:44 -04:00
Sam Tobin-Hochstadt
b1ea02d546 fix typo 2010-06-07 20:45:54 -04:00
Matthew Flatt
1712dfb7f5 fix make-gui-namespace from scheme/gui/base and racket/gui/base 
so that the namespace starts with scheme/base or racket/base
 respectively
 2010-06-07 20:06:51 -04:00
Matthew Flatt
6b24320ea7 fix overzealous replacement of "Scheme" with "Racket" in quick 
but a more extensive rewrite is probably warranted
 2010-06-07 20:06:51 -04:00
Eli Barzilay
05f93bfc28 Add version indicator. 2010-06-07 14:08:50 -04:00
Sam Tobin-Hochstadt
7df8e32793 Properly handling immutable invariant structs. 2010-06-07 14:03:06 -04:00
Eli Barzilay
57d0011d58 Put a download button on the toplevel download page too. 
The download toplevel is not meant to be part of the web, but people
will still get there -- so be nice.
 2010-06-07 13:41:13 -04:00
Eli Barzilay
225c94cca6 The navbar also uses the download page. 
(This leaves the toplevel download page unlinked (as expected), so it's
required explicitly.)
 2010-06-07 13:41:13 -04:00