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

3638 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
611b61ca36 Cleanup flonum-op check, and contract fixups. 
original commit: df3d6fd31c47b092830659c1f0ef9bdfdbc1c001
 2013-05-29 08:58:42 -07:00
Eric Dobson
df3d26c487 Remove unused code. 
original commit: 564a7bcf2f95d1aa3bc879f4266fb64ddd73a9ff
 2013-05-29 08:58:42 -07:00
Eric Dobson
3787cd68f2 Removed unnecessary require. 
original commit: 1c4a6546d0c6c50196d63b09c49aa4ed35f6e789
 2013-05-28 20:44:35 -07:00
Eric Dobson
dd66ef95ce Share definition of erase-filter. 
original commit: edc3b60b676f230e627bf89b521c782a10980d1b
 2013-05-28 20:44:15 -07:00
Eric Dobson
f0c936171c Use abbreviations for filters. 
original commit: a76d57fa88592590cc85a1eddca324782270b615
 2013-05-28 20:43:13 -07:00
Eric Dobson
9827a652a4 Move from syntax->list and map to stx-map. 
original commit: 9af426b99f165a64e4baa1451832b8e996bd9517
 2013-05-28 20:31:09 -07:00
Eric Dobson
fbea3dce95 Move from syntax-map to stx-map. 
original commit: 3e4a8acf70e96be87ec72ed8280bee8db3327386
 2013-05-28 20:31:09 -07:00
Eric Dobson
7ed2a1540b Make TR use syntax-length instead of (length (syntax->list x)). 
original commit: 4af6b6ffcfefe047a2d77723a50476324146824a
 2013-05-28 20:31:09 -07:00
Eric Dobson
2960e2663f Use in-syntax instead of in-list/syntax->list. 
original commit: 83f38f4d3bc7813ce2574a37b0831e0b9e4e0546
 2013-05-28 20:31:08 -07:00
Eric Dobson
a5311c029c Make for loops in TR use an annotation when applicable. 
original commit: f6050d5587ce33d46d4ea3b4698582fcf78eed23
 2013-05-28 20:23:46 -07:00
Eric Dobson
469244b914 Consolidate the rest of the syntax properties in TR. 
original commit: 4310f04eaff40deb1d348ce10083b361db24eadc
 2013-05-28 20:22:55 -07:00
Eric Dobson
e4948f79c2 Centralized typechecker:ignore properties. 
original commit: a325e380466fb5380782e2e2570024af29584d36
 2013-05-28 20:21:58 -07:00
Eric Dobson
087eb91881 Centralize the definition of the plambda syntax property. 
original commit: df07151cb925ccbc61b68021bc47b4eda9614b0b
 2013-05-28 20:21:57 -07:00
Eric Dobson
8b324b1fb5 Make resolve actually do all the necessary resolutions. 
original commit: 84d3051feeaca7451c8bfc7f8e0f7abad7475830
 2013-05-28 20:21:31 -07:00
Sam Tobin-Hochstadt
0e3f79d89e Register scoped type variables for internal def. annotations. 
Closes PR 13793.

original commit: 499bcefa1d2a8fa010a370aded638a9306008424
 2013-05-28 18:03:41 -04:00
Sam Tobin-Hochstadt
74c39aad99 Use submodules instead of marking tricks for identifiers in docs. 
original commit: 64df4cef13c1a43ff77f349595432d511aa20fcd
 2013-05-28 17:28:42 -04:00
Vincent St-Amour
d4c3107477 Fix broken test, again. 
original commit: 0e7940ab4943600e6f5c8f13ce7ee13e8af9a8f5
 2013-05-28 15:45:09 -04:00
Vincent St-Amour
4fb08dd826 Fix broken test. 
original commit: 069ff59a4bd6a988a5670c7e4dd38c1dbbe12ec0
 2013-05-28 13:08:00 -04:00
Vincent St-Amour
724cd37520 Don't splice in vector creation when optimizing vector-length. 
Closes PR13788.

original commit: d9264525bd823052cd456df0caa900eac2d87ed3
 2013-05-28 11:57:00 -04:00
Asumu Takikawa
60f3bcbc46 Fix broken internal error 
original commit: e6503c5df67327dd3d607b8197e99e6b619ba4b3
 2013-05-27 11:34:43 -04:00
Eric Dobson
222c57e023 Minor whitespace fix. 
original commit: b9b1eb14ba04b164567648b211690343fe342b2b
 2013-05-25 18:09:47 -07:00
Eric Dobson
d27d91a4fe Make scoped type vars work only for explict Alls and annotations. 
Solves major issue disscussed on PR 13586.
Closes PR 13622.
Solves issue when typechecking lambdas with types like (All (a) Any).
Closes PR 13596.
Closes PR 13539.
Closes PR 13703.

original commit: 01a88f8db11be5769c83f5dc561c9afd0df3c378
 2013-05-25 13:01:02 -07:00
Eric Dobson
f994980176 Add a test which times TR module loading. 
original commit: 803f1db884590511629f79869a801086cb47c2e0
 2013-05-24 20:42:01 -07:00
Asumu Takikawa
9d0900650f Document :type better 
original commit: a40a1341f6bae61c0a8c5660182080003fae7c70
 2013-05-22 09:31:37 -04:00
Asumu Takikawa
d137353dd3 Expend printing fuel in all branches 
This makes (:type (Number -> Integer)) produce
(Number -> Integer) instead of expanding at the first name.
Combined with expansion cues, this makes it easier for users
to expand the relevant parts of types.

original commit: 34aeaee67293be2cc8ffbda4973aeab639cc4da0
 2013-05-21 11:19:49 -04:00
Asumu Takikawa
9dd04f86cc Cue user about unexpanded type aliases 
This tells the user that more type aliases are
available for expansion. For example, (Listof Number)
has the alias Number still unexpanded into the union
that it represents.

original commit: 19c5d3eaadb3a25e99684a553e8facbb05e20946
 2013-05-21 11:19:02 -04:00
Asumu Takikawa
a8646d8a7a Add a #:verbose option to :type. 
This prints the old way, expanding all aliases inside the type.

original commit: 1f5b262f6d5c048bf546e7b048ab342de29b27d7
 2013-05-20 16:14:23 -04:00
Asumu Takikawa
9785e026b3 Cut off type printing with :type at one level 
Makes types print nicer with :type in most cases.
Previously, the printer expanded type aliases as much
as possible. Now, it defaults to a single level of expansion.
A later commit adds a #:verbose option to show the entire
type.

original commit: fd33584b6f7198f9557f827d5422a16fcc0e8315
 2013-05-20 16:14:14 -04:00
Asumu Takikawa
ee4be88f8b Fix parsing of (Struct ...) types. 
This was a regression that appeared in 5.3.1

original commit: 3eb4a75613ef819cf58504cb7f8b7cec62eb3f7e
 2013-05-19 20:32:32 -04:00
Asumu Takikawa
c478e881c0 Clean up unit tests 
Remove #; comments because they break paredit. Enable some
commented tests that should pass.

original commit: c2672dd6c9a08b2dd2f40b66d641d9841ab0527f
 2013-05-18 10:17:50 -04:00
Asumu Takikawa
4759646974 Fix regression for (begin) and simplify 
original commit: 23d39a99689dece630f75e01463466e6bd6b5b3b
 2013-05-17 00:33:10 -04:00
Asumu Takikawa
ddaf1b7825 Avoid doing the 2nd pass twice at the top-level 
Thanks to Eric for pointing this out.

original commit: d7f29d3636e49fa2987e71f9fe4a3b1ace05dd09
 2013-05-17 00:02:06 -04:00
Eric Dobson
d458037de6 Massive cleanup of requriements in TR. 
original commit: f332affa5ad8816caf1ca59dbb7e7e9017ca999d
 2013-05-15 23:18:29 -07:00
Eric Dobson
4326fc15c2 Clean up lam-result. 
Make drest a list instead of a pair, replace an int-err with a match error
which has source location, and remove static name for rest argument in error
case.

original commit: 4fcda73adfa2529b5ff90ff33ae948b9fccc061a
 2013-05-15 21:12:54 -07:00
Asumu Takikawa
be29737ef1 Whitespace and comment fixes 
original commit: 09cf079453a162bb742ee7d44e1295ccc34934e9
 2013-05-14 15:25:44 -04:00
Asumu Takikawa
f865e1501c Refactor to reduce right-ward drift 
original commit: e0cff038c8e086add98f996d343bb49c60c3e3c0
 2013-05-14 15:25:44 -04:00
Asumu Takikawa
7afeada73d Make require/typed work at top-level 
Closes PR 13747

original commit: 67beb11cf69ac827f35e8cdc9af7cbae3c34bbe4
 2013-05-14 15:25:43 -04:00
Asumu Takikawa
a9a79c0e4a Fix tc-toplevel-form for ignored syntax 
original commit: 2c042998b9e8d6a62cd9a3ad4c7d576a6a3b052e
 2013-05-14 15:25:43 -04:00
Vincent St-Amour
e8ce1afc29 Fix test for TR's for source locations. 
original commit: ab5075bc762356f86bb7dfd34dac8d24ada1a140
 2013-05-14 12:04:15 -04:00
Vincent St-Amour
7bd409e927 Fix source locations for TR for. 
original commit: 8638a661ccd890912e3b9df6a39b628230f38127
 2013-05-14 10:35:19 -04:00
Asumu Takikawa
f6230841c0 Make define-type work at top-level 
Closes PR 12913

original commit: f3e6276f9b2e0a50d54cc83ba05dcf670b5146da
 2013-05-13 17:14:22 -04:00
Vincent St-Amour
02bc10ef98 Limit memory in all sandboxes used by the TR random tester. 
original commit: a857256c778e920301f4765f2cac6e79cf16b240
 2013-05-13 16:46:00 -04:00
Vincent St-Amour
88ddace934 Fix type of sinh. 
Found using random testing.

original commit: 5de08f06b4d254d4816b8e8320fd339be5c78038
 2013-05-13 16:46:00 -04:00
Asumu Takikawa
52fd460618 Remove debugging instrumentation 
original commit: ec8e126a90acfb71e335351261c9227ec3cf4d14
 2013-05-10 15:43:11 -04:00
Asumu Takikawa
826c793324 Add tests for commit e53b0858c32b845482 
original commit: ae7741fe60c29fab381e3bd1a84c94d659bcf53b
 2013-05-10 15:42:41 -04:00
Eric Dobson
1b953365ea Cleanup tc-lambda-unit. 
original commit: 2a94ca90300373e3da6f5f45a198bf18b64a1857
 2013-05-08 22:59:40 -07:00
Sam Tobin-Hochstadt
6947e1d558 Refactor subtype.rkt not to use exceptions. 
Matthew suggests that using exceptions for failure
in the implementation of `subtype` is a performance
problem.  This commit removes all use of exceptions
for failure in subtype.rkt, replacing it with the
standard Racket #f/value option.

Extensive use is made of the `subtype-seq` form,
which is basically do-notation for the subtyping
monad.

original commit: a6f110893f988b9e5d2b0899c7389da1d9a17365
 2013-05-08 15:25:02 -04:00
Sam Tobin-Hochstadt
8824502b79 Add contract for seen parameter. 
original commit: da3f8f8ec0a8389dad070700708e6915805aa3e2
 2013-05-08 15:25:02 -04:00
Sam Tobin-Hochstadt
db1dc2104f Remove contract on unit-exported definition. 
original commit: a07cdf39ffa5e91bf4f44d6eb11cf8092c6c24bd
 2013-05-08 15:25:02 -04:00
Vincent St-Amour
983b94994f Fix type of tanh. 
Found using random testing.

original commit: 89f9b860cdcbdc8f401ac92436d3c17f98eda35d
 2013-05-07 17:06:35 -04:00