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

25704 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Asumu Takikawa
61784877a0 Fix blame for behavioral subtyping. 
- negative parties of interface contracts should be
    the interface itself
 2012-05-04 17:24:55 -04:00
Stevie Strickland
14da5dacc5 Small fixes. 
* Use #f instead of (lambda () #f) in hash-ref call
 * We want the positive blame, not negative, when interface-contracted
   methods are passing through a class/c application.
 * Use (interface <i>) and (class <c>) for interface and class blame.
 2012-05-04 17:24:55 -04:00
Asumu Takikawa
ba8e879703 Use a weak hashtable to cache concrete instances 2012-05-04 17:24:55 -04:00
Asumu Takikawa
10967a22ce Make class/c and interface contracts cooperate 
- also fixed a problem with subclassing, though I'm not
   sure it's quite correct yet
 2012-05-04 17:24:55 -04:00
Asumu Takikawa
670154bd2b First cut of working interface contracts. 
- still need to fine-tune code (maybe avoid lists)
  - is the blame story correct?
  - weak hash table for new class copy
  - interaction with class/c
 2012-05-04 17:24:55 -04:00
Asumu Takikawa
f4fb628934 Changing new to (eventually) concretize interface contract methods. 
* No-op for now, but will later do more work.
 * Fix up Typed Racket to handle the new do-make-object.
 2012-05-04 17:24:55 -04:00
Asumu Takikawa
f09867f6a7 Add function to find ctcs/blame for interfaces 2012-05-04 17:24:55 -04:00
Asumu Takikawa
a7e03aee2c Add interface contract meth. names to class struct 2012-05-04 17:24:55 -04:00
Asumu Takikawa
6f4ad1de25 Add contracts to interface syntax & structures 2012-05-04 17:24:55 -04:00
Eli Barzilay
26c13d278e Move the "mkheart.rkt" generator to a new meta directory. 2012-05-04 17:24:08 -04:00
Andreas Rottmann
53cbe874e0 Allow installation into arbitrary directories with "plt-r6rs --install" 
Hi!

Here's an updated version of the patch, which also mentions the added
option in the docs; also the specified directory is added to the
collection paths, since compilation will fail otherwise.

From: Andreas Rottmann <a.rottmann@gmx.at>
Subject: Allow installation into arbitrary directories with "plt-r6rs --install"

Added a `--collections' option to plt-r6rs which allows to specify the
directory where libraries are installed into.
 2012-05-04 17:24:08 -04:00
Jose Antonio Ortega Ruiz
6f0e79feff Fixes for trivial typos in Reference sec. 1.2. 
(Eli: Ancient commit on the mailing list that wasn't merged...  Most
things were already fixed.)

Signed-off-by: Jose Antonio Ortega Ruiz <jao@gnu.org>
 2012-05-04 17:24:07 -04:00
Stephen Bloch
8f4178e7eb Eli's suggested patch to enable searching for picturing-programs library 
functions (which includes image and universe) using F1 from teaching
languages.
 2012-05-04 14:56:28 -04:00
Matthew Flatt
9e657a2026 racket/draw: fix handling of font hinting 2012-05-04 11:19:01 -06:00
Matthew Flatt
0dbd3f1610 redex typesetting: make token splitter more tolerant 
Possibily the typesetting enginer should reject an ill-formed
input, instead; I'm not sure what went wrong with the input.
 2012-05-04 10:20:24 -06:00
Matthew Flatt
0a7ac91427 fix `box-cas!' name in error message 2012-05-04 10:20:24 -06:00
Eli Barzilay
3c49e78eb7 New Racket version 5.3.0.5. 2012-05-04 03:30:11 -04:00
Asumu Takikawa
f3b687c8ed Add contract-add-context to contract system. 
This procedure is used to add blame contexts to an
existing contract. This prevents the need to re-create
the contract in order to add blame contexts.
 2012-05-04 02:52:46 -04:00
Matthew Flatt
4292c6e037 fix docs for `box-cas!', fix JITted version to check mutability 2012-05-03 21:38:36 -06:00
Matthew Flatt
19d474d045 fix some tests related to the make-color' and make-pen' addition 2012-05-03 19:22:58 -06:00
Matthew Flatt
0d88a08c48 implement branch mode JIT generation for `box-cas!' 
Also, move slow path into common code
 2012-05-03 19:22:46 -06:00
Matthew Flatt
23d46620f2 documentation tweaks 2012-05-03 19:22:46 -06:00
Matthew Flatt
209d384204 remove obsolete comment 2012-05-03 19:19:24 -06:00
Matthew Flatt
7d18d38751 avoid // comments in C 
To possibly stay compatible with older (pre-C99) compilers just a
little longer.
 2012-05-03 19:19:24 -06:00
Aaron Turon
868dcb6d57 Add box-cas!' and unsafe-box*-cas!'. 
These primitives atomically update a box to a new value, as long
as the current value is the same as a provided value.  They also
are future-safe.

When futures are enabled, they use low-level hardware instructions
to perform the change atomically.
 2012-05-03 19:19:24 -06:00
Asumu Takikawa
b211782bcd Lift the use of (quote-module-name) by the default current-contract-region. 2012-05-03 19:47:24 -04:00
Stevie Strickland
b2bfbad240 Add special typechecking rule for expansion of (quote-module-name). 2012-05-03 19:38:47 -04:00
Asumu Takikawa
4651ccc0ad Fix a TR issue with syntax-local-lift-expression 2012-05-03 19:36:32 -04:00
John Clements
9f9468f7c2 check-= uses magnitude to compare number differences 2012-05-03 10:55:49 -07:00
John Clements
721af649d7 reformatting 2012-05-03 10:55:49 -07:00
Matthew Flatt
5ffb9389ac fix `raco setup' for splicing collections 
Closes PR 12676
 2012-05-03 11:11:38 -06:00
Matthew Flatt
1b0f6cc995 doc repair 
Closes PR 12708
 2012-05-03 11:11:38 -06:00
Robby Findler
f2816e72b4 fix proc-doc/names documentation 
closes PR 12739
 2012-05-03 11:36:09 -05:00
Jay McCarthy
0e628037ab Changes re: jGc 2012-05-03 08:51:49 -06:00
Eli Barzilay
2fa345ef9e Revise license page with the clarification text that was sent on the list. 
(Slightly revised.)
 2012-05-03 10:25:34 -04:00
Eli Barzilay
ed2b579e3c Fail early on a non-pair input to `list-ref'. 
There's no index that works with non-pairs, and the generic error
message in such cases is confusing.

Closes PR12740.
 2012-05-03 10:24:05 -04:00
Eli Barzilay
1eed0c3d92 Improve the windows text a bit. 2012-05-03 10:24:05 -04:00
Eli Barzilay
97850b5002 No need to use a new 'at-exp-prop property to identify newlines 
The information is already present in the 'scribble property, so use it
instead.
 2012-05-03 10:24:05 -04:00
Eli Barzilay
5fd13c82c3 Recommend using racket' rather than gracket-text' in the handin quickstart. 2012-05-03 10:24:05 -04:00
Eli Barzilay
68544f55c1 Link to racketcon from the community page. 2012-05-03 10:24:03 -04:00
Asumu Takikawa
efc581e831 Revise Getting Started based on feedback. 2012-05-02 22:59:06 -04:00
Asumu Takikawa
420b66ca4e Add an example to scriblib/autobib docs. 2012-05-02 22:39:06 -04:00
Stevie Strickland
4d99b83df8 Removing mzlib/class-traced. 
Both Carl and Matthias have signed off on removing this code.
 2012-05-02 19:15:53 -04:00
Matthew Flatt
50898845ba fix build in static-sized fd_set mode 
This mode may be relevant to Sparc Solaris, for example.
 2012-05-02 16:54:05 -06:00
Matthew Flatt
4581a7addf avoid intermediate syntax objects for binding comparison 
The expander no longer needs to generate certain phase-N
identifiers, since we now have a comparison operation that
uses different phases for each of two identifiers.
 2012-05-02 16:54:05 -06:00
Vincent St-Amour
376b31cf28 Use icons to distinguish optimizations from missed optimizations. 2012-05-02 17:54:29 -04:00
Vincent St-Amour
d04a1be7ea Add lines to separate popup entries. 2012-05-02 17:48:57 -04:00
Vincent St-Amour
a2a60cb924 Fix TR test for new contract error message format. 2012-05-02 15:14:39 -04:00
Vincent St-Amour
a62444fa3e Optimize integers used as sequences. 2012-05-02 15:14:37 -04:00
Matthew Flatt
68e005fb2c racket/draw: make-immutable-{color,brush,pen} => make-{color,brush,pen} 
Also, use keywords for `make-pen' and `make-brush'.

Adding `make-pen' and `make-color' creates many conflicts among
teaching libraries, such as `2htdp/image'. These are easy to fix
up in the tree, but adding such obvious names to `racket/draw'
may create other compatibility problems, so we might have to reconsider
the names.

In consultation with Asumu.
 2012-05-01 21:04:40 -06:00