suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
15,542 Commits 17 Branches 54 Tags 278 MiB
4548426cd4
Commit Graph

267 Commits

Author SHA1 Message Date
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
Noel Welsh
cfab7a8d97 Add type definition for unsafe-vector*-ref and unsafe-vector*-length, which have recently been introduced, and a test case for in-vector (which uses the above). 
svn: r18667
 2010-03-30 13:33:45 +00:00
Sam Tobin-Hochstadt
d4e0c16d55 a new branch of the whole tree 
svn: r18648
 2010-03-27 14:49:58 +00:00
Sam Tobin-Hochstadt
752e93fc88 add simple tests 
svn: r18638
 2010-03-27 00:31:29 +00:00
Noel Welsh
af84b331a1 Add the fx to fl conversion functions to Typed Scheme 
Add tests for flonum operations to Typed Scheme test suite

Fix the compiler bug tests above uncovered

svn: r18609
 2010-03-24 13:18:37 +00:00
Noel Welsh
cf017110a9 Fix a problem generating contracts for FlVector exports. Add test for problem. 
svn: r18603
 2010-03-23 10:30:24 +00:00
Noel Welsh
5f6aeb364f Check that the FlVector type is exported. Currently this test fails. 
svn: r18557
 2010-03-17 15:26:30 +00:00
Noel Welsh
39a1489403 Add FlVector types to Typed Scheme and bindings for all flvector operations in scheme/flonum and scheme/unsafe/ops. 
svn: r18555
 2010-03-17 14:49:29 +00:00
Stevie Strickland
7b831e86a6 Correct with-type so it handles result types of the form (values t ...). 
svn: r18531
 2010-03-14 02:32:20 +00:00
Sam Tobin-Hochstadt
9035e2e584 Prevent unbound identifiers from being in the base env. 
Fix some bugs caught by this.

svn: r18526
 2010-03-12 16:25:40 +00:00
Noel Welsh
97924ffc65 Add tests for all the fixnum operations. This only checks that the operations have types; semantics and completely specified types aren't rigourously checked. 
svn: r18523
 2010-03-12 12:13:10 +00:00
Sam Tobin-Hochstadt
b3be4f32f7 Null does not overlap with structs. 
svn: r18508
 2010-03-10 23:43:47 +00:00