Matthias Felleisen
|
6514185518
|
added last-picture option to stop-when
svn: r15739
|
2009-08-14 23:15:01 +00:00 |
|
Matthias Felleisen
|
cd1d7d3985
|
matrix bug fixed
svn: r15738
|
2009-08-14 22:59:52 +00:00 |
|
Sam Tobin-Hochstadt
|
5174bbb5f0
|
when result type is dotted, pass it through tc-expr/check
svn: r15737
|
2009-08-14 20:27:53 +00:00 |
|
Sam Tobin-Hochstadt
|
83e0ec2b40
|
return a better type
svn: r15736
|
2009-08-14 19:44:46 +00:00 |
|
Eli Barzilay
|
824a461335
|
Welcome to a new PLT day.
svn: r15732
|
2009-08-14 07:50:29 +00:00 |
|
Robby Findler
|
afc056306d
|
added in a for-label to catch the missing links
svn: r15731
|
2009-08-13 21:14:09 +00:00 |
|
Robby Findler
|
4c9dcdc36d
|
moved some of the module language compiler setup code into the compiler/cm library so others can use it outside of DrScheme
svn: r15730
|
2009-08-13 21:09:15 +00:00 |
|
Robby Findler
|
adbec1785e
|
explained the Module language settings
svn: r15729
|
2009-08-13 21:04:01 +00:00 |
|
Ryan Culpepper
|
38e256e6eb
|
syntax/parse: fixed error in ~bounds form
svn: r15728
|
2009-08-13 18:28:33 +00:00 |
|
Matthew Flatt
|
f37c71c6ee
|
setup-plt -D skips compilation of .scrbl files
svn: r15727
|
2009-08-13 16:24:33 +00:00 |
|
Robby Findler
|
1bf5188e2e
|
started adding detail about the module language, moving to another machine to finish
svn: r15726
|
2009-08-13 15:44:58 +00:00 |
|
Eli Barzilay
|
2b81e233fa
|
Welcome to a new PLT day.
svn: r15725
|
2009-08-13 07:50:33 +00:00 |
|
Mike Sperber
|
28d27a5074
|
Make sure the test results are displayed, even when an exception
occurs running the tests.
svn: r15724
|
2009-08-13 06:42:40 +00:00 |
|
Sam Tobin-Hochstadt
|
79c4f9651e
|
improve docs for opaque types
fix pr 10106
svn: r15723
|
2009-08-12 22:22:54 +00:00 |
|
Sam Tobin-Hochstadt
|
614980f6ec
|
fix pr 10097
svn: r15722
|
2009-08-12 22:05:41 +00:00 |
|
Sam Tobin-Hochstadt
|
1e5cb7d603
|
fix 9979
svn: r15721
|
2009-08-12 21:55:04 +00:00 |
|
Sam Tobin-Hochstadt
|
6af7d32709
|
fix 9967
svn: r15720
|
2009-08-12 21:52:21 +00:00 |
|
Eli Barzilay
|
95f4d1eefe
|
use spaces instead of tabs to indent output
svn: r15719
|
2009-08-12 21:37:33 +00:00 |
|
Jay McCarthy
|
829c8416b6
|
Fix a bug suggested by Robby and add a test case
svn: r15718
|
2009-08-12 20:43:10 +00:00 |
|
Sam Tobin-Hochstadt
|
50b7a0b190
|
improve types for numeric predicates
fix pr 9767
svn: r15717
|
2009-08-12 20:42:20 +00:00 |
|
Sam Tobin-Hochstadt
|
35336e77b8
|
Improve error messages from require/contract
svn: r15716
|
2009-08-12 20:28:08 +00:00 |
|
Jay McCarthy
|
1dba4edcb9
|
A fix for my example hide hole based models
svn: r15715
|
2009-08-12 20:08:36 +00:00 |
|
Robby Findler
|
485785176a
|
drscheme now saves its compiled files in its own directory
svn: r15714
|
2009-08-12 19:44:14 +00:00 |
|
Robby Findler
|
4c420d4a64
|
svn: r15713
|
2009-08-12 19:43:26 +00:00 |
|
Robby Findler
|
3f0b94e58a
|
svn: r15712
|
2009-08-12 19:42:53 +00:00 |
|
Matthew Flatt
|
5ff1429b6d
|
more latex accented characters
svn: r15711
|
2009-08-12 18:58:49 +00:00 |
|
Eli Barzilay
|
1b110d2680
|
Welcome to a new PLT day.
svn: r15710
|
2009-08-12 07:50:20 +00:00 |
|
Jay McCarthy
|
3432cf282f
|
Adding more specific contracts
svn: r15709
|
2009-08-11 22:31:44 +00:00 |
|
Jay McCarthy
|
d8bc61ae41
|
Adding more specific contracts
svn: r15708
|
2009-08-11 22:10:47 +00:00 |
|
Jay McCarthy
|
18093d26e1
|
Adding doc based contracts
svn: r15707
|
2009-08-11 21:24:45 +00:00 |
|
Sam Tobin-Hochstadt
|
50545830f2
|
Allow filters/objects to be provided to untyped code.
svn: r15706
|
2009-08-11 21:00:57 +00:00 |
|
Sam Tobin-Hochstadt
|
c27783830a
|
add getenv and pretty-print etc.
svn: r15705
|
2009-08-11 20:44:45 +00:00 |
|
Sam Tobin-Hochstadt
|
28be0897c3
|
Move student expansion above or.
Improve printing when no object.
svn: r15704
|
2009-08-11 20:19:19 +00:00 |
|
Sam Tobin-Hochstadt
|
9649e10df8
|
document define-struct/exec:
svn: r15703
|
2009-08-11 20:05:31 +00:00 |
|
Matthew Flatt
|
5207a215af
|
add missing core form to kernel-form-identifier-list, improve docs
svn: r15702
|
2009-08-11 19:48:05 +00:00 |
|
Sam Tobin-Hochstadt
|
b23016f86a
|
Prohibit predicates, unions of tvars in contracts
Add vector?
svn: r15701
|
2009-08-11 19:35:34 +00:00 |
|
Eli Barzilay
|
aae1fb9508
|
Welcome to a new PLT day.
svn: r15700
|
2009-08-11 07:50:23 +00:00 |
|
Matthew Flatt
|
3cb2775f7c
|
preserve original id use in expansion of first-order->higher-order
svn: r15699
|
2009-08-11 01:58:03 +00:00 |
|
Robby Findler
|
86d0ef6b1b
|
PR 10375
svn: r15698
|
2009-08-11 01:02:56 +00:00 |
|
Robby Findler
|
5604144718
|
svn: r15697
|
2009-08-11 01:02:01 +00:00 |
|
Matthew Flatt
|
2414f4f880
|
print-syntax-width (4.2.1.6)
svn: r15696
|
2009-08-10 22:01:57 +00:00 |
|
Matthew Flatt
|
bdeaa475b3
|
Scribble latex output and 'never-indents
svn: r15695
|
2009-08-10 22:01:32 +00:00 |
|
Eli Barzilay
|
4e2e7c1421
|
Welcome to a new PLT day.
svn: r15694
|
2009-08-10 07:50:21 +00:00 |
|
Matthew Flatt
|
a195a5defd
|
within a single document for multi-HTML rendering, add section prefix in generated file names
svn: r15693
|
2009-08-09 14:05:43 +00:00 |
|
Matthew Flatt
|
3170f05da2
|
correctly handle multiple registrations of the same snipclass name
svn: r15692
|
2009-08-09 13:48:09 +00:00 |
|
Matthew Flatt
|
a090aa60a9
|
fix multiple registration of make-line-snip snipclass
svn: r15691
|
2009-08-09 13:46:20 +00:00 |
|
Eli Barzilay
|
d045ab43f6
|
Welcome to a new PLT day.
svn: r15690
|
2009-08-09 07:50:18 +00:00 |
|
Eli Barzilay
|
fdb34adc36
|
Welcome to a new PLT day.
svn: r15689
|
2009-08-08 07:50:22 +00:00 |
|
Eli Barzilay
|
7340beddde
|
align expected and result on separate lines
svn: r15688
|
2009-08-08 07:21:39 +00:00 |
|
Eli Barzilay
|
ab544948e2
|
no plural if only one test
svn: r15687
|
2009-08-08 06:49:36 +00:00 |
|