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

3270 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Vincent St-Amour
e2f3073123 Filter reports by provenance (TR / mzc). 
Can't easily combine with filtering by opt / missed opt, so I dropped it.

original commit: 1d084888fddb7c3efb32f82b137d1c433cb50135
 2012-07-11 10:59:35 -04:00
Vincent St-Amour
3f2c9145fa Performance Report is enabled for all languages, so don't enable it for TR. 
Avoids duplicate buttons.

original commit: aaf7acb0347feb298670653af4373c9ff2dc7557
 2012-07-11 10:59:34 -04:00
Neil Toronto
c2a4fbc734 Added sequence typecheck tests 
Added empty-sequence type (prints funny but works polymorphically; will submit bug report)
Loosened type of sequence-andmap (can't mimic andmap's predicate type)

original commit: 392d7bfbadee8143f6ec76e965f0c4e31246695e
 2012-07-10 13:22:53 -07:00
Sam Tobin-Hochstadt
6287ffe3f0 Revise type environment propagation to use submodules. 
Each typed module now defines a submodule named `type-decl`.
This module performs the type environment initialization (along
with other environment updates) when invoked.  Additionall,
every typed module, when invoked, performs a for-syntax addition
to a list specifying the submodules that need invocation.
This invocation is then performed by the `#%module-begin` from
Typed Racket.

The `type-decl` module always goes at the beginning of the
expanded module, so that it's available at syntax-time for all
the other submodules.  This involved adding pre- and post-
syntaxes for the results of typechecking.

This allows significant runtime dependency reduction from the
main `typed/racket` and `typed/racket/base` languages (not yet
complete).

original commit: 6bf141513fa9387f438bb0f328f5ec67ada8f757
 2012-07-10 12:49:27 -04:00
Sam Tobin-Hochstadt
29763a44d9 Remove evcase. 
original commit: 88f5f4c8361d990af44ea1335d03d292f2ce2c46
 2012-07-10 12:49:27 -04:00
Neil Toronto
9725465b46 Added inline hint around `index?' definition; my own timing suggests 2x speedup 
original commit: 419b59e88ea025a4d6cd2fa2cdbe62eb64529c78
 2012-07-09 19:15:35 -07:00
Neil Toronto
93a0e963c7 Added types for single-value sequences 
Fixed some printing types

original commit: 77655f9ade5733d722a22acd52b338ea00f2af30
 2012-07-09 19:15:35 -07:00
Vincent St-Amour
5251b92b21 Fix type of andmap and ormap on empty lists. 
Closes PR 12882.

original commit: dba49db078bd0684562daa469df6a8b5f8dc72fb
 2012-07-06 12:28:37 -04:00
Sam Tobin-Hochstadt
39f778a891 More refactoring and reduction of runtime dependencies. 
original commit: 20e95f8d8e5ae3ea9106cff5b271c88e9e66cda1
 2012-06-28 14:34:07 -04:00
Sam Tobin-Hochstadt
88460e98dd File splitting, dependency reduction. 
original commit: f075ecd36e708d21c825666502290e3bb98830af
 2012-06-28 14:34:07 -04:00
Vincent St-Amour
1d2a50c63e Update types of string-join and add-between. 
original commit: db6c2e77371e31d0bed4cc504e5c8effe42959aa
 2012-06-27 11:39:15 -04:00
Sam Tobin-Hochstadt
867a992700 Fix type of dynamic-place. 
original commit: d346415903983e6b4b698129f8d77dcec60b4d05
 2012-06-25 19:20:12 -04:00
Sam Tobin-Hochstadt
ec62a2f7c4 Remove no-longer needed require for residual code. 
original commit: 5e26c329d609cda35e3b0b35c1e66e33282c7b63
 2012-06-25 19:20:12 -04:00
Sam Tobin-Hochstadt
c762e9eb4c Avoid requiring the printer unneccesarily. 
original commit: 94f1cb2127b9cc630d0122b6fdc98066f364597c
 2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
d575bd40bb Depend only on the lowest-level place primitives. 
original commit: c61ed30d0b0b87d7bef9dfafe2db3af719896cb8
 2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
5f08e63cb8 Disable unused code. 
original commit: 08c3f784766f6bc0957fe482fcc91924952a61fc
 2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
76f157026a Load environments dynamically in residual code. 
original commit: 794bfa50ecf854eb36bb2195c99202cc1a7f879f
 2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
d6f1c0eb1b Minor refactorings. 
- Remove tracing requires.
 - Use lists instead of sets in a few environments.
 - Small cleanups.

original commit: 88ff5fee69ecf58527bb76923f4d4fd91aaa1967
 2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
19fbb978ef Split out some small utilities to prepare to reduce dependencies. 
original commit: a05acfee4c1387a829972db05643375fe3fcebbc
 2012-06-25 14:10:18 -04:00
Sam Tobin-Hochstadt
a80b2e0941 scheme -> racket 
original commit: ccb724155a99705d7b3c23d9b13358ed2541555f
 2012-06-25 13:39:07 -04:00
Vincent St-Amour
ae41d4e362 Add #:unless to the for: macros. 
original commit: 972df7c89ed7951eef00af00fd1b9a5bd851206a
 2012-06-25 13:38:51 -04:00
Vincent St-Amour
1ca5a51ce2 Update type of string-join for its new keyword arguments. 
Closes PR12866.

original commit: b1ad108759d05a85a04f7220bb79e2b70156aaf9
 2012-06-25 13:05:46 -04:00
Vincent St-Amour
d398754fef Reconstruct let bindings in the right order when unboxing let. 
original commit: a0d55d4ab82bd700a191720edfd5506692a8851a
 2012-06-22 17:53:43 -04:00
Vincent St-Amour
d2e69a68dc Add type for range, and extend in-range's. 
original commit: ee142047f801da2cac93b681c368921e8f2a2541
 2012-06-22 17:53:43 -04:00
Eli Barzilay
dcffc90c3f Random pickiness. 
Spaces at EOFs, indentation, etc.

original commit: 7d6e79023cf9872e6f6af2f89961b742c6296f1d
 2012-06-22 12:00:48 -04:00