suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3,283 Commits 13 Branches 1 Tag 9.2 MiB
e7236bb4d0
Commit Graph

3283 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Asumu Takikawa
a68d2c2029 Add comments, purpose statements, and contracts 
original commit: bb2ecbf8cb066021bc6b1360b488580b3cf2ffc2
 2013-05-07 11:05:28 -04:00
Asumu Takikawa
bf3afb8383 Fix printing of tc-any-results in type errors. 
In the long run, these error messages should get
simplified so that this printing is not necessary.

Closes PR 13577 and PR 13526

original commit: e53b0858c32b845482d8d9b5f5559df6f143cff7
 2013-05-03 15:13:18 -04:00
Asumu Takikawa
e484bddc23 Refactor and add purpose statements/contracts 
original commit: 64e1b68c8d1718a0cd7ace92e12d1d6055a22628
 2013-05-03 15:13:18 -04:00
Asumu Takikawa
3dd4d70d65 Fix docs for Opaque 
Closes PR 13531

original commit: 7c96321cd43540aad9f444000fb1fb1449d086e8
 2013-05-03 13:10:31 -04:00
Asumu Takikawa
685597c05d Clean up struct: and disallow unsupported options 
Related to PR 13562

original commit: c3b80bee410ca42a7c2f22e907bfdd91ac6ca7c7
 2013-05-02 18:31:58 -04:00
Eric Dobson
7334565445 Fix require/untyped-contract to generate better names in contracts. 
Related to PR 13716.

original commit: 9c71dafb630e66035a102636cdc5aa84c0ae7940
 2013-05-01 20:35:20 -07:00
Eric Dobson
2e802bc3bc Fix contract generation for mutable structures. 
original commit: de96643fbe9e50b9554805b2aec199b8bc38962a
 2013-04-29 20:45:49 -07:00
Eric Dobson
bb3f8c1885 Make structs initialize to constant instead of covariant. 
original commit: 7735aa57998c1107913578fce954376977f197c4
 2013-04-27 11:50:57 -07:00
Eric Dobson
1c04aec678 Cleanup names-of-struct 
original commit: 154ab046fe58bf15c7cc6eb5e2a4671d07edea14
 2013-04-27 11:21:29 -07:00
Vincent St-Amour
f324fecbe1 Explicitly flush output after printing random testing seed. 
original commit: 056a6044e59a9a44ea4acac1d682e5824583b2d6
 2013-04-26 14:16:55 -04:00
Vincent St-Amour
9998f2c0b2 Document VectorTop and HashTableTop. 
original commit: 457ca0982f941372409dec2c03ed46ca9847a097
 2013-04-26 12:27:02 -04:00
Vincent St-Amour
e00e836160 Allow read-only hash operations to accept HashTop. 
Closes PR13710.

original commit: e6ff57f3bda3f7521722351ed8c3a799d6b99464
 2013-04-25 17:29:10 -04:00
Eric Dobson
479f3be677 Make type->contract correctly respect variance. 
Track whether we are protecting values from the typed side and/or the
untyped side.

Closes PR 13662.
Closes PR 13663.
Closes PR 13665.

original commit: b5b13222c8eaf7e2152b77ab21d21568103c55c8
 2013-04-25 08:29:37 -07:00
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