Commit Graph

2711 Commits

Author SHA1 Message Date
Carl Eastlund
2711bcd07d Changing Typed Racket test back to using set?, the line I had just changed
was supposed to be the more specific predicate.

original commit: aa4b31ef3f43edaf8fd06c797b0c8094e251fd0e
2013-09-02 16:07:15 -04:00
Carl Eastlund
fcd40c3f9e Renamed set? to generic-set? in Typed Racket test.
original commit: d2c81b6baac2be44b20e13bb51c4a6b880c58c97
2013-09-02 15:33:26 -04:00
Eric Dobson
70e671189e Make benchmark code run in parallel.
original commit: bda8c24d2c52af4688148db6646ede46439ec6aa
2013-09-01 09:25:57 -07:00
Eric Dobson
2f2f261dad Make benchmarks not delete compiled code.
original commit: 760a48d70c45aa4e0ca70f2bcda6bdd12b46e555
2013-09-01 09:25:57 -07:00
Eric Dobson
aaa4581151 Remove reset-unboxed-bindings and unboxed-gensym.
original commit: 4c88924ef598a98ff817771b96b3d1269365edde
2013-09-01 08:33:11 -07:00
Eric Dobson
124f1f78d0 Remove unnecessary #:proc forms in TR unit tests.
original commit: b7e4af92ff6f223a53a8f3b9fbe758e521a273f2
2013-09-01 08:22:21 -07:00
Matthew Flatt
139aeaa514 include license with each package
original commit: ff9da94cfb852d25cd54bc0d9a904c8ae46fe64c
2013-08-31 06:25:31 -06:00
Vincent St-Amour
4533db646e Fix type of generic-set? for hash set default.
original commit: 400340b8973be0ba9df461b9367b9531ec43ebf4
2013-08-30 22:08:36 -04:00
Vincent St-Amour
c5325443e3 Improve type for generic-set?.
original commit: 5784358332d6bd3b66b9e982da090de7aaf27f38
2013-08-30 15:30:42 -04:00
Eric Dobson
0678bc487b Fix set? in TR.
original commit: 84798bd3934f092298ec27f151f7c7da1ac7132e
2013-08-29 18:23:45 -07:00
Eric Dobson
9d895d3722 Make transform run in parrallel.
original commit: 358475faf104ddcf47ec551ba0cca8446eb8da06
2013-08-29 18:00:24 -07:00
Eric Dobson
eae6aaa90f Don't add other files TR logs to optimization tests.
original commit: f6a0494f65bcc0793cde102a0a55fa4ad6a83fbe
2013-08-29 18:00:24 -07:00
Eric Dobson
12475b9985 Make opt tests be run concurrently.
original commit: ed6969101605a1e1ba13b6c784f4f34bfbef0de6
2013-08-29 18:00:24 -07:00
Eric Dobson
090fc8a857 Sort the output of TR logs so that optimization nodeterminism doesn't break the tests.
original commit: 6b20900c7a11d4dd1c7c4f302c008061b5c8bab5
2013-08-29 18:00:24 -07:00
Eric Dobson
12eea12a7d Make optimizer read TR expected logs as a list of entries versus a raw string.
original commit: ccf947e31e50678067ac6aa546ff1fd7f4d37ad9
2013-08-29 18:00:23 -07:00
Eric Dobson
2ae349c04a Separated out the tr log and output.
original commit: a328fe6ac4ba70ddb80d7ba4bdccedd5835f9c4c
2013-08-29 18:00:23 -07:00
Eric Dobson
8e55bc87be Make tr-log and output be extracted seperately.
original commit: 87e86d2ea771ef51b87b9e544bbf75269201190d
2013-08-29 18:00:23 -07:00
Eric Dobson
be5c82a8db Switch to using here strings instead of a list.
original commit: cd52e6d203c76f7afa02747e4849d611334926aa
2013-08-29 18:00:23 -07:00
Carl Eastlund
1c726f9b5c Changed set? to generic-set?.
original commit: 6665f42e336a96835d95e420d48854dcd1c85b5d
2013-08-28 00:10:18 -04:00
Matthew Flatt
142076b4be auto-fix dependencies for "scheme-lib" and "srfi-lite-lib"
original commit: c709af5bf4d3af8f8c7a5918cf0b521ac1846f78
2013-08-27 15:20:58 -06:00
Vincent St-Amour
e02a77e851 Move test file to the right place.
original commit: 7198e5f09a85e4659ffb18b47f42050e0380a4a6
2013-08-27 13:38:19 -04:00
Asumu Takikawa
8afc9346bc Remove certifiers for Opaque and Refinement types
Syntax certifiers are now deprecated. This change
should have no effect on the types.

original commit: 0e02b7e368a674582c81f5df163ce32b79ade015
2013-08-27 11:50:27 -04:00
Eric Dobson
89d0eafa25 Add real test for check-type and remove unit tests.
original commit: 83aa8bc07b8396c90e5796206ba05af8431f1422
2013-08-27 04:21:14 -07:00
Eric Dobson
2d41a3e302 Added #%expression to inst to order it correctly with ann.
original commit: c24afb09d9a61c448e32967d09768768783f034a
2013-08-27 04:21:14 -07:00
Eric Dobson
8c51bb24f3 Make parse-type-tests work even if the typecheck-tests are not run.
original commit: 55e90436791a97d107c364261a217d5e62a44ccc
2013-08-27 04:21:13 -07:00
Eric Dobson
1f027058f3 Change tc-exprs to tc-body.
original commit: 19eaf47d102f7f2bf22775e60ab17bd80a77e1e8
2013-08-27 04:21:13 -07:00
Eric Dobson
70f2fdc371 Make optimizer tests worker better with failures.
original commit: 418ecc87e08d0164f12e1264a39d8d2fcca635e6
2013-08-27 03:59:13 -07:00
Eric Dobson
a895c9618a Share typed-racket instantiation across different runs of the optimizer.
original commit: b294f8d2d5eca38397554636caa4a16c75237df4
2013-08-27 03:59:12 -07:00
Eric Dobson
b0b67529cd Make optimizer tests work without writing out files.
original commit: b3eea88fcd3556bf56f5138b2f5a0d929846a123
2013-08-27 03:59:12 -07:00
Eric Dobson
582fc7ad95 Remove registry box from optimizer tests.
original commit: ba3c8053226ec8048b81517019efd39c8fe3808e
2013-08-27 03:59:12 -07:00
Asumu Takikawa
a67be4b7be Remove inaccurate comment
original commit: 1ea063b8ff0971127d9fd649c41d21e7372f2f57
2013-08-26 15:13:31 -04:00
Asumu Takikawa
c43372a4d2 Fix TR internal error
The following expression would trigger an arity error:
  (subst-all
   (make-simple-substitution (list 'a 'z) (list (-val 3) (-val 5)))
   (make-ListDots (make-F 'z) 'a))

original commit: 8978c83b18bed1fe61f6bef0e0432e8d6108ff0d
2013-08-26 15:12:16 -04:00
Asumu Takikawa
bd7fc20134 Require Procedure contract to be a chaperone
Closes PR 13746

original commit: 7ea19bf95127adfde0db9d70b9be8d633886b870
2013-08-21 17:07:36 -04:00
Asumu Takikawa
9f922ed7e5 Refine define-runtime-path type
original commit: b299f9c18abc4e26ae65e41c9a2d54d76244eb19
2013-08-13 13:51:28 -04:00
Asumu Takikawa
3e409c9138 Add Typed Racket support for racket/runtime-path
original commit: 4a0f3f36ad8a4851fbb5ead572df45246487ef58
2013-08-13 12:05:05 -04:00
Asumu Takikawa
6a0fe073b1 Fix a TR internal error
original commit: 1468575c3db1c2e6faf31249f6540d7d147f7e58
2013-08-01 21:16:31 -04:00
Asumu Takikawa
91df513937 Add type for in-hash-pairs
Related to PR 13937

original commit: 992a14ccb5d33a00f3b7652284759a607572d47a
2013-08-01 00:18:27 -04:00
Asumu Takikawa
c659cc5bfa Document require/typed more precisely
original commit: d3c37266285a8fd5e3c044064e69f61080168982
2013-07-31 16:47:01 -04:00
Asumu Takikawa
6f75c16435 Use asymmetric filters for some evt predicates
original commit: e67f7c9de42a609ca9c30729ba6a59528204bb7c
2013-07-31 13:22:12 -04:00
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