Stevie Strickland
b5efb99548
Going to try switching this back, but need to sync from trunk to get Matthew's
...
changes to see if it works.
svn: r13098
2009-01-14 01:12:52 +00:00
Matthew Flatt
678f6773aa
fix problem in local-expand and references to not-yet-bound identifiers
...
svn: r13097
2009-01-13 23:28:34 +00:00
Stevie Strickland
37b2272ecf
Move away from using the error-syntax to grab the unit name wherever we want
...
it -- just use a syntax parameter.
svn: r13096
2009-01-13 23:08:47 +00:00
Stevie Strickland
455999eadd
Add first-order contract checking at definition time.
...
svn: r13095
2009-01-13 20:52:58 +00:00
Casey Klein
5ca04f3497
Randomized testing forms no longer report exceptions as
...
counterexamples or return #t when unable to find a counterexample.
svn: r13094
2009-01-13 20:50:36 +00:00
Stevie Strickland
4899d91b97
Lacked unprotected ids, and c should have never been false here anyway.
...
svn: r13093
2009-01-13 20:40:36 +00:00
Ryan Culpepper
3b8c164074
macro stepper: changed syntax browser classes to use iop
...
-- This line, and those below, will be ignored--
M macro-debugger/syntax-browser/properties.ss
M macro-debugger/syntax-browser/display.ss
M macro-debugger/syntax-browser/widget.ss
M macro-debugger/syntax-browser/controller.ss
M macro-debugger/syntax-browser/interfaces.ss
M macro-debugger/syntax-browser/frame.ss
M macro-debugger/util/class-iop.ss
svn: r13092
2009-01-13 20:36:16 +00:00
Ryan Culpepper
b8db5490f0
stxclass: turn off debugging printing
...
svn: r13091
2009-01-13 20:32:13 +00:00
Stevie Strickland
1cede752f9
Not sure whether we want just a simple rename transformer for non-contracted
...
ids or whether we really want a set! transformer that still disallows set!ing.
Hmm.
svn: r13090
2009-01-13 19:41:52 +00:00
Stevie Strickland
909dd82f7c
Using splicing-syntax-parameterize and a syntax-introducer instead of
...
what I had originally.
svn: r13089
2009-01-13 19:36:54 +00:00
Stevie Strickland
51da9beab4
This is a change I was toying with that shouldn't have gotten caught up in
...
the trunk sync of 13084.
svn: r13088
2009-01-13 19:01:21 +00:00
Eli Barzilay
0acce3ead7
Welcome to a new PLT day.
...
svn: r13087
2009-01-13 08:50:18 +00:00
Ryan Culpepper
ccfc18829f
stxclass:
...
added call to internal-definition-seal in lib
added static-of stxclass
ported class-iop from macros planet package
svn: r13086
2009-01-13 05:57:01 +00:00
Matthias Felleisen
cba8e0d079
doc request: 10022; fixed
...
svn: r13085
2009-01-13 02:47:26 +00:00
Stevie Strickland
2537508865
Syncing on up
...
svn: r13084
2009-01-13 01:05:50 +00:00
Stevie Strickland
dbf2ade9b2
Syncing up with trunk YET AGAIN.
...
svn: r13083
2009-01-13 01:02:24 +00:00
Ryan Culpepper
3d3bcfe2f7
macro stepper: cleaned up column-width detection/resizing
...
svn: r13082
2009-01-13 00:43:47 +00:00
Casey Klein
d7d93250f3
Added examples to `redex-check' documentation.
...
svn: r13081
2009-01-12 22:50:09 +00:00
Matthias Felleisen
2b0daee31c
svn: r13080
2009-01-12 22:22:08 +00:00
Matthew Flatt
f07803c3cd
fix lifting bug introduced in previous commit
...
svn: r13079
2009-01-12 22:16:08 +00:00
Matthias Felleisen
bdd29b22cf
svn: r13078
2009-01-12 22:14:15 +00:00
Matthias Felleisen
d871eeb91d
svn: r13077
2009-01-12 22:13:58 +00:00
Matthias Felleisen
0b4a67fc21
svn: r13076
2009-01-12 22:10:39 +00:00
Matthew Flatt
17ad24945b
syntax-local-lift-require
...
svn: r13075
2009-01-12 21:46:40 +00:00
Casey Klein
0e8cf2e160
Updated docs to reflect that check' is provided as redex-check'.
...
svn: r13074
2009-01-12 20:53:58 +00:00
Matthias Felleisen
687eecd43c
svn: r13073
2009-01-12 20:28:12 +00:00
Jay McCarthy
ba5b8de58a
Limit dispatcher
...
svn: r13072
2009-01-12 17:44:02 +00:00
Matthias Felleisen
c22b570004
svn: r13071
2009-01-12 17:30:44 +00:00
Jay McCarthy
ebc1bf4752
Limiting
...
svn: r13070
2009-01-12 17:01:46 +00:00
Matthew Flatt
ab5d16d55b
fix arity messages constructed internally for structure procs (PR 10019)
...
svn: r13069
2009-01-12 13:31:07 +00:00
Eli Barzilay
d954df380f
Welcome to a new PLT day.
...
svn: r13068
2009-01-12 08:50:13 +00:00
Matthew Flatt
9a177b251e
use 'system-position-ok-before-cancel?' in GUI overview example
...
svn: r13067
2009-01-11 15:39:54 +00:00
Matthew Flatt
72b272ebd0
fix typo in example (PR 10018)
...
svn: r13066
2009-01-11 15:23:13 +00:00
Matthew Flatt
2530e04720
add some-system-path<->string functions to scheme/path
...
svn: r13065
2009-01-11 14:47:51 +00:00
Matthew Flatt
4180d67e34
make scheme/path fuctions work on paths for any playform
...
svn: r13064
2009-01-11 13:52:26 +00:00
Eli Barzilay
3c22ff982b
Welcome to a new PLT day.
...
svn: r13063
2009-01-11 08:50:15 +00:00
Robby Findler
3ceb88b8a7
fixed a bug intraces/ps
...
svn: r13062
2009-01-10 23:49:03 +00:00
Robby Findler
538a1e695e
svn: r13061
2009-01-10 23:21:46 +00:00
Robby Findler
72b7e59851
fixed eps? argument to pasteboard print method
...
svn: r13060
2009-01-10 23:16:40 +00:00
Robby Findler
e34badc4cf
fixed some typos:
...
svn: r13059
2009-01-10 23:12:52 +00:00
Robby Findler
3a3ceb121b
added traces/ps and some code to make automatic layout of the graph possible (see #:layout in the docs for traces)
...
svn: r13058
2009-01-10 18:17:45 +00:00
Eli Barzilay
630c8cbc54
Welcome to a new PLT day.
...
svn: r13057
2009-01-10 08:50:20 +00:00
Matthias Felleisen
a6f08c7399
svn: r13056
2009-01-09 23:45:05 +00:00
Matthias Felleisen
38ef7d3c41
separated out the list of worlds from universeState
...
svn: r13055
2009-01-09 23:18:05 +00:00
Stevie Strickland
0db2eb851a
Allow multiple identifier/contract pairs in the same contracted form.
...
svn: r13054
2009-01-09 22:22:24 +00:00
Casey Klein
65fad6047d
Exported and documented the term generator's public interface.
...
svn: r13053
2009-01-09 21:53:53 +00:00
Matthew Flatt
1edd3544d7
fix scribble to place different images with the same source name in different destination filenames
...
svn: r13052
2009-01-09 21:30:43 +00:00
Matthew Flatt
df99b2e1c4
remove obsolete text
...
svn: r13051
2009-01-09 21:01:09 +00:00
Matthew Flatt
a58010fd0d
scheme/class: fix local member names to provide an better message on misuse, and to declare itself as an expression form
...
svn: r13050
2009-01-09 21:00:50 +00:00
Matthias Felleisen
72d904d2d9
small bug in new world code
...
svn: r13049
2009-01-09 19:55:48 +00:00
