suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,345 Commits 13 Branches 1 Tag 9.2 MiB
remove-tests-output-pr323
Commit Graph

4345 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sam Tobin-Hochstadt
b77aba3d6b More tests. 
svn: r9664

original commit: 914de50133c8128cc9fe4b8a925f74a2c0a35645
 2008-05-05 21:20:02 +00:00
Stevie Strickland
94cd504b90 Fix typo. 
svn: r9661

original commit: bd9aaddc3f69c3878dbb3d07399110ef393d76e6
 2008-05-05 17:05:09 +00:00
Sam Tobin-Hochstadt
21a115a51c Fix parameterization. 
svn: r9660

original commit: 1f7207f0b5e4837fcc1ab21ed2014ed1bb6e7833
 2008-05-05 17:00:49 +00:00
Sam Tobin-Hochstadt
1976c16563 test for parameters 
svn: r9659

original commit: 62cd19a42b3881cba6b66647ccd35c3e87ffb596
 2008-05-05 17:00:32 +00:00
Stevie Strickland
bf2890d971 Adding types for functions that I used in my latest typed-scheme module, 
plus fixing the type for length since it should return an Integer.

svn: r9630

original commit: 3112216689dcf7e8f4b604287d80dff794545c8d
 2008-05-03 15:10:26 +00:00
Sam Tobin-Hochstadt
0c8597a4d1 New test for multi-arg andmap. 
Fix more things to be Integer.
Finally fix parse-type tests.

svn: r9615

original commit: 38e0297b074f5265f2acae112644d920982b493b
 2008-05-03 00:03:43 +00:00
Sam Tobin-Hochstadt
cba2321c97 Try harder to remove duplicates from unions. 
svn: r9614

original commit: 8e9e7002d4fd33a1723015d1b36016ad55704e6f
 2008-05-03 00:02:55 +00:00
Sam Tobin-Hochstadt
94782bd566 Readd more specific types for + - * 
svn: r9613

original commit: 37d107b737063bb65a91522f05e13b061866bd4c
 2008-05-02 23:46:17 +00:00
Sam Tobin-Hochstadt
9e1c812b06 Improve the type of andmap. 
Steps toward reducing the number of initializations.

svn: r9612

original commit: fd44d9b01ff4d50042e757d9e2f76dae046237bd
 2008-05-02 23:35:37 +00:00
Sam Tobin-Hochstadt
2420a28529 new test 
svn: r9610

original commit: 4e54165e2a011bf2b32b56d0d075d29d3e0299bb
 2008-05-02 22:22:44 +00:00
Sam Tobin-Hochstadt
f21a54a6cb Run typecheck-tests expansion at runtime, to make compiling work. 
Comment-out now-failing tests, because of marhalling issues.
Fix fv-tests.
Don't use reader syntax in annotation-tests.
Try some stuff for parse-type-tests.
Add new regression test.

svn: r9608

original commit: 32730fff6b564078f359235cb0a1ff67c791134e
 2008-05-02 22:21:01 +00:00
Sam Tobin-Hochstadt
b6c5754410 Fix error handling when non-poly Name is applied. 
svn: r9607

original commit: ac1acc7bf6534c88d8eeb889c75706b3f99f8910
 2008-05-02 22:19:18 +00:00
Sam Tobin-Hochstadt
4664fc9a4f Use library nest. 
svn: r9598

original commit: 97715dc9fbebf203d5baf90a7fcedcb4c5ae9cf1
 2008-05-02 18:03:05 +00:00
Sam Tobin-Hochstadt
30eb3d08e0 Use syntax-loc in tests. 
Don't check that effects match, since they may involve identifiers.
Fix tests for correct type names, Integer.

svn: r9595

original commit: ccd1337e310ace6eea15fc2d87d8fb7f11a1d69c
 2008-05-02 17:20:05 +00:00
Sam Tobin-Hochstadt
09dbb124b9 Most typecheck tests now pass. 
Add two new success tests.

svn: r9577

original commit: 567e438f1d77d31aae4e25ea250da644638fb5de
 2008-05-01 22:53:10 +00:00
Sam Tobin-Hochstadt
86659a3ad3 Fix namespace issues with compile-time expand. 
Fix error reporting.

svn: r9576

original commit: f410bcf3a288f9c41b836495d12f8867060802ec
 2008-05-01 22:52:39 +00:00
Sam Tobin-Hochstadt
c38c1c57b2 Infer for fewer variables. 
Improve error messages.
Extend csets to lists of maps.
Handle case-lambda arguments to poly funcs better.
Don't fail when there isn't a minimal substitution.

svn: r9573

original commit: 1449dec3727e591409f476ca4ddc9f8e96b3a102
 2008-05-01 20:10:56 +00:00
Sam Tobin-Hochstadt
c0634d3236 remove extra types that don't work with new infer 
svn: r9568

original commit: 767158c914add502a9d3d40d08e5cbc0089f437f
 2008-05-01 17:43:53 +00:00
Sam Tobin-Hochstadt
1a81b774bd Merge in changes from 660. 
svn: r9567

original commit: 5af7d626beeb76e42488af49d0c596595680ffba
 2008-05-01 17:35:50 +00:00
Sam Tobin-Hochstadt
cb45933a9d Remove uses of old inference. 
Add missing cases to new infer.

svn: r9551

original commit: 5c3d329a1bbb5a226e3faec5d647ae9bc6adf81f
 2008-04-30 21:54:32 +00:00
Sam Tobin-Hochstadt
7df9d1983a Disable tests for old inference. 
svn: r9550

original commit: c714d0ac594a8372122bff137b51f0ba19facb97
 2008-04-30 21:54:03 +00:00
Sam Tobin-Hochstadt
ba48e257f0 Fix new inference algorithm to handle all test cases. 
svn: r9538

original commit: 8307bf835b23160b58b52c50815997f5fd8e11e8
 2008-04-29 21:42:37 +00:00
Sam Tobin-Hochstadt
375a4f5289 Ignore. 
Remove supurious annotation.

svn: r9537

original commit: ab81b1d64feb13532d77dccf1b21bfd820793a19
 2008-04-29 21:42:16 +00:00
Sam Tobin-Hochstadt
6afac96172 Control multiple errors with a parameter. 
Don't use same code for handling type ascription and annotation.

svn: r9529

original commit: 1d21ec5ddab6264cf5df4a9f9793f4b40e77d120
 2008-04-29 01:42:07 +00:00
Sam Tobin-Hochstadt
16fffb8706 Fix indentation. 
Add missing variable annotation.
Remove unecessary annotations.
Now pass.

svn: r9522

original commit: 53709f1faffae5533a8a700582d13a817c829dd6
 2008-04-28 21:21:30 +00:00
Eli Barzilay
66febb5ba5 docs go in the main tree 
svn: r9478

original commit: 6f00cd8a7c6e5477b91af847e98ae76559baa5e9
 2008-04-25 19:55:23 +00:00
Sam Tobin-Hochstadt
0ecdc4acab delay type error messages for type parsing. 
svn: r9410

original commit: 029e4eb86eeea75b3d2217e4c1c6948f88a1ba73
 2008-04-22 22:05:34 +00:00
Sam Tobin-Hochstadt
39d43ae233 Multiple type errors. 
svn: r9405

original commit: bd9d8b5ff33b6cc90d428642c5697f56da866bd9
 2008-04-22 22:05:31 +00:00
Sam Tobin-Hochstadt
9fd128f7e5 Add typed scheme tests. 
svn: r9404

original commit: fca36c126c2f26e8e930ad66220b4dccd6c86028
 2008-04-22 21:58:10 +00:00
Sam Tobin-Hochstadt
9936e61c9a Fix formatting for -> doc. 
Fixes PR 9297.

svn: r9326

original commit: 5870e7261a805f02a3ec6a2d528dfd892bfa9850
 2008-04-15 22:37:20 +00:00
Sam Tobin-Hochstadt
2e2f299a10 Don't print "checked foo". 
Improve names in recursive contracts.

svn: r9298

original commit: 1039055628225ebed52d0b45a2fa22d782905108
 2008-04-14 18:13:59 +00:00
Sam Tobin-Hochstadt
51b7de58e8 Split type defns into base-types.ss 
Reformat.

svn: r9273

original commit: f23af68d6b0bbc9a82f8fea2178e5e7dfaf2d459
 2008-04-12 00:10:32 +00:00
Sam Tobin-Hochstadt
979ec97b18 Fix mutated-vars for #%plain-lambda. 
Require stuff.
Fix make-eq.

svn: r9245

original commit: 890cd46fa162f3db3e39097ca4503f203bb7a43f
 2008-04-10 23:20:17 +00:00
Matthew Flatt
138dec2329 new hash function names and ops (3.99.0.23) 
svn: r9209

original commit: 021d4d7527f39cc01b6b8952f4a90e61e55e8956
 2008-04-08 21:42:38 +00:00
Sam Tobin-Hochstadt
2681d0f43d Use contracts for def-binding. 
Better error messages from require/typed.

svn: r9204

original commit: 909c20553d8c14901583bcaa9edd6674d60c2796
 2008-04-08 17:42:13 +00:00
Sam Tobin-Hochstadt
a015829d77 Fix typed scheme reader for new reader API. 
svn: r9182

original commit: b800f4ed3e3c66cb879bb2b26258ea3cda23cf56
 2008-04-07 21:03:27 +00:00
Sam Tobin-Hochstadt
9421dd6676 Remove old match implementation. 
Fix typed-scheme to work w/ new match.
Factor out lots of common code.
Implement (mcons ..) patterns

svn: r9086

original commit: ae4acf1d517beeb7673edb12cff77add32ebf89c
 2008-03-25 18:26:39 +00:00
Sam Tobin-Hochstadt
0572a47806 fix or pattern 
svn: r9059

original commit: 709741fc96777a02628ba545594ce5e04d2464ad
 2008-03-22 02:27:13 +00:00
Sam Tobin-Hochstadt
15ff7a9956 Switch to #lang everywhere. 
Fix up requires to use srfi-1 less, and in a uniform way.

svn: r9030

original commit: b0f41af021a188542867fddcfcb6b051206abf85
 2008-03-20 13:31:18 +00:00
Sam Tobin-Hochstadt
90e30f8ee7 Move typed-scheme/lang/main.ss to typed-scheme/main.ss. 
Fix documentation to match.

svn: r8886

original commit: 621cff1d9abce5e0fc2cb3bb474f7dd41f15e0af
 2008-03-04 23:18:16 +00:00
Sam Tobin-Hochstadt
684b5c1c2b Remove tool. 
Improve error message source.
Add `build-list'
Don't give internal error when inference returns a bad result.

svn: r8885

original commit: f7d6b01d261521f8de4f572bd1b4644ea997dae2
 2008-03-04 23:09:45 +00:00
Eli Barzilay
e083db98ad typed scheme is not released yet, the docs should go elsewhere 
svn: r8877

original commit: ec78d4660d2d02f37cc9b9241b2eac6aa95ca74e
 2008-03-04 17:38:32 +00:00
Eli Barzilay
53b8945aa2 misc things 
svn: r8866

original commit: 5ff5d6c58005f8276e4517079ded454205359aba
 2008-03-04 02:46:54 +00:00
Eli Barzilay
b870111e99 redundant name field 
svn: r8865

original commit: f1a68778d288b617a4967b5311524a13b8d61fb0
 2008-03-04 01:49:43 +00:00
Sam Tobin-Hochstadt
7f2824d11c Add Typed Scheme as a collection. 
svn: r8864

original commit: 0d54ed5e7427f5e75e6274cc3c9625e676fc34bc
 2008-03-03 22:57:55 +00:00