Eli Barzilay
|
fcedc30ee4
|
Rename "collects/tests/mred" -> ".../gracket".
Some additional mred-related tweaks.
|
2010-05-17 01:44:27 -04:00 |
|
Sam Tobin-Hochstadt
|
21b5c25c90
|
Add annotation to test.
Fix default case for `vector-set!'
|
2010-05-14 11:00:23 -04:00 |
|
Sam Tobin-Hochstadt
|
ff36a6e8d1
|
sensible handling of literal vectors
|
2010-05-14 11:00:23 -04:00 |
|
Sam Tobin-Hochstadt
|
7ac925695f
|
more sensible version of het vectors.
add vector-length, vector-set!
|
2010-05-14 11:00:23 -04:00 |
|
Sam Tobin-Hochstadt
|
ec14f2c0b8
|
Finish het vectors
|
2010-05-14 11:00:22 -04:00 |
|
Sam Tobin-Hochstadt
|
0558d11abb
|
more testing
|
2010-05-14 11:00:22 -04:00 |
|
Sam Tobin-Hochstadt
|
a893116391
|
fix more tests
|
2010-05-13 13:36:54 -04:00 |
|
Sam Tobin-Hochstadt
|
dcf8507fd6
|
Fix incorrect tests.
|
2010-05-13 12:35:14 -04:00 |
|
Sam Tobin-Hochstadt
|
60aed123ce
|
fix more tests
|
2010-05-12 21:33:55 -04:00 |
|
Sam Tobin-Hochstadt
|
499f36ee69
|
add simple test
|
2010-05-12 17:05:09 -04:00 |
|
Sam Tobin-Hochstadt
|
5a8fac0bdf
|
switch to typed/
|
2010-05-12 11:52:11 -04:00 |
|
Sam Tobin-Hochstadt
|
4548426cd4
|
Merge remote branch 'origin/master' into samth/new-logic2
|
2010-05-11 15:19:52 -04:00 |
|
Sam Tobin-Hochstadt
|
a81de56b30
|
add test for bug found by vincent
|
2010-05-10 17:55:29 -04:00 |
|
Sam Tobin-Hochstadt
|
fe10457f4e
|
more test errors
|
2010-05-10 16:22:41 -04:00 |
|
Sam Tobin-Hochstadt
|
08d0df5256
|
fix test suite errors
|
2010-05-10 16:09:58 -04:00 |
|
Sam Tobin-Hochstadt
|
b1a49470ee
|
fix `implied-atomic?'
|
2010-05-10 11:51:18 -04:00 |
|
Sam Tobin-Hochstadt
|
1146ffa76d
|
Merge branch 'master' into samth/new-logic2
Conflicts:
collects/typed-scheme/private/parse-type.rkt
collects/typed-scheme/typecheck/tc-app.rkt
|
2010-05-05 13:35:29 -04:00 |
|
Sam Tobin-Hochstadt
|
90f7f522f8
|
minor test edits
|
2010-05-04 19:47:38 -04:00 |
|
Sam Tobin-Hochstadt
|
a728bae3cb
|
use racunit better to get expected/actual info
|
2010-05-04 19:47:38 -04:00 |
|
Sam Tobin-Hochstadt
|
d678e7657d
|
use `test-begin' in test
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
3ebd04550a
|
typed/racunit:
- fix more contracts
- make test tests not fail
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
0a2b16f804
|
fix some racunit types, add test case
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
d5776a1266
|
use `vector-member'
|
2010-05-03 18:03:01 -04:00 |
|
Sam Tobin-Hochstadt
|
34e64b650f
|
Add test for bug 10868
Add 'unit' command line arg to 'run.rkt' command to just run the unit tests
|
2010-05-03 15:13:33 -04:00 |
|
Sam Tobin-Hochstadt
|
92a3085658
|
rename
|
2010-05-03 13:18:56 -04:00 |
|
Sam Tobin-Hochstadt
|
996405af9c
|
fix problem reported by Sigrid on plt-scheme
|
2010-05-03 13:15:19 -04:00 |
|
Sam Tobin-Hochstadt
|
6b5305afe7
|
run .rkt files
|
2010-05-03 13:01:58 -04:00 |
|
Sam Tobin-Hochstadt
|
5e9ae84b15
|
Merge remote branch 'origin/master' into samth/new-logic2
Conflicts:
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
|
2010-04-30 13:48:49 -04:00 |
|
Jay McCarthy
|
bc5cf30ebe
|
Renaming rktunit to racunit
|
2010-04-30 10:57:32 -06:00 |
|
Sam Tobin-Hochstadt
|
04f58cab86
|
Merge remote branch 'origin/master' into samth/new-logic2
Conflicts:
collects/drscheme/private/insert-large-letters.ss
collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
|
2010-04-30 09:34:31 -04:00 |
|
Jay McCarthy
|
f70ffca756
|
Renaming schemeunit to rktunit and adding compat layer
|
2010-04-29 15:00:02 -06:00 |
|
Sam Tobin-Hochstadt
|
b5acbe3168
|
move d/c/p
fix tc-e/t
|
2010-04-27 19:29:10 -04:00 |
|
Matthew Flatt
|
28b4043077
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
|
Sam Tobin-Hochstadt
|
53a4e4a2e4
|
remove debugging printfs, comment out fail test
|
2010-04-27 10:23:30 -04:00 |
|
Sam Tobin-Hochstadt
|
83c1671972
|
strnum? works
|
2010-04-27 10:16:21 -04:00 |
|
Sam Tobin-Hochstadt
|
d935b63290
|
so close
|
2010-04-27 09:50:39 -04:00 |
|
Sam Tobin-Hochstadt
|
df2291b955
|
Merge remote branch 'origin/master' into samth/new-logic2
|
2010-04-26 10:12:50 -04:00 |
|
Sam Tobin-Hochstadt
|
a46461d4f7
|
racket/base instead of scheme/base, see PR 10870
|
2010-04-25 18:43:10 -04:00 |
|
Sam Tobin-Hochstadt
|
f7bf6d8a22
|
more progress towards let
|
2010-04-23 18:36:15 -04:00 |
|
Sam Tobin-Hochstadt
|
788630d26a
|
progress towards let
|
2010-04-23 16:40:05 -04:00 |
|
Sam Tobin-Hochstadt
|
2d88d698c2
|
implication works
|
2010-04-23 12:31:22 -04:00 |
|
Sam Tobin-Hochstadt
|
9c59782a37
|
progress, fix some dumb bugs
|
2010-04-21 19:00:12 -04:00 |
|
Sam Tobin-Hochstadt
|
a979bbdbdf
|
typecheck-tests compiles
|
2010-04-21 15:07:53 -04:00 |
|
Sam Tobin-Hochstadt
|
462b7f1b92
|
eta abstraction seems to work
|
2010-04-21 11:34:04 -04:00 |
|
Sam Tobin-Hochstadt
|
8bea31d725
|
finished with the examples
|
2010-04-20 15:30:07 -04:00 |
|
Sam Tobin-Hochstadt
|
5f0597b834
|
add tests for occurrence typing work
|
2010-04-20 14:49:38 -04:00 |
|
Sam Tobin-Hochstadt
|
fca1044972
|
Merge branch 'master' into samth/new-logic2
|
2010-04-19 16:14:11 -04:00 |
|
Sam Tobin-Hochstadt
|
41e469d7ae
|
Update structure types to have constructor ids.
Use constructor to generate better contracts for poly structs.
|
2010-04-14 15:06:14 -04:00 |
|
Sam Tobin-Hochstadt
|
0c730ae50a
|
test improvements
svn: r18814
|
2010-04-14 17:11:21 +00:00 |
|
Sam Tobin-Hochstadt
|
25a817e4aa
|
Fix thinko in subtyping.
svn: r18802
|
2010-04-12 22:23:39 +00:00 |
|