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

3664 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sam Tobin-Hochstadt
ad1db428d3 handle sets in any-wrap/c 
original commit: 3ae298b14504be101713692ab7e3169841670a09
 2013-10-30 14:29:46 -04:00
Eric Dobson
11eeb1a4ad Add new known bug. 
original commit: 4f5e10d7308dc040a65ba465c12cf7e04fcbbce5
 2013-10-29 21:50:48 -07:00
Eric Dobson
379b6db28c Correct type for processor-count. 
original commit: 83b43df4559f9bd8164cbbc8fefb3b6296c356db
 2013-10-29 21:04:27 -07:00
Eric Dobson
69bd69f6d7 Make unary float complex operations optimize. 
This removes an unnecessary allocation.

original commit: f09ebdb74353c890a836c31297683014a46e4090
 2013-10-29 20:29:29 -07:00
Eric Dobson
9ea2a86d94 Add more bugs to known bugs list. 
original commit: e392b0880ae846c54a36a3e09845f36730b11885
 2013-10-27 09:57:29 -07:00
Eric Dobson
62a29e93aa Reduce testcases for known bugs and document the root causes. 
original commit: 74377e717e86257c01a823f0b7ed6bda0fa4eea7
 2013-10-27 09:23:46 -07:00
Asumu Takikawa
f5ba0864a0 Swap conditional order 
This has no effect on the truth table, but affects
side effects. It shouldn't actually matter because
`check-all-registered-types` is not called in the
TR top-level anyway, but this seems safer.

original commit: cf7b5b79e766254611255765e8e50f0b80d4c803
 2013-10-26 00:12:36 -04:00
Asumu Takikawa
aeee35bccb Allow re-definition at TR top-level 
original commit: e513cdc1c445f7d2ca15ef7033caada29ccf63ff
 2013-10-25 22:59:58 -04:00
Sam Tobin-Hochstadt
d89b936cc5 Major revision of subtyping code for performance. 
Improves tests/typed-racket/succeed/new-metrics.rkt by about 33% overall runtime.

Major changes include:
 - Handling memoization entirely inside the `subtype*` function.
 - Remembering only previously seen pairs of types when one of them
   might be a recursive type (such as Mu or a structure).
   Thanks to Ryan Newtown for this this idea, which enables the
   previous change as well.
 - Doing as much as possible without touching parameters.
   (Unfortunately, not as much as I hoped was possible here).
 - Replacing uses of => in `match` with #:when (written for this purpose).
 - Significant improvement to the `Type-key` system so that it is
   useful much more often.
 - Use of unsafe operations.
 - Minor optimizations to a few other operations.

original commit: 0a6537a6cbed7ca477d1539749b0afa371a2fda9
 2013-10-22 19:14:26 -04:00
Sam Tobin-Hochstadt
d60c5ca746 Tests use test-engine/scheme-tests 
original commit: 1d7cd499c1f648782de6188f39b48a258001b618
 2013-10-22 15:30:14 -04:00
Eric Dobson
ca2f878a80 Make known bugs executable. 
original commit: 94e4941f6f74b53ccd476063e700cd002818b77e
 2013-10-22 08:43:14 -07:00
Eric Dobson
a04cecd5bf Replace calls to display with write-string. 
original commit: 3eb06116ef2c5e5677fb18270f76eeb2392979e1
 2013-10-22 08:42:45 -07:00
Eric Dobson
842da7398f Improve transform. 
* Make it close the source file after it has finished reading.
* Run in parallel when the file are supplied via the command line.

original commit: 43eadd0fa75e4235318d337e9bd015e1ae6ddd24
 2013-10-22 08:42:45 -07:00
Ryan Culpepper
2f5d5f4129 fix named let: errors 
closes PR 13806

Still to do: document the subtleties of ~and w/ error reporting.

original commit: 504c7a89576f31aa25012cf4351cd3ff42c94895
 2013-10-21 23:02:11 -04:00
Asumu Takikawa
c93a0b3921 Adjust contract on make-pred-ty 
Allow old-style and new-style filter path objects.

original commit: 319a1d68afac507ae9498a75397acffc858786bb
 2013-10-18 15:46:07 -04:00
Asumu Takikawa
aee45b227d Make Typed Racket build with contracts again 
original commit: f7a49c5e0601d8d82c4149c187c50faf2f69236a
 2013-10-18 15:46:07 -04:00
Asumu Takikawa
bc2492bfb9 More TR caveats 
original commit: 51bca4208c4837cfe84a8beef3b6dca7448267f8
 2013-10-16 17:02:03 -04:00
Asumu Takikawa
68da446549 Abstract out "Expected foo, but got bar" errors 
Use the new helper function to report errors more
helpfully when two identically named type variables
from different scopes are encountered.

original commit: 18d4eb51351bb265f69f16b825932d93b228e69e
 2013-10-16 14:39:24 -04:00
Asumu Takikawa
ccdaf6e564 Use string->uninterned-symbol instead of gensym 
The reason these functions used gensym to begin with
was that fresh variables resulted in confusing error
messages of the form "Expected a, but got a".

An upcoming commit fixes these error messages, so
the gensym is replaced.

original commit: b214fa01c11c6fc74f24318bc702bbb5ad915822
 2013-10-16 14:39:24 -04:00
Asumu Takikawa
ef1bb66deb Linkify 
original commit: e24310629483b3c2527e04dd82e509fb0b51f7b7
 2013-10-16 14:39:24 -04:00
Asumu Takikawa
9aef2f0bed Typo (plurality) 
original commit: 6f344c6259ef6ff9d645c502619afbda885189a5
 2013-10-16 14:39:24 -04:00
Matthew Flatt
40bc64482e remove some unneeded dependencies 
original commit: d5f6b72e6976a36d6777709711765af1117c959b
 2013-10-15 17:50:32 -06:00
Matthew Flatt
947181fe22 move some test & doc collections out of "racket-" pkgs to new pkgs 
original commit: 1920ac59ab0607502641298fc575b66e6acd8c73
 2013-10-15 17:50:32 -06:00
Asumu Takikawa
3e57d7972b Add a caveats and limitations chapter to TR guide 
original commit: 99427ea6c3788f4e2c5d4259df172f10db119c14
 2013-10-15 19:11:26 -04:00
Ambrose Bonnaire-Sergeant
9b715f5ba2 Typo in comment 
original commit: 51a3094fdcb79b03fd7e9e1973206ca09039e9d3
 2013-10-15 13:58:23 +08:00
Vincent St-Amour
82d0c4a3b8 TR for clause specialization: Report specialization failures. 
original commit: d6372ef2dced88bba56d640b03158f1652671be5
 2013-10-10 17:18:03 -04:00
Vincent St-Amour
5b36f34fe4 TR for clause specialization: More detailed message. 
original commit: 456f32b77f10f807a31388fae951fa66755fd9b4
 2013-10-10 17:18:03 -04:00
Vincent St-Amour
e1c1f270a5 TR for clause specialization: log syntax objects with location info. 
original commit: cef7348e8de66d89baa612ad201054bc1656b197
 2013-10-10 17:18:03 -04:00
Asumu Takikawa
61f436be0f Make : error on unbound identifiers 
Closes PR 13298

original commit: f6d62b2813616b6efa56acc0695403d7a32e9386
 2013-10-08 12:06:58 -04:00
Vincent St-Amour
6a96687838 Fix TR constructor detection. 
Was accidentally turning #%expression into #%plain-app in some cases.

original commit: ba9873b0a062c2d6a64f8e5a8db3e6bd01a6a5c7
 2013-10-04 10:18:44 -04:00
Sam Tobin-Hochstadt
3405bbdfac Add (very simple) type for hash. 
original commit: c88e536c460ff05fc1e8b4c134a5361a14a3f32f
 2013-10-03 13:14:02 -04:00
Vincent St-Amour
d49488ebaf Add Asumu and Eric to the TR credits. 
original commit: 88f9608c178464806029366353eb5de848a510c3
 2013-09-28 17:18:10 -04:00
Vincent St-Amour
89f5af7712 Fix running individual optimizer tests. 
original commit: 8e225621c3ab2976e40b92e1a2c8ed40206b90b5
 2013-09-28 16:40:50 -04:00
Vincent St-Amour
8dbf844521 Fix reporting of struct constructors in TR. 
original commit: 5f2dfa51442a0adfa20a0aa44bdfb681cd18eca2
 2013-09-28 16:40:50 -04:00
Asumu Takikawa
aa5d2e6a82 Improve error message for misuse of type names 
Closes PR 13289

original commit: cd004fd9cec127cf0e409e824c8b0194983b1cee
 2013-09-20 15:49:31 -04:00
Matthew Flatt
1cbbe0d029 Typed Racket reference: use #:indirect to fix some docs 
Also, use `#:no-declare` to fix some module declarations that are
all in the same section. (If bindings were defined in the modules, then
they'd need to be in different section, but the section titles could
be hidden to make them look like they're all in the same section.)

original commit: 39a0c3b492d46baed04e2205c0604cf8c4d4967b
 2013-09-19 11:17:44 -05:00
Asumu Takikawa
deaf4861c2 Improve type->contract error messages 
original commit: 0b78356be72274c07553047f5f95614e329617c3
 2013-09-17 20:37:57 -04:00
Sam Tobin-Hochstadt
3c39fd0c95 Remove links to math and plot docs until we can do them correctly. 
original commit: 627e1b4782f320310f6a38fccff3cad083125dbc
 2013-09-17 08:38:54 -04:00
Robby Findler
1b30e4a1fc add missing dependency declarations 
original commit: 36c623d93f693ec3312d01cb49b169e1da19a6ae
 2013-09-17 03:38:08 -05:00
Asumu Takikawa
2b955ead7f Expand TR reference section on libraries 
original commit: f5b82eb510c02bb512cc6a8c4dfcb7c16efe6657
 2013-09-16 16:17:02 -04:00
Ryan Culpepper
a521f6aee2 extracted rackunit-gui package 
original commit: 8512c365128064f3c1d3bdee768ce387cb358303
 2013-09-15 13:49:35 -04:00
Robby Findler
1cb627e61a remove dependency from string-constants on compatibility-lib 
original commit: 03f50815d7c2e9c905014924308fa3917f377d88
 2013-09-13 12:04:51 -05:00
Eric Dobson
3ca5150122 Make unboxed let not double optimize. TODO fix logs. 
original commit: 10dc9afc3371790ad479017e86fb770c442ede3b
 2013-09-13 09:17:40 -07:00
Sam Tobin-Hochstadt
f35c297a1d Improve error messages for bad uses of :type etc. 
original commit: 1a682c389a2751f37c1fcc5f7ef23a3a1167f7e9
 2013-09-13 11:40:41 -04:00
Eric Dobson
0fdb87985c Cleanup float complex optimizations. 
This changes might have bad changes, we should take a closer look at the
diffs.

original commit: a1759de5b6609b3fe3c3860638677ed7ba117b22
 2013-09-12 20:20:00 -07:00
Asumu Takikawa
783d50d4a6 Allow user to write new pair filter objects 
original commit: d88bea01477e4cb191fc28f9c50e6ecd80d5222f
 2013-09-12 11:18:11 -04:00
Asumu Takikawa
ef78c1fa66 Use pairs for objects on arrow types 
Previously, function types looked something like
    U_n|V_n
 S ---------> T   where n is a natural number representing
       ∅          a function argument by its index

They now look like
    U_(n,m)|V_(n,m)
 S -----------------> T   where the pair indicates the mth argument
           ∅              bound by a function n lambdas away

This allows the use of curried predicates in occurrence typing

original commit: 4c17c2091cfbf25a90b82256f43d4b46cbe868de
 2013-09-12 11:18:11 -04:00
Asumu Takikawa
072d05791b Improve error checking for filter objects 
original commit: 73050139340c0785c2dfc2cd14ee8e82c16ae4ed
 2013-09-12 11:18:10 -04:00
Asumu Takikawa
6188a21d8a Parse identifier objects in filters 
original commit: 7ff8d8d6b750edc258f622bafec3a80bd880b1d5
 2013-09-12 11:18:10 -04:00
Eric Dobson
85f997b4c7 Make struct: form have the correct bindings in struct info. 
Also fixes reexport of struct-type to typed modules.

Reexport issue.
Closes PR13160.

Constructor issue.
Closes PR13161.

Struct copy issues.
Closes PR 10765.
Closes PR 12513.
Closes PR 13149.

original commit: 9586dca0a339560d12777d22b624e6c9bd3f52e7
 2013-09-12 00:02:48 -07:00