suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,320 Commits 13 Branches 1 Tag 9.2 MiB
fix-coverage-vector-access
Commit Graph

4320 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
083f913c7c Allow requiring functions with filters in contravariant positions. 
original commit: dbcb1414dadd6fb125b5527d9b0d8853dd1ce616
 2013-04-25 08:29:37 -07:00
Eric Dobson
5aec0c0c1b Switch out? to from-typed? as it has the same meaning. 
original commit: 03e1ffda3e1c27c982b6ed4681d7d1bc2037b643
 2013-04-25 08:29:25 -07:00
Eric Dobson
c07428390d Cleanup tc-app-helper.rkt. 
original commit: 62f74cda0e559ac322236f63a32c5b344dbd9181
 2013-04-24 23:31:12 -07:00
Eric Dobson
d66ef4fb11 Cleanup requires in tc-apply. 
original commit: 11bd5314e278e15b44ecc2b224954c5104ff3bec
 2013-04-24 23:13:04 -07:00
Eric Dobson
deb336738c Minor cleanup in subtype.rkt 
original commit: b9c4582746524c1063564ad306194fd0ba4069a0
 2013-04-24 23:13:03 -07:00
Eric Dobson
68d34aa059 Fix subtyping of (ListDots t 'a) <: (Listof t). 
Closes PR 13636.

original commit: 6898a7c880f1a37219e61d420ed6610a4d24f384
 2013-04-24 21:08:18 -07:00
Eric Dobson
a0d7d71599 Fix expected type when typechecking map 
original commit: 863ac053328b0df54cc10a0724274f7d110d6d49
 2013-04-24 20:13:39 -07:00
Eric Dobson
7e7641c8e9 Don't let map introduce type variables. 
Closes PR 13581.

original commit: 67dd956b6acf5533cd2551cac7fd618eca839261
 2013-04-24 20:13:39 -07:00
Eric Dobson
929134d7ce Fix up lazy-requires and dynamic-requires in TR. 
original commit: 611b22ff0421d46288f987a7668fb942cb70a01e
 2013-04-24 18:46:44 -07:00
Eric Dobson
4d72cbffa0 Small TR fixes. 
original commit: a94c449ff1d7e6eb299c06d8be2da681d1b99d9f
 2013-04-24 18:46:44 -07:00
Eric Dobson
211f0fcd58 Use information of application site, to reduce possible arities. 
Closes PR12905.

original commit: 55aba088decf0c243a7d5d0cf912e03efc524d40
 2013-04-24 18:46:44 -07:00
Eric Dobson
7a5f8c29ac Add polydots to all things that support it. 
Closes PR 13612.
Closes PR 13584.

original commit: 2e2ef0b57aa5ca5c87d86e035e633cd265f94d9f
 2013-04-22 21:03:00 -07:00
Eric Dobson
6b45173588 Correctly protect Procedures in TR. 
Closes PR 13664.

original commit: fc36c12ce4df96cca4df053fa5e0f4c4969b7e8a
 2013-04-22 21:00:52 -07:00
Vincent St-Amour
6350738866 Print seed used for TR random testing. 
To make it possible to reproduce test runs.

original commit: 1f3e38d305eefd4e79615688e6327e8b3c8faec0
 2013-04-22 11:55:00 -04:00
Sam Tobin-Hochstadt
c0b5f31c90 Add #:omit-define-syntaxes to define-type. 
original commit: ecf02a32b4e2431e57f77da4f497fcb8f62426ec
 2013-04-21 15:39:38 -04:00
Vincent St-Amour
20a01d0a03 Extra tests. 
original commit: 341528065735f8390dbad87f49646580096a6a0d
 2013-04-19 14:21:04 -04:00
Sam Tobin-Hochstadt
1e8e959025 Fix types of system etc for new keyword arguments. 
This requires extending the ->optkey type constructor to support rest
arguments, and fixing the keyword function type generation code.

Testing is still limited because there's no parsing for such types.
That will be handled in a later commit.

original commit: 3fd9df03f7236c803125170e03773218d70c6665
 2013-04-18 21:01:56 -04:00
Vincent St-Amour
de94f17bb6 Update TR history for 5.3.4. 
original commit: 85eab5610f53450a2365e1967ba1c84927599772
 2013-04-18 12:01:28 -04:00
Eric Dobson
632b14c736 Terminate typechecking on cyclic lists. 
Closes PR 13687.

original commit: b8ab1334d9192720ebb6a37e311880f158276d8b
 2013-04-13 20:23:19 -07:00
Stephen Chang
28a898f4fe fix typed racket named let: error when there are no binding types 
closes PR 13691

include in release

original commit: b3ba324a9263bb3b170cac8476b58f1217f381c5
 2013-04-12 18:25:55 -04:00
Asumu Takikawa
5644dbec4b Remove unnecessary type->contract case 
original commit: 9eaf5aaddbd4aaf444305491b0d0bbd3024fdf2f
 2013-04-05 16:56:50 -04:00
Asumu Takikawa
8cb2e46596 Translate Value types to ctcs with better names 
e.g., True -> '#t  instead of
      True -> "#t" for a flat-named-contract

original commit: 0161dfdf167e70cffe9f20b050ee7efe5c2062f4
 2013-04-05 16:56:50 -04:00
Asumu Takikawa
3e82fb429d Adjust type for dns-get-address 
original commit: 35e791be4eed4d67dfe4e91e5fb4cd22fb824b71
 2013-04-04 16:11:28 -04:00
Vincent St-Amour
1bc88189d1 Make TR-generated identifiers have the same name as original identifiers. 
Makes error messages nicer, and makes it easier to correlate with source code.

original commit: 16a75761b052f49d0257afb19cc5282bae34558e
 2013-04-04 15:31:51 -04:00
Vincent St-Amour
e4e84ecf70 Use locations from typed identifiers for type-generated contracts. 
original commit: ff3d785da2d87bdf3ef1d91d89400dd5b5a9722f
 2013-04-04 15:31:51 -04:00
Vincent St-Amour
b0851f1c4f Have Optimization Coach report unsound float division missed optimizations. 
original commit: 459c731bb93028e5bbf67345dcd1cb1d22a2e208
 2013-04-04 15:31:50 -04:00
Eric Dobson
e3a7a3e932 Fix untested contract generation code. 
Closes PR 13449.

original commit: 94861becd012f99a6438a1f9075d43fde0c8cf62
 2013-04-04 08:29:15 -07:00
Eric Dobson
d425ebda53 Fix tc-apply to correctly generate expected ValueDots filters. 
Closes PR 13649.

original commit: 76de4d3cca494861e42a14cb84f28fa820c9214b
 2013-04-04 07:45:15 -07:00
Eric Dobson
33fda17516 Fix contracts in TR. 
original commit: 2b8efd66769258c006fd08b571027cdb4fd89a69
 2013-04-04 07:43:08 -07:00
Eric Dobson
84c64fb0d0 Fix prefix-of. 
Closes PR 13448.

original commit: 17b9ed0a75678a2b5c40213a2fc67d786c52bd4e
 2013-04-04 07:42:45 -07:00
Eric Dobson
5286a8163d Add example of (List t ... bound). 
Closes PR 11903.

original commit: 5ec7401f1f5a628948e091eeb2a54d7ca09f2109
 2013-04-04 07:41:53 -07:00
Eric Dobson
e36796195e Add doc for #:no-optimize. 
Closes PR 13001.

original commit: c29560828250dddcb3ff265527896e219d5d8b63
 2013-04-04 07:41:53 -07:00
Vincent St-Amour
2f0211bd19 Document not yet fixed optimizer bugs found using random testing. 
original commit: d00a579c5a4b6488d87421da3a75ed6ec8032ea3
 2013-04-04 10:05:53 -04:00
Vincent St-Amour
5f3a09570a Avoid unsound optimization for complex division. 
Found using random testing.

original commit: a50d9bad7e0823af5f3134e5edbd9be2768f247a
 2013-04-04 10:05:53 -04:00
Eli Barzilay
101b1d6496 Test for being able to customize struct printouts. 
original commit: 8ffd8878476732e1e783efaa25a94d54172c950e
 2013-04-03 18:10:22 -04:00
Eric Dobson
34ddd07482 Turn dynamic-requires into lazy-requires in TR. 
Closes PR 13621.

original commit: 04ef9db1b31496bb9ec93f8f7899c04acf3d1230
 2013-04-03 09:49:40 -07:00
Eric Dobson
3d360c2524 Make +,*,min,max support precise unary types. 
Closes PR 13563.

original commit: 6c2e75ac7e21b3c1adcc9a9f7eb0fff4223de65c
 2013-04-03 09:33:02 -07:00
Eric Dobson
07b7768bdb Adds subtyping for filters, and fixes -FS to be more precise. 
Closes PR 12817.

original commit: 0e0f1cd6707f5cda8e636f3dd1c6dd5d885fd0c4
 2013-04-03 09:25:28 -07:00
Vincent St-Amour
74fd3f536f Fix test for new complex division. 
original commit: ffc90239d06a2977d7a1150b693c62d3e8e9fe53
 2013-04-02 17:32:29 -04:00
Tony Garnock-Jones
e25d827eb0 Show the offending value when a TR-introduced Any contract fails 
original commit: c5df74f662bf5eb733211a33db256f91bb11dfaa
 2013-04-02 16:29:11 -04:00
Tony Garnock-Jones
6bdd1c3c17 Avoid stripping location information from syntax object in warning message. 
original commit: f2616b934c8e71b7d1caf327b31d2c9ba032c321
 2013-04-02 16:29:11 -04:00
Vincent St-Amour
a0821131dc Fix optimization on exp of complex numbers. 
Found using random testing.

original commit: b808d2809e4856614248b2308d4a21bbca4400f7
 2013-04-02 16:29:11 -04:00
Vincent St-Amour
e0394683a2 Fix type of tanh. 
Found using random testing.

original commit: f66ee7088fec28a4283ef7acf8639bc9bbbfb37e
 2013-04-02 16:29:10 -04:00
Vincent St-Amour
523bbf4882 Fix type of sinh. 
Found using random testing.

original commit: ed12b64bf756ec908a507dc61aa00cce32c94234
 2013-04-02 16:29:09 -04:00
Vincent St-Amour
9fa9d9751f Imitate untyped division more closely. 
Found using random testing.

original commit: 6e10dd6a4dd91077e3080414ab1a440dc8d3c958
 2013-04-02 16:29:08 -04:00
Vincent St-Amour
f159548363 Abstract unboxing of complex division. 
original commit: 5f9bcbca496be116e7519341056572c6927a4765
 2013-04-02 16:29:08 -04:00
Vincent St-Amour
6584c83187 Fix coercions from single-floats to floats. 
Found using random testing.

original commit: ca63915693b706f0ead17f114ffe76a087a11c63
 2013-04-02 16:29:07 -04:00
Vincent St-Amour
82f1f48ad2 Reimplement unboxing of complex division. 
Add special cases to be consistent with untyped Racket.

Found using random testing.

original commit: 77b89fab993f1f8f55c705d10a5d1210bc01feda
 2013-04-02 16:29:06 -04:00
Eric Dobson
9a7e5339b7 Fix parsing of dotted rest when there is an expected type. 
Closes PR 13646.

original commit: 3d49087ea3aa85f205d1f70982f24564fb11345c
 2013-04-01 22:17:32 -07:00
Vincent St-Amour
1d9ed172ef Simplify type. 
original commit: c8c6341970db042b62c9143f92914553e90dd843
 2013-04-01 14:44:32 -04:00