Sam Tobin-Hochstadt
f106e88551
remove contract errors
...
svn: r13959
2009-03-04 20:31:46 +00:00
Sam Tobin-Hochstadt
8498619ab8
most test suites pass
...
svn: r13958
2009-03-04 20:26:34 +00:00
Casey Klein
b948caaa92
Added natural', integer', and `real' patterns to Redex.
...
svn: r13957
2009-03-04 20:12:36 +00:00
Sam Tobin-Hochstadt
00721c10c8
all of private, and tc-structs, now compiles
...
svn: r13956
2009-03-04 19:49:20 +00:00
Eli Barzilay
c9445be62d
look for pdflatex.exe too under windows
...
svn: r13955
2009-03-04 19:36:55 +00:00
Sam Tobin-Hochstadt
e53a851bc2
base-env now compiles
...
svn: r13954
2009-03-04 19:28:48 +00:00
Eli Barzilay
360ba9dc79
forgot to add to the last commit
...
svn: r13953
2009-03-04 18:55:13 +00:00
Sam Tobin-Hochstadt
37aa9746ea
more stuff compiles
...
svn: r13952
2009-03-04 18:53:37 +00:00
Eli Barzilay
a7fddbd545
Move the prefix-file, style-file, and style-extra-files to be defined
...
in base-render.ss.
svn: r13951
2009-03-04 18:52:56 +00:00
Sam Tobin-Hochstadt
78fe918457
env now compiles
...
svn: r13950
2009-03-04 18:39:19 +00:00
Sam Tobin-Hochstadt
84d13347d7
infer now compiles
...
svn: r13949
2009-03-04 18:33:29 +00:00
Sam Tobin-Hochstadt
7847d35842
undo this move
...
svn: r13947
2009-03-04 16:37:00 +00:00
Eli Barzilay
d952b144c2
* run.ss is used for he scribble command-line tool
...
* scribble.ss is gone (ot was doing the running, which run.ss defined)
* converted run.ss to scheme/base
* added private/indirect-renderer which can be used to build renderers
that are based on conversion from the result of an existing
renderer, obviously useful with the latex renderer
* added pdf-render using this and private/run-pdflatex
* added a --pdf option to run.ss
svn: r13946
2009-03-04 16:35:41 +00:00
Sam Tobin-Hochstadt
e8fa7fd4dd
more movement
...
svn: r13945
2009-03-04 16:32:50 +00:00
Robby Findler
e8a47051f7
improved redex's expansion to work better with check syntax (and noted a few other recent changes in the HISTORY.txt file)
...
svn: r13944
2009-03-04 12:59:26 +00:00
Eli Barzilay
dfe1e8740d
Welcome to a new PLT day.
...
svn: r13943
2009-03-04 08:50:26 +00:00
John Clements
4d9e3ebe56
...
...
svn: r13942
2009-03-04 08:34:53 +00:00
John Clements
24fabc146a
...
...
svn: r13941
2009-03-04 08:29:12 +00:00
John Clements
bbe7282496
...
...
svn: r13940
2009-03-04 06:47:17 +00:00
John Clements
7a701cef2c
...
...
svn: r13939
2009-03-04 06:46:00 +00:00
Matthew Flatt
b4f6c524a1
added prop:print-converter
...
svn: r13938
2009-03-04 02:54:22 +00:00
Robby Findler
976ec00702
fixed docs
...
svn: r13937
2009-03-04 02:17:26 +00:00
Eli Barzilay
44890f30ae
mzlib/class -> scheme/class
...
svn: r13936
2009-03-04 01:29:08 +00:00
Sam Tobin-Hochstadt
c819793a82
more stuff works
...
svn: r13935
2009-03-04 00:13:54 +00:00
Sam Tobin-Hochstadt
9d0ee637c7
Fix name of Type/c
...
Fix fold on Result.
Add comments.
New -struct constructor with opt args.
Fix tests to agree with contracts.
svn: r13934
2009-03-03 23:18:00 +00:00
Matthew Flatt
2d1617e282
fix private library name
...
svn: r13933
2009-03-03 23:05:25 +00:00
Matthew Flatt
826263c629
scriblib
...
svn: r13932
2009-03-03 23:02:24 +00:00
Sam Tobin-Hochstadt
f05fcfcf13
all of types/ now compiles
...
everything that doesn't use Un out of convenience.ss
added -out form for requires
svn: r13931
2009-03-03 22:45:57 +00:00
Sam Tobin-Hochstadt
44902149cb
convenience now compiles
...
svn: r13930
2009-03-03 22:30:08 +00:00
Sam Tobin-Hochstadt
bbfb99bc77
More file movement
...
svn: r13929
2009-03-03 22:26:15 +00:00
Eli Barzilay
b827890ba5
nicer looking output
...
svn: r13928
2009-03-03 22:20:13 +00:00
Sam Tobin-Hochstadt
20628199f5
union.ss compiles
...
svn: r13927
2009-03-03 21:55:11 +00:00
Sam Tobin-Hochstadt
0eda7878d5
fix make-arr
...
svn: r13926
2009-03-03 21:53:26 +00:00
Sam Tobin-Hochstadt
6271f648c6
fix some requires
...
svn: r13925
2009-03-03 21:53:02 +00:00
Robby Findler
9297ffa2a3
added specification for the main arrow to redex
...
svn: r13924
2009-03-03 20:50:15 +00:00
Sam Tobin-Hochstadt
4615d7573e
subst-tests now pass
...
svn: r13923
2009-03-03 20:35:18 +00:00
Jay McCarthy
e1dab52b07
compat
...
svn: r13922
2009-03-03 20:02:31 +00:00
Sam Tobin-Hochstadt
089ebfe492
Typed wrapper for md5.ss from YC.
...
svn: r13921
2009-03-03 20:01:41 +00:00
Sam Tobin-Hochstadt
4cf824cbb0
fix substring
...
svn: r13920
2009-03-03 19:33:09 +00:00
Sam Tobin-Hochstadt
089c5363e7
stamp shows branch
...
svn: r13919
2009-03-03 19:31:30 +00:00
Eli Barzilay
098cad9135
setup uses the pdflatex iterator from scribble/private/run-pdflatex
...
svn: r13918
2009-03-03 17:38:46 +00:00
Robby Findler
c802c34b9b
disabled the stacktrace trimming
...
svn: r13916
2009-03-03 17:29:38 +00:00
Jay McCarthy
a7126e20a5
dispatching
...
svn: r13914
2009-03-03 17:26:29 +00:00
Robby Findler
8704fe05b2
added optionaldomain specifications to reduction-relations
...
svn: r13913
2009-03-03 16:27:09 +00:00
Eli Barzilay
164171be11
fix from Felix
...
svn: r13912
2009-03-03 16:22:02 +00:00
Robby Findler
995b336f08
errors raised while reducing are now more gracefully handled
...
svn: r13911
2009-03-03 15:31:54 +00:00
Eli Barzilay
6532e8eae9
Welcome to a new PLT day.
...
svn: r13909
2009-03-03 08:50:19 +00:00
Jon Rafkind
11923c3567
add another example with require inside eval for protect-out
...
svn: r13908
2009-03-03 02:51:32 +00:00
Jon Rafkind
bc3e541cf6
example for protect-out
...
svn: r13907
2009-03-03 02:44:59 +00:00
Eli Barzilay
56bb4539d0
fix error message
...
svn: r13906
2009-03-03 02:41:00 +00:00
