Robby Findler
|
ea8889397b
|
export consistent-with?
|
2014-03-21 14:52:44 -05:00 |
|
Burke Fetscher
|
51651d2dc4
|
add stlc-sub with type soundness property
|
2014-03-21 13:54:48 -05:00 |
|
Eric Dobson
|
bbec642284
|
Make version of tc-err that checks return types.
|
2014-03-21 09:04:49 -07:00 |
|
Eric Dobson
|
43449f820c
|
Make check-below not return no-filter and no-obj.
|
2014-03-21 08:52:32 -07:00 |
|
Lei Wang
|
424cef9397
|
Modified Scribble Indentation functions to support "line push back"(combine concurrent short lines)
|
2014-03-21 01:08:16 -04:00 |
|
Burke Fetscher
|
9d70f35ec4
|
adjust vm correctness property, update diffs
|
2014-03-20 23:46:34 -05:00 |
|
Burke Fetscher
|
bb1d23cb1d
|
add vm bug 2 and update counterexamples
|
2014-03-20 23:46:34 -05:00 |
|
Eric Dobson
|
a7f0be7165
|
Make abbreviation for make-Event to match others.
|
2014-03-20 21:12:42 -07:00 |
|
Eric Dobson
|
efd27fa4f7
|
Add type key to ClassTop.
|
2014-03-20 20:42:10 -07:00 |
|
Eric Dobson
|
ca867bc97f
|
Simplify typechecking of extend-parameterization.
|
2014-03-20 20:22:17 -07:00 |
|
Robby Findler
|
c11de94f2a
|
add some convenience to the enumerators and change call-with-values
into define-values
|
2014-03-20 22:17:52 -05:00 |
|
Matthew Flatt
|
23fa168309
|
distro-build: use plt-web style for site or snapshot page
|
2014-03-20 18:28:21 -06:00 |
|
Matthew Flatt
|
af64776403
|
plt-web: add #:generate? argument to site
|
2014-03-20 18:28:21 -06:00 |
|
Matthew Flatt
|
43af294068
|
plt-web: add call-with-registered-roots
|
2014-03-20 18:28:21 -06:00 |
|
Matthew Flatt
|
68f6ab86f7
|
guide: fix style on itemlist
|
2014-03-20 18:28:21 -06:00 |
|
Burke Fetscher
|
26c8929b50
|
add delim-cont counterexamples, adjust check property
|
2014-03-20 16:01:02 -05:00 |
|
Robby Findler
|
dbd3e04b82
|
add tests to ensure counter examples in buggy versions of stlc-sub aren't
counter examples in stlc-sub-base.rkt
|
2014-03-20 11:56:55 -05:00 |
|
Robby Findler
|
e9e4f396d9
|
adjust stlc-sub to have a new property that
stresses substitution more
also, fix a bug in the substitution function
|
2014-03-20 11:42:51 -05:00 |
|
Eric Dobson
|
9aa7accd89
|
Fix polymorphic class checking.
|
2014-03-20 08:31:55 -07:00 |
|
Eric Dobson
|
90556817eb
|
Fix uses of expected in tc-app-list.
|
2014-03-19 22:58:37 -07:00 |
|
Eric Dobson
|
c7ef6fc6dd
|
Remove extraneous uses of expected in tc-app-hetero.
|
2014-03-19 22:40:06 -07:00 |
|
Eric Dobson
|
aa6a04fd46
|
Simplify tc-expr testcase.
|
2014-03-19 21:08:31 -07:00 |
|
Jay McCarthy
|
7c4012bbd4
|
delim cont 1
|
2014-03-19 16:32:28 -06:00 |
|
Jay McCarthy
|
ed840e90fa
|
remove fixed
|
2014-03-19 16:32:28 -06:00 |
|
Jay McCarthy
|
ef3ca65c8a
|
remove fixed
|
2014-03-19 16:32:28 -06:00 |
|
Jay McCarthy
|
59353317a2
|
polystlc 9
|
2014-03-19 16:32:28 -06:00 |
|
Jay McCarthy
|
22cc6b6249
|
polystlc 8
|
2014-03-19 16:32:28 -06:00 |
|
Jay McCarthy
|
11e5bda76f
|
polystlc 7
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
f7efcd1057
|
polystlc 6
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
99bded9346
|
polystlc 5
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
ef6b2934c1
|
polystlc 4
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
63786c16b5
|
polystlc 3
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
3b778e5db1
|
polystlc 2
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
4db4f1f9b9
|
polystlc 1
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
a1eeafaf38
|
Fix indent
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
0d8ecdf816
|
Removing fixed
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
e8da597de9
|
stlc sub 5
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
00988db325
|
stlc sub 4
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
b1bc4ce430
|
stlc sub 3
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
84fcd48039
|
stlc sub 2
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
9b8697fa6e
|
stlc-sub 1
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
6e3a9861c6
|
removing fixed
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
c1db657163
|
stlc 9
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
0d8dab679f
|
stlc 8
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
253e8ee669
|
stlc 7
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
d6dc594662
|
stlc 6
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
0d14e14b21
|
stlc 5
|
2014-03-19 16:32:27 -06:00 |
|
Jay McCarthy
|
e31703fc35
|
stlc 4
|
2014-03-19 16:32:26 -06:00 |
|
Jay McCarthy
|
a4f3585101
|
stlc 3
|
2014-03-19 16:32:26 -06:00 |
|
Jay McCarthy
|
f9946f4b95
|
stlc 2
|
2014-03-19 16:32:26 -06:00 |
|