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

2572 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Matthew Flatt
d5fe4f2f90 add pkg-desc' and pkg-authors' to each package 
This information will be used to construct a catalog from the
package directories.

original commit: 057bfc2ea1a24e85ece2d5f85da30076643ea598
 2013-07-31 07:06:24 -06:00
Asumu Takikawa
2d3a402e26 Add more events to the base type environment 
Notably the following are not supported yet:
  - `filesystem-change-evt` (likely needs separate base type)
  - `port-progress-evt` (separate type, and how do you handle
      `port-provides-progress-evts?`?)
  - all other events that rely on progress events

Also, the events from racket/port don't work yet due
to a strange bug with bindings that have contracts imported
into TR's base environment

original commit: ace226d5060ce2f2ed3fac2b802ddaee0d31ca0a
 2013-07-30 16:02:50 -04:00
Asumu Takikawa
8cfeea9ab8 Adjust TR and docs for alarm-evt's domain 
It was previously non-negative real, but the actual
implementation allows negative inputs. In addition, it's
harder to use the function in TR without a more permissive
type for the domain.

original commit: 91a015255dd077e81ed05f3cd1471b916bae5cf2
 2013-07-30 00:23:25 -04:00
Asumu Takikawa
1a125acab7 Add support for synchronizable events 
original commit: 6c888143e7d7ece726d76a0322aa2ee36eb19f64
 2013-07-29 20:14:16 -04:00
Matthew Flatt
15534c9d66 rename "typed-racket-tests" package to "typed-racket-test" 
original commit: fedcd354774824458dfc07b6a43c955504cc4765
 2013-07-28 14:50:52 -06:00
Asumu Takikawa
94be517efc Add TR Guide section on typed-untyped interaction 
Related to PR 13869

original commit: 868e6b97b79cd8a34017a141f00c54be9fbcda77
 2013-07-25 21:26:18 -04:00
Eric Dobson
18c85de02c Make Bottom generalize to Any instead of Integer. 
original commit: 265603ed694375d3b355b976e5ec05fbe10a03e5
 2013-07-23 23:49:51 -07:00
Eric Dobson
efae022df0 Make tc-literal deal with complicated expected types better. 
Also fixes bug in literal heterogeneous vector typing.

Closes PR 13842.

original commit: 5d2c9a67e80a66d0bb92e46e58fdc5ff76285ba9
 2013-07-23 22:33:31 -07:00
Eric Dobson
574da98a87 Make breaks actually break out of running all the TR tests. 
original commit: e75f3dea7af767314c2b2b137d1fad026d476721
 2013-07-23 22:33:31 -07:00
Eric Dobson
24218c4ea4 Make for: not allow multiple annotations. 
original commit: 6195de66a6ad28451a2391e803124bed8a6c9abc
 2013-07-23 22:33:31 -07:00
Sam Tobin-Hochstadt
77762e7742 Add comment. 
original commit: 9f659c7df30b42ec49e6da1d85b5a0e5605fdcd1
 2013-07-23 00:06:02 -04:00
Matthew Flatt
0ab3099f7e add `#%declare', require declaration of cross-phase persistent modules 
original commit: 9e2cf2ab376a3461a1db943dfb35f6a152b70470
 2013-07-22 12:51:37 -06:00
Eric Dobson
09e2e75f06 Minor optimizer cleanup. 
original commit: 8baccb2af51538ad1e8d99fefe981a968b1dbbf8
 2013-07-19 22:56:25 -07:00
Eric Dobson
7030be8535 Remove extraneous syntax-class. 
original commit: 54153fbb2e63d95951e86eb4ed5bc5509cbf1b07
 2013-07-19 22:56:24 -07:00
Tim Köhlmann
12974a863c Fixed file/md5's conversion for TR according to the documentation. 
original commit: 074150e427193aaad9268f785ad48d9a0ad85599
 2013-07-18 15:20:48 -04:00
Matthew Flatt
41ee377aa5 change release-notes' "info.rkt" field to release-note-files' 
The change avoids a collision with PLaneT fields.

Also, add checking for the form of a `release-note-files' value.

original commit: 8f195a1ff65a05f7679af852f2cbfa58ea8f4bfc
 2013-07-17 18:32:22 -06:00
Matthew Flatt
30e502ecc0 auto-fix documentation package dependencies 
original commit: d57f26f001701c54bdd4163c60251dab4db55eba
 2013-07-12 14:52:42 -06:00
Eric Dobson
6580635e35 Redo the calculation of opt-lambda expansion. 
Closes PR 13661.
Closes PR 13584.

original commit: c910252fdff4d18343fc9b47334b4fd4423ae794
 2013-07-10 23:27:05 -07:00
Eric Dobson
a403b7f948 Move files accidentily put in collects into pkgs. 
original commit: 39333f662667fa50f27c92b9d5002e563018c645
 2013-07-10 23:09:11 -07:00
Eric Dobson
af7e634fa3 Make case-lambda correctly typecheck more interesting cases. 
Also doesn't typecheck dead code based on case-lambda branches never
taken.

Closes PR 12973.

original commit: e26bbffbc939b77fc04839d93cf53b99539b6860
 2013-07-10 22:16:46 -07:00
Eric Dobson
e4193a0126 Cleanup provide handling in TR. 
original commit: 6aad234d019030cd1ad1bc007cd6a4acfb13e760
 2013-07-10 21:13:59 -07:00
Vincent St-Amour
342f479475 Move typed-racket-more to typed-racket-pkgs. 
original commit: f57774de83b7d63365900cbe4e62007e7a1b507e
 2013-07-09 18:26:39 -04:00
Asumu Takikawa
8577ca01cf Switch two type errors to internal errors 
One of these was broken and falling into that case would
raise a random runtime error anyway.

original commit: 54cea00f4fce318986802295582151fa47a78fbd
 2013-07-09 18:25:56 -04:00
Eric Dobson
4e32bbdbcf Add some test cases for plambda fixes that have already been applied. 
Closes PR 13751.
Closes PR 13754.

original commit: 3990b43b6a2cc79c7affa05357d5ca85485a5008
 2013-07-08 21:01:31 -07:00
Sam Tobin-Hochstadt
ccde83e589 Improve deps for Typed Racket tests. 
original commit: 2299d7425d46cbb91472afd31b4216f0841e911b
 2013-07-08 17:23:42 -04:00
Sam Tobin-Hochstadt
2330c5aff1 Fix handling of hasheq and hasheqv in any-wrap/c. 
Fixes bug reported by Abraham Egnor.

original commit: 0f5404c80aec36200859889690683b89617f259a
 2013-07-08 17:23:41 -04:00
Matthew Flatt
ed3ae0854d Typed Racket: reference `#%type-decl' through a module path index 
Avoid problems with absolute paths and bytecode files.

original commit: f34a689bd702f649e697946f5fa7caf3fe244be0
 2013-07-08 12:24:16 -06:00
Robby Findler
f709ea56a8 depend on redex-lib instead of all of redex 
original commit: 31fbce7e5a8d2dc4c6f5a0bc945c97d92a04ca19
 2013-07-06 14:34:47 -05:00
Asumu Takikawa
a200e03b19 Fix type error reporting for case-> with * domains 
In the case that a case-> type included a case with a *
domain and had additional branches, a use of `apply` with
that type would fail to report a type error. This was
because the type of the applied list was ignored for type
error generation.

Closes PR 13893

original commit: 328956e8b5cd9b9c6256b1eac4f46aec98ce2a5d
 2013-07-05 18:08:12 -04:00
Sam Tobin-Hochstadt
9c7ea3f871 Use #lang info instead of #lang setup/infotab. 
original commit: 5a7ca7ebb56b2215f2d395ed052c03ea740817ea
 2013-07-04 16:46:32 -04:00
Sam Tobin-Hochstadt
1a4c824a5c Fix dependencies. 
original commit: 88e4715406f16de1cb58f634790be6e146a825da
 2013-07-03 13:11:33 -04:00
Sam Tobin-Hochstadt
a556b619e4 Create unstable-debug-lib, unstable-pretty-lib, unstable-flonum-lib packages. 
original commit: c7b3750320c1b4b00e5acab2defbc20900656bec
 2013-07-02 18:28:34 -04:00
Asumu Takikawa
b470ef0a6e Examples for #:opaque and require/typed/provide 
original commit: 4fef780a7b5fa36c3c7336c3079365160828c30b
 2013-07-02 16:39:32 -04:00
Asumu Takikawa
372607ba8a Support require/typed clauses in require/typed/provide 
Closes PR 13901

original commit: 4dcfe9b8b9e3a339611b0d3acf3ef40ea64532c9
 2013-07-02 16:07:50 -04:00
Asumu Takikawa
cf8a8ef9c0 Make struct: work at the REPL 
Closes PR 11669

original commit: ebc6a6618e95f6d919f3e0ac1783da6564e69f7c
 2013-07-02 00:10:33 -04:00
Sam Tobin-Hochstadt
a42465b65f Move most of the compiler collection to compiler-lib. 
original commit: 3ad009070e063614f22a32fbbffa950a8d84e599
 2013-07-01 12:08:42 -04:00
Sam Tobin-Hochstadt
ddf9f5aa4d Move most of the net collection out of the core. 
- Most units and signatures from the `net` collection
  are now in `compatibility-lib`.
- Most of the actual libraries are in the `net-lib`
  package.

original commit: 2b1fb036c63639bc5dbb65348c4f4e5802c95b53
 2013-07-01 11:27:14 -04:00
Matthew Flatt
9f5ea71a83 more auto package-dependency repairs 
As detected by the repaired `raco setup'.

original commit: cf754e2058e94774863bc1ddf51f82023c1bf717
 2013-06-29 18:42:00 -06:00
Matthew Flatt
9274a9770a auto-fix dependencies in "pkgs" 
Left one dependency broken: "drracket" currently depends on "htdp" for
a test. That needs to be fixed by removing the dependency (moving the
test to "htdp?), instead of changing the declared dependencies.

original commit: 51290fd2a95def6bb3b6d3d735cb62444e157553
 2013-06-29 06:51:19 -06:00
Matthew Flatt
85326f7470 fill in some pkg `implies' 
original commit: 5c42f46158248130a8179e7a563d16c5fc9d0d35
 2013-06-29 06:51:18 -06:00
Ambrose Bonnaire-Sergeant
f75706d1be Typo in comment 
original commit: 43ea8e442c70197bce50958c17dc7fd63c3363c1
 2013-06-27 19:00:14 -04:00
Sam Tobin-Hochstadt
3b26e61819 Move compatibility, pconvert, and mutable pairs to new packages. 
original commit: 59c6519cd3899f2bc872f0f2105d9c65b536a682
 2013-06-27 13:53:52 -04:00
Matthew Flatt
1fabdff401 repair interaction of taints and submodule expansion 
original commit: dc11090f6bc6f4bf4494e50350526a221cfed50a
 2013-06-26 12:59:44 -07:00
Sam Tobin-Hochstadt
609f5d5aa2 Add collection spec for new package. 
original commit: e61b3f8f5ff0fb9eb8eede3819d77a4665931d53
 2013-06-25 16:54:55 -04:00
Matthew Flatt
2d05914f44 a step toward single-collection packages as default 
A package's "info.rkt" file should define `collection' as a
string to name a single-collection package's collection, or as
the symbol 'multi to declare the package as multi-collection.
If `collection' is 'same-as-pkg, then the package name is used
as the collection name.

The default for `collection' is 'multi for now, but the intent
is to change the default to 'same-as-pkg after a conversion
period. Also, support for a `single-collection' definition remains
in place, but it wil be removed.

original commit: c738a6aa3eee89a82d577dd35c70eca8ed32f5b4
 2013-06-25 22:46:23 +02:00
Sam Tobin-Hochstadt
2675bf4a35 Remove unneeded require. 
original commit: d8a297620b1d8bc235127958dd007c0814c06861
 2013-06-25 16:39:54 -04:00
Sam Tobin-Hochstadt
e5d3925a3a Move Typed Racket tests to their own package. 
original commit: 1d89e18bca9ada96854d931dba392b930b2105d3
 2013-06-25 16:39:54 -04:00
Sam Tobin-Hochstadt
2ea715643e Fix types for new racket/file keyword arguments. 
original commit: 7f3ecd6e09c9d1cda47581de22eb4fab09aaa775
 2013-06-25 16:32:48 -04:00
Asumu Takikawa
eb8a1f797e Improve TR timing logging 
original commit: 9c4fcd46231f49d94efaacb77c144a92385ba371
 2013-06-24 18:24:17 -04:00
Asumu Takikawa
cf3593cea0 Fix test for 29bce22d0b8c27e2ebcc337586e02159ad4a4f42 
Oddly, this test succeeded locally even with the
wrong exception expression. DrDr caught it though.

original commit: ec80b7d01caf8ff830ee4ad7fd878d281aead761
 2013-06-22 12:58:52 -04:00