Eric Dobson
|
cf713b7030
|
Fix tc-if. Remove dead cases and misuse of expected.
|
2014-03-21 22:58:44 -07:00 |
|
Eric Dobson
|
750e408d94
|
Fix expected use in single-value.
|
2014-03-21 22:58:44 -07:00 |
|
Eric Dobson
|
29fb1c60c2
|
Make wcm not misuse the expected results.
|
2014-03-21 22:58:44 -07:00 |
|
Eric Dobson
|
e355539c41
|
Make tc-values not misuse expected.
|
2014-03-21 22:58:44 -07:00 |
|
Eric Dobson
|
8cf1246fb1
|
Change tc-app-lambda to not return bad filters.
Makes tc/rec-lambda/check return the actual results, and erase the names of
the values bound by the let.
|
2014-03-21 22:58:43 -07:00 |
|
Eric Dobson
|
74f8dc7436
|
Make heterogenous vector typechecking not double typecheck the arguments.
|
2014-03-21 22:44:45 -07:00 |
|
Eric Dobson
|
a7d6809243
|
fixup
|
2014-03-21 22:01:32 -07:00 |
|
Eric Dobson
|
534f41e729
|
Update current-seen
|
2014-03-21 22:01:32 -07:00 |
|
Max New
|
31469441dc
|
Fix many/e enum bug (probably impossible to observe at redex level)
|
2014-03-21 23:54:26 -05:00 |
|
Robby Findler
|
3abb14a63e
|
fix property to actually use Kleene equality (instead
of comparing the output of standard reduction)
|
2014-03-21 23:43:15 -05:00 |
|
Robby Findler
|
29fe17729b
|
add small counter examples to list machine
Also include test cases that show that the counter
examples type check
|
2014-03-21 16:26:04 -05:00 |
|
Robby Findler
|
bd3aaa0ff7
|
use parameterize instead of setting parameters
|
2014-03-21 16:25:41 -05:00 |
|
Robby Findler
|
d05834afb7
|
find slightly smaller counter examples for a few bugs
|
2014-03-21 14:53:09 -05:00 |
|
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 |
|