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

3049 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Eric Dobson
74449f2a0a Add descriptions to for: syntax classes. 
Closes PR 13284.

original commit: 38409e0d7e5170f0d75f0c7c5cd9da25809a47dd
 2013-03-25 09:42:29 -07:00
Eric Dobson
06075c185d Add testcase. 
Closes PR 12812.

original commit: d7f12d93f498c530ca4ada47dfc40155b664e281
 2013-03-25 08:50:48 -07:00
Eric Dobson
44c905cf88 Check for structure binding and raise good error if it is not there. 
Closes PR 13588.

original commit: 87facb736fab1a79f064381433256f8b8a525688
 2013-03-24 18:35:22 -07:00
Eric Dobson
2393bd43a3 Remove legacy require/typed form. 
original commit: bb0b071f385c42c4a4ba8cf54db032bb47a3e010
 2013-03-24 18:35:21 -07:00
Eric Dobson
54d6d3ffec Typecheck (lambda args body) as (arg1 -> result). 
original commit: 0e42a791a75a30bb2bf45bf968d053dfdf567d40
 2013-03-23 13:18:05 -07:00
Eric Dobson
22672f99e8 Fix Struct-Type-Property. 
Closes PR 13593.

original commit: 8d080b74cb78d0b000059782703b2c4aa896f5cc
 2013-03-23 08:24:05 -07:00
Tony Garnock-Jones
606b192204 pretty-format returns a String, not Void 
original commit: 0399babc85d72a7dfc3114cb127285779f053228
 2013-03-21 18:11:28 -04:00
Eric Dobson
ff5b594242 Fix parsing of dotted formals. 
Closes PR 13576.

original commit: ccc8b85cef665b310b5197fe2c145c85280f9bd1
 2013-03-17 18:52:47 -07:00
Eli Barzilay
8c1e485526 Fix lots of indentation mistakes. 
(Found by my ayatollah script...)

original commit: af6be85ff576e475753a46bd3f1690eb8bf88a28
 2013-03-14 10:55:47 -04:00
Eric Dobson
b8c9e1f63f Cleanup of subtyping, additional comments, and improved short circuting. 
original commit: 71d6189132cecffc75b4d2fdb41c985a1a763380
 2013-03-13 22:59:27 -07:00
Eric Dobson
5fbd396787 Add more hacky things to make with-handlers typecheck. 
Closes PR12644.

original commit: 714f667cf1758c31560fa25b5a21b5df2c17e2e0
 2013-03-13 22:29:41 -07:00