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

2410 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Vincent St-Amour
c36cbef304 Fix type of lcm. 
Found using random testing.

original commit: 92c4c70e7a3ebcdfa22d8a518256543803558adb
 2013-04-01 14:44:32 -04:00
Vincent St-Amour
948d4afbf8 Re-enable testing of hyperbolic trigonometry functions. 
original commit: 70a8b79d0e3a0a5c3e70a798ae8e24940d2ace43
 2013-04-01 14:44:31 -04:00
Vincent St-Amour
e1a6cc3618 Add random testing for complexes. 
Fix a bug it found.

original commit: 990fa87a2eba6b531557c623a4b5c5b4a893313b
 2013-04-01 14:44:31 -04:00
Vincent St-Amour
4da3453cf5 Sometimes generate random integers. 
original commit: ca2e6bd769374b2e636fdf0a59afda484fb7975a
 2013-04-01 14:44:31 -04:00
Vincent St-Amour
b78a21ce68 Factor out grammar to generate well-typed terms with higher probability. 
Allows us to test integer-specific functions.

original commit: 3e9595e910d2dcbcb0e5edbbabef826ad4c4540b
 2013-04-01 14:44:31 -04:00
Vincent St-Amour
f6952a0d91 Fix types of bitwise-and and bitwise-xor. 
Found with random testing.

original commit: f7e8b090e6e6e2f6d5be7687878e407ee923b29b
 2013-04-01 14:44:31 -04:00
Eric Dobson
9d9d226bf6 Remove dependency on GUI libraries. 
original commit: 5d8f470e0bf7d7b8f0a4a70d822c526265dc5c00
 2013-03-31 11:43:08 -07:00
Eric Dobson
4aa61d7de1 Reimplement for*/list: in TR so that it works. 
Closes PR 13253.

original commit: eeeceedb8c0fb5102811ccdd1c4d52dc9efd813b
 2013-03-31 10:40:21 -07:00
Eric Dobson
e118ab41e2 Improve type of expt since inference is bad. 
Closes PR 13383.

original commit: b637c24d888270385bad4d336c58b4f653c1fcc9
 2013-03-31 10:39:36 -07:00
Eric Dobson
e45eac7249 Add testcase for sibling modules. 
Closes PR 13155.

original commit: ecec724747ed51478b8b5990441779897e3c5a87
 2013-03-31 10:39:16 -07:00