Matthew Flatt
|
7a55275a26
|
unit bug fixes related to new scoping of signature elements; change scribble/manual to compute ids typeset as variables at compile time, in preparation for moving from a parameter to syntax bindings; fix docs typos; extend decompiler's support for unmarshaling syntax objects
svn: r12046
|
2008-10-15 22:23:56 +00:00 |
|
Eli Barzilay
|
61aa266525
|
typo (PR9836)
svn: r12045
|
2008-10-15 19:34:22 +00:00 |
|
Robby Findler
|
2e9ac659bd
|
svn: r12044
|
2008-10-15 13:00:01 +00:00 |
|
Robby Findler
|
eb7d9be3f0
|
fixed the contract? predicate so that it recognizes thigns that aren't yet turned into contract structs
svn: r12043
|
2008-10-15 12:54:37 +00:00 |
|
Eli Barzilay
|
f3d72831bb
|
Welcome to a new PLT day.
svn: r12042
|
2008-10-15 07:50:10 +00:00 |
|
John Clements
|
44ff646c50
|
fixed incorrect change of appendbang to append, added test/exn
svn: r12041
|
2008-10-15 07:35:45 +00:00 |
|
Eli Barzilay
|
6266b12d6d
|
Welcome to a new PLT day.
svn: r12040
|
2008-10-15 00:58:58 +00:00 |
|
Eli Barzilay
|
05db2f04af
|
allow the arrow to appear anywhere (since no inputs is a possible case)
svn: r12039
|
2008-10-14 19:07:27 +00:00 |
|
Eli Barzilay
|
9cc7f90a0a
|
Allow an implicit paren for (: <id> : T ... -> T)
svn: r12038
|
2008-10-14 18:44:05 +00:00 |
|
Kathy Gray
|
20e8888dad
|
Turned blank window into a window with sensible content instead
svn: r12037
|
2008-10-14 16:44:20 +00:00 |
|
Sam Tobin-Hochstadt
|
e802682c4d
|
add args to error
svn: r12036
|
2008-10-14 16:34:14 +00:00 |
|
Kathy Gray
|
c8dce8dccd
|
Erase the contents of a test report after success.
svn: r12035
|
2008-10-14 16:29:24 +00:00 |
|
Sam Tobin-Hochstadt
|
453deb8a5d
|
Better error message for extra ->.
svn: r12034
|
2008-10-14 15:58:34 +00:00 |
|
Robby Findler
|
b3701d6f76
|
PR 9833
svn: r12033
|
2008-10-14 13:52:25 +00:00 |
|
Matthew Flatt
|
8b595ed120
|
make-syntax-delta-introducer and adjusted binding in scheme/unit forms
svn: r12032
|
2008-10-14 13:27:43 +00:00 |
|
Eli Barzilay
|
62cfa88381
|
Welcome to a new PLT day.
svn: r12031
|
2008-10-14 07:50:08 +00:00 |
|
Matthew Flatt
|
81dfc14cc6
|
remove search box for Scribble HTML output unless requested; move some hardwired styles to CSS file
svn: r12029
|
2008-10-14 01:53:34 +00:00 |
|
Matthew Flatt
|
bad81f8bcd
|
small edits to contract docs
svn: r12028
|
2008-10-14 00:13:12 +00:00 |
|
Robby Findler
|
7ace3962fa
|
improved overview a little
svn: r12027
|
2008-10-13 22:31:43 +00:00 |
|
Matthew Flatt
|
d3397103a8
|
add some datatype deftechs
svn: r12026
|
2008-10-13 21:36:18 +00:00 |
|
Robby Findler
|
2ef287f107
|
added empty as a coerceable value
svn: r12025
|
2008-10-13 21:09:18 +00:00 |
|
Matthew Flatt
|
d3e26ef74d
|
fix missing page numbers in index of latex output
svn: r12024
|
2008-10-13 20:34:45 +00:00 |
|
Matthew Flatt
|
077e5a4666
|
change reference and some other docs to use #f instead of false/c and or/c insteda of one-of/c
svn: r12023
|
2008-10-13 19:45:37 +00:00 |
|
Eli Barzilay
|
26130818f3
|
Welcome to a new PLT day.
svn: r12022
|
2008-10-13 18:29:25 +00:00 |
|
Eli Barzilay
|
beec99c12e
|
make-Listof -> -lst
svn: r12021
|
2008-10-13 17:17:30 +00:00 |
|
Carl Eastlund
|
cbe1b2dce4
|
Fixed scribble typesetting error in GUI docs.
svn: r12020
|
2008-10-13 16:43:24 +00:00 |
|
Sam Tobin-Hochstadt
|
6a0b9b4e20
|
Fix type of error.
svn: r12019
|
2008-10-13 16:22:52 +00:00 |
|
Matthew Flatt
|
ec68bafa9c
|
add eqv hash tables; add hash-update
svn: r12018
|
2008-10-13 16:21:18 +00:00 |
|
Eli Barzilay
|
c08e09ae6c
|
list-tail
svn: r12017
|
2008-10-13 16:16:18 +00:00 |
|
Eli Barzilay
|
72f8e1d3e6
|
rem{ove,q,v} and rem[qv]*
svn: r12016
|
2008-10-13 15:58:29 +00:00 |
|
Eli Barzilay
|
fd89ef7d41
|
gcd & lcm, move sqrt with its friends
svn: r12015
|
2008-10-13 15:56:06 +00:00 |
|
Eli Barzilay
|
b58b3d72fc
|
sleep and time-apply
svn: r12014
|
2008-10-13 15:51:02 +00:00 |
|
Eli Barzilay
|
b9866e0af2
|
trigonometric functions
svn: r12013
|
2008-10-13 15:48:46 +00:00 |
|
Eli Barzilay
|
dbadf365a3
|
bitwise functions
svn: r12012
|
2008-10-13 15:47:52 +00:00 |
|
Eli Barzilay
|
757c51957e
|
Some more arithmetic functions
svn: r12011
|
2008-10-13 15:47:24 +00:00 |
|
Eli Barzilay
|
d5028463f2
|
bad non-typo fix, go back, and change to Univ
svn: r12010
|
2008-10-13 15:42:53 +00:00 |
|
Eli Barzilay
|
86d70f52d8
|
some more sensible grouping of similar functions
svn: r12009
|
2008-10-13 15:42:19 +00:00 |
|
Eli Barzilay
|
1beabaf5e8
|
capitalization typo
svn: r12008
|
2008-10-13 15:37:16 +00:00 |
|
Eli Barzilay
|
e114ca005e
|
* Grouped the ass* functions
* Made them all use -opt
svn: r12007
|
2008-10-13 15:36:59 +00:00 |
|
Eli Barzilay
|
f4ae28d714
|
use all of scheme/list, so the types for first and friends actually works
svn: r12006
|
2008-10-13 15:33:06 +00:00 |
|
Eli Barzilay
|
fea96706f1
|
(random) returns a floating point number
svn: r12005
|
2008-10-13 15:32:17 +00:00 |
|
Eli Barzilay
|
0209663ec7
|
* Move write' next to display'
* Make it have the same type (can write anything)
* Add `print' with the same type
svn: r12004
|
2008-10-13 15:30:55 +00:00 |
|
Eli Barzilay
|
9ba08bc558
|
minor reformatting (brackets, spaces, indents)
svn: r12003
|
2008-10-13 15:29:13 +00:00 |
|
Casey Klein
|
9e316c3162
|
1. Improved support for generating random numbers.
2. Fixed bug in find-base-cases.
svn: r12002
|
2008-10-13 15:19:13 +00:00 |
|
Robby Findler
|
86671cf6dc
|
PR 9814
svn: r12001
|
2008-10-13 13:45:55 +00:00 |
|
Eli Barzilay
|
b9cbd0a5c8
|
Welcome to a new PLT day.
svn: r12000
|
2008-10-13 07:50:10 +00:00 |
|
Robby Findler
|
4c010b7d4a
|
fixed PR 9770
svn: r11999
|
2008-10-13 00:53:23 +00:00 |
|
Matthew Flatt
|
198b05897b
|
adjust HTML rendering of paragraphs as table cells; avoiding 'p' tags makes cut-and-paste work better
svn: r11998
|
2008-10-12 16:14:39 +00:00 |
|
Matthew Flatt
|
4fe97848b2
|
fix HTML problems that affect Opera; add ++style to scribble executable; fix some Latex back-end issues
svn: r11997
|
2008-10-12 15:53:49 +00:00 |
|
Eli Barzilay
|
e1c4040072
|
Welcome to a new PLT day.
svn: r11995
|
2008-10-12 07:50:11 +00:00 |
|