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

3245 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
a81b666a5e Replaced references to abbrev.rkt with convenience.rkt. 
Skipped this for subtype.rkt, because of a require loop caused by
lazy-require.

original commit: 6dbc054e41af5820ceda8a50508ccf43c51ab7ed
 2012-08-07 15:50:50 -04:00
Vincent St-Amour
13b06ee19a Control number of attempts for TR random testing from the command line. 
original commit: 7494fccc4c8af1ced3771b58515e661b2aca7f6c
 2012-08-06 12:48:41 -04:00
Eric Dobson
dab83ca0b0 Fill hole in recursive type soundness. Fixes PR 11372. 
original commit: e6d4fb2ee247cfec157175788ff29f94e6aec3e5
 2012-08-06 12:31:07 -04:00
Eric Dobson
786a64de60 Add support for creating contracts of heterogenous vectors 
original commit: 9f453676d13f4b44ee9e8d891984de38db9bdeb0
 2012-08-06 12:31:07 -04:00
Eric Dobson
74f13b21f1 Fix type of integer-sqrt and add type for integer-sqrt/remainder. 
original commit: f09069854225ccc00b9b9041fc2f26d2e83f8450
 2012-08-06 12:31:07 -04:00
Vincent St-Amour
9f060f5be7 Swap unsafe and chaperone-unsafe vector ops in the TR optimizer. 
Closes PR12969.

original commit: aba046a92d42de70a2f777bfbe9a4e75f8e935a9
 2012-08-04 10:32:21 -04:00
Vincent St-Amour
642e310bbe Remove invalid singleton return types. 
NaN doesn't inhabit these types, but can be produced there.

original commit: 1215fb6cec8ed7e6559e279a46fc7d2be0bfd403
 2012-08-03 14:21:44 -04:00
Vincent St-Amour
90741c2747 Include NaN in all floating-point types. 
Makes more closure properties hold, but weakens occurrence typing for
some comparisons involving flonums.

original commit: a6d5a98b61c033340c66b91dd53c18ea50db8c60
 2012-08-03 14:21:44 -04:00
Vincent St-Amour
5c4b0895dd Fix type of rational?. 
original commit: b1fbbafd91fdd64496647f0108ece7e6fed9947e
 2012-08-03 14:21:44 -04:00
Vincent St-Amour
5bb888e47e Fix documentation for packages and mutable lists. 
As suggested by Matthew.

original commit: 800a328fe6524cc9aaac3d258d8bdeee3fca9337
 2012-07-31 17:12:30 -04:00
Vincent St-Amour
c9d00530aa Fix type for dynamic-place. 
original commit: cc8a9b5ed79ee065bdd36c1c01cec929de054192
 2012-07-31 17:12:30 -04:00
Vincent St-Amour
445524b021 Fix parametric require/typed in typed/racket/base. 
Closes PR12951.

Please merge to release.

original commit: dd02f5eedaaea8077e36e38511e0af1998b5f94f
 2012-07-29 09:02:58 -04:00
Vincent St-Amour
6b569fa82f Move mutable list functions to the compatibility collect. 
Mutable pair functions from racket/base are not moved.

original commit: 52439d528b78db6394798d9bdd39b2017de03a5e
 2012-07-27 16:49:05 -04:00
Vincent St-Amour
2b8e955f68 Fix type for add-between. 
original commit: b1577bd307ac1c8136630a3949755f833a8073d2
 2012-07-24 16:41:52 -04:00
Vincent St-Amour
97644237e6 Update TR history. 
original commit: c5b49066a86ea07fbf142af253f2c38f9bb8564c
 2012-07-24 13:48:05 -04:00
Vincent St-Amour
e7eaeaea33 Fix spacing issue. 
original commit: cfc8fe576676de1d2834bd20fbded3e5219519ed
 2012-07-24 13:48:05 -04:00
Robby Findler
e67f435938 adjust the interface reference in drracket for the new view menu 
original commit: df4508573a32e3400bf209901fecd547ad078f1e
 2012-07-21 11:34:13 -05:00
Vincent St-Amour
d9b716ccf4 Update Optimization Coach documentation. 
Please merge to release.

original commit: ea6ba36ccb505cd8d08ca1f88d9f9aed18209e8f
 2012-07-20 18:05:33 -04:00
Vincent St-Amour
3f31c7af35 Only enable Optimization Coach button in Typed Racket. 
Other languages can access it through the View menu.

Please merge to release.

original commit: 24b314a40ade5c576912eea416a68d78e09ca01b
 2012-07-20 18:05:32 -04:00
Vincent St-Amour
8dcab4cef0 Change Optimization Coach message. 
original commit: 2e594d36068ab198662bbece0f79981779f23a0d
 2012-07-20 18:05:32 -04:00
Sam Tobin-Hochstadt
460b1fe7b3 Ensure that structs don't overlap with simple values. 
Reported by Ray Racine.

Please merge to release.

original commit: 4a90c6c1fea75fac3132de7df70e5e7e8207b311
 2012-07-20 13:01:32 -04:00
Asumu Takikawa
2f6213c56f Allow guards for impersonatable struct type properties 
original commit: e14c5d61e95b867a95c820adec6c5b9e5f1ff9dc
 2012-07-19 22:46:14 -04:00
Sam Tobin-Hochstadt
63c203c7ea Document Struct. 
Merge to release.

original commit: a589d027511c3a609ffbda2efaaf394c2734c1bc
 2012-07-19 10:55:31 -04:00
Matthew Flatt
f549a9e634 submodules: make .zo path stick for consistent independent loading 
When a module is loaded from bytecode and then the value of
`use-compiled-file-paths' changes, an attempt to load a submodule
would fail, because source isn't used if the main module is
already declared, and the bytecode code is not used according to
`use-compiled-file-paths'. Make the bytecode path stick when it
is used once, so that submodule loads succeed, and make it work
even with `namespace-module-attach'.

The module-attach part of this protocol requires a change to the
API of a module name resolver: the notification mode gets two
arguments, instead of one, where the second argument is an
environment.

original commit: c8f4ac6ae47023157a337aa5e164b74439e373d6
 2012-07-17 09:47:05 -06:00
Sam Tobin-Hochstadt
be30f1ae76 Use lazy instead of delay, as recommended by Eli. 
original commit: 22904ef43eeb947b6435983857baa62c4533a5e8
 2012-07-17 07:11:23 -04:00
Eric Dobson
9ee5660550 Fix things broken by bad rebasing. 
original commit: 9dac995e36c99a6170a72ec9b784ca446ec17ca1
 2012-07-15 19:21:26 -04:00
Eric Dobson
1be54e4cc5 Clean up of typechecking for heterogeneous vectors and structs. 
original commit: 1df6165e9fae2213d2ebb7f70b54c35e0193782e
 2012-07-15 19:21:26 -04:00
Eric Dobson
6d683c97a6 Clean up of tc-app.rkt. 
original commit: dd078dcb950a99d267c8abdd69e7c5dd1de0ba5f
 2012-07-15 19:21:26 -04:00
Eric Dobson
e02e4bbe11 Remove special cases for - and fx- in tc-app.rkt. 
original commit: 779291c795e6370706efa34cca6af2a110727ebb
 2012-07-15 19:21:26 -04:00
Eric Dobson
fd7bea8edb Added cond-check-below 
original commit: 8f98bb6d92aa2aa47910b9aa2cc8301b76f063ed
 2012-07-15 19:21:26 -04:00
Eric Dobson
ceb8feedcc Fix bad contract and clashing provides in TR when contracts are enabled. 
original commit: 3dfd4c52a9ef0caeee283ed82e061ae8cab4a95d
 2012-07-15 19:21:25 -04:00
Eric Dobson
d93803cdeb Make TR compile cleanly with contracts enabled. 
Added a couple of contracts and fixed some others up as well.
The two bugs were that with-contract was not imported, and that
subtype could be called with Values and Results.

original commit: 030e56311ec9196131e321129023c9ef21f39b32
 2012-07-15 19:21:11 -04:00
Sam Tobin-Hochstadt
90e5702fb5 Properly handle quoted constants with bad expected types. 
Closes PR 12874.

original commit: 8c659d50ede68e23f1c14e45000717c64dc0c2ce
 2012-07-14 23:06:13 -04:00
Sam Tobin-Hochstadt
60b0b0faaa Handle arbitrary recursive contracts generated from Rec types. 
original commit: 1dca82784b664e7640053333fec85980159cbd16
 2012-07-14 22:45:08 -04:00
Sam Tobin-Hochstadt
073263527c Improve type of values when applied to one argument. 
Closes PR 12846.

original commit: 2aaeec4520cb82f847fa57412b60a023ba7f3fa7
 2012-07-14 22:45:08 -04:00
Sam Tobin-Hochstadt
4a2fb49431 Fix special case for expected unions of vectors. 
Closes PR 12845.

original commit: ccf79943ab6af0655adcb3f05d13f8f131651c4a
 2012-07-14 21:56:44 -04:00
Sam Tobin-Hochstadt
57358149cb Don't shortcut simple letrec forms that aren't lambdas. 
Closes PR 12841.

original commit: 2500dad8f124429fc5b035fc58add891f2bd7bb8
 2012-07-14 21:36:56 -04:00
Sam Tobin-Hochstadt
c52317054a Vector fixes. 
- Allow indexing into a VectorTop, with result `Any`.
- Don't use special typing rules for applications when the operator
  has an annotation or instantiation.

Closes PR 12887.
Closes PR 12888.

original commit: 9e097866bfcb0f2eed86993861f09ecf82b98e47
 2012-07-14 21:30:26 -04:00
Sam Tobin-Hochstadt
f5de041d2c Fix documentation of Sequenceof type. 
Closes PR 12831.

original commit: 49b030ac8dac84a02a8f273339eedc2ceb022e01
 2012-07-14 21:30:26 -04:00
Sam Tobin-Hochstadt
b5b7c3f7ed Mutable data at typed boundaries can't have flat contracts. 
Closes PR 12884.

original commit: f40c7f11a6a11c9e7afe1c02b2826ebd7626edbd
 2012-07-14 20:43:35 -04:00
Sam Tobin-Hochstadt
33469762b7 Parse (Struct t) as StructTop. 
Close PR 12903.

original commit: 546c12cf2a2205aa19b205fd45a4653e3a1d2448
 2012-07-14 19:20:51 -04:00
Sam Tobin-Hochstadt
7b9857b656 Print StructTop nicely. 
Related to PR 12903.

original commit: 418a0c311b8b1e463f1c449f10c2b31f9b25a287
 2012-07-14 18:41:42 -04:00
Sam Tobin-Hochstadt
57dea3aacd Intern Struct types properly wrt. identifiers. 
original commit: 4cba6e010fab5d1c9efce484a6de76f7cf4a3c0e
 2012-07-13 17:10:50 -04:00
Sam Tobin-Hochstadt
ee5584e4d5 Require binding of add-mod. 
original commit: e6697fe43f2ed4feac1e8e74da319a0aedb3b0d4
 2012-07-13 17:10:50 -04:00
Sam Tobin-Hochstadt
b109d46e28 Use promises for current-type-names. 
original commit: 683f8e4e4b6f95da74b69e1587b1f1e9f77ca6b8
 2012-07-13 17:10:50 -04:00
Sam Tobin-Hochstadt
60c565f64e Fix tests for new type name declaration. 
original commit: 2dd9a43d1b3fe4d3b64ccee5c88db4cb58d7f3f8
 2012-07-12 17:41:12 -04:00
Sam Tobin-Hochstadt
1f7d88e114 Reduce some dependencies of Typed Racket prims. 
original commit: 396b04eb8689ed918f675cbed290c0a1bfa71c78
 2012-07-12 17:41:12 -04:00
Sam Tobin-Hochstadt
a6fc57ea97 Delay actual initialization of type environment. 
original commit: 5ab3827b488cdd638da7b48ca9c52ca9aa344faa
 2012-07-12 17:41:12 -04:00
Sam Tobin-Hochstadt
788e335196 Rename type-decl submodule to #%type-decl. 
original commit: 775dc67a3b30686e604cf459c017320a64f128c5
 2012-07-12 17:41:12 -04:00
Vincent St-Amour
fdd870efd5 Rename Performance Report to Optimization Coach. 
The new name is more accurate.

original commit: 60a0f3b8545582df43673063b65116a0f929b415
 2012-07-11 10:59:35 -04:00