suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,320 Commits 13 Branches 1 Tag 9.2 MiB
fix-coverage-vector-access
Commit Graph

4320 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
b281083d13 Cleanup dead-code.rkt 
original commit: 1f022efb352f9e0d72af00d6672140ac7068a361
 2013-09-03 08:12:09 -07:00
Eric Dobson
75f8759f36 Cleanup apply.rkt 
original commit: 41f2092953ea2999c72921ce435887a7636559f0
 2013-09-03 08:12:09 -07:00
Eric Dobson
6787b131da Add simpler way of logging optimizations 
original commit: 67fba30c091edc240cd0d0629b810fcf9a2976b2
 2013-09-03 08:12:03 -07:00
Eric Dobson
99d1653898 Add opt-expr and define-literal-syntax-class in utils. 
original commit: 10ffb52968b4394c136bbc1e77fdc8fbe2b1ce9e
 2013-09-03 08:09:47 -07:00
Eric Dobson
519403ff5d Remove lfilters and make true/false-filter have a - prefix. 
original commit: 7a7e1cbbcccbb5575a2e9d87b60774a635f931cc
 2013-09-03 08:00:52 -07:00
Eric Dobson
156828aec8 Make require/typed check its input more thoroughly. 
Closes PR 13962.

original commit: 86b3022db05f24a5306a01ea39f31b512a41d62f
 2013-09-03 08:00:51 -07:00
Eric Dobson
e17e41e3c2 Make opt-parent shared across different uses. 
original commit: a56b1f11fd7cb876dacba563b5ffaa734d07f0dd
 2013-09-03 08:00:51 -07:00
Eric Dobson
1df7379be4 Remove unused dependencies. 
original commit: f8f989e8c64032c622c1bd2e0638f57ee896fd9e
 2013-09-02 21:56:08 -07:00
Eric Dobson
67c3c79a9c Remove unused require. 
original commit: 281c9f5d825d5d80bfaace032a9dc982d56ef427
 2013-09-02 17:54:13 -07:00
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