-
a41dee5b93
Fixes 539: Type of literal regexp is not the literal regexp itself
fix-539
Georges Dupéron
2017-05-12 12:49:19 +0200
-
504f11cc94
tc-app: add missing 'function' annotations
Ben Greenman
2017-09-28 00:12:41 -0400
-
fd5d5e9319
add types for new numeric primitives
Ben Greenman
2017-09-28 23:48:02 -0400
-
d32218ad15
have
inst use Any as default type for omitted args
Andrew Kent
2017-11-10 17:38:57 -0500
-
4a869d97d1
update check-duplicates with #:default kw arg
Andrew Kent
2017-11-10 12:02:35 -0500
-
9fe2252eef
add regression test for (Sequenceof T)
Ben Greenman
2017-11-08 21:04:27 -0500
-
f35a6fd5cb
Avoid wrapping 5 when contracted as (Sequenceof Integer)
Sam Tobin-Hochstadt
2017-11-08 09:49:22 -0500
-
966845304e
static-contracts: improve optimizer's test for flat scs
Ben Greenman
2017-10-14 02:51:51 -0400
-
cd181f9d90
check-below use props if with-refinements on
Andrew Kent
2017-11-05 21:10:58 -0500
-
f372bdda3e
more general linear exp stx for props
Andrew Kent
2017-11-05 19:20:03 -0500
-
1a042f8520
fix parsing of refinements and type aliases
Andrew Kent
2017-11-05 15:32:21 -0500
-
160e926da8
add make-vector refinement types
Andrew Kent
2017-11-02 17:07:41 -0400
-
8b2c31cab8
fix safe-vector test file
Andrew Kent
2017-11-02 13:33:19 -0400
-
0f733e29fe
add missing check for false in tc-error
Andrew Kent
2017-10-25 12:44:45 -0400
-
7349793f5a
Typed Racket HISTORY update.
Sam Tobin-Hochstadt
2017-10-23 17:08:28 -0400
-
26f65f13f7
improve hash/c error message when non-flat-key applied to non-equal?-hash
Ben Greenman
2017-10-06 16:59:08 -0400
-
cfa9918ac5
change out-of-date test
Ben Greenman
2017-10-06 16:03:46 -0400
-
a58fc276c9
cleanup names, add tests
Ben Greenman
2017-10-06 16:00:50 -0400
-
6cffbfa6d8
checkpoint: example fix for msgpack failure
Ben Greenman
2017-10-06 15:18:47 -0400
-
2ef852ae91
fix case lambda (#620)
Andrew Kent
2017-10-03 14:20:30 -0400
-
ffcf5afe92
fix optional and rest arg reasoning (#618)
Andrew Kent
2017-10-02 23:44:23 -0400
-
f1af04fcfa
Handle subtyping with all-optional kw args better.
Sam Tobin-Hochstadt
2017-09-26 10:43:58 -0400
-
d3efa46003
static-contract: temporary fix for 'Syntax' contract (#617)
Ben Greenman
2017-10-01 21:02:12 -0400
-
4465273da2
Should TR optimizer docs recommend real->double-flonum (#498)
Alex Knauth
2017-10-01 17:36:23 -0400
-
d106797238
Subwindow<%> has a method reparent (#507)
WarGrey Gyoudmon Ju
2017-10-02 04:06:08 +0800
-
5e507d3b4a
clean up failed function app printing (#611)
Andrew Kent
2017-10-01 15:30:31 -0400
-
ee7207d67d
Fix cast under multiple cases of case-> (#589)
Alex Knauth
2017-09-30 19:19:18 -0400
-
9df037b0f6
static-contracts: less or/sc optimization
Ben Greenman
2017-09-16 20:19:28 -0400
-
ff1446f85e
never print Void as a val
Andrew Kent
2017-09-25 21:12:37 -0400
-
8aa05bebff
add dependent function types (#584)
Andrew Kent
2017-09-25 12:52:33 -0400
-
137c138b2e
static-contracts: fix list-length/sc
Ben Greenman
2017-09-19 00:07:13 -0400
-
47b0de7a52
doc: move source-syntax docs to typed-racket-doc package
Ben Greenman
2017-09-06 11:15:10 -0400
-
453825d1fe
Remove typed rackunit code and depend on other package (#596)
Jack Firth
2017-09-06 03:29:00 -0700
-
0b191039b5
gitignore: vim swapfiles
Ben Greenman
2017-07-27 13:10:33 -0400
-
5d1ff0327f
doc: scribblings for 'syntax/source-syntax'
Ben Greenman
2017-07-26 18:22:48 -0400
-
78a04f47ca
add TR HISTORY
Sam Tobin-Hochstadt
2017-07-27 20:39:00 -0400
-
75208f4328
Improve loop inference heuristics.
Sam Tobin-Hochstadt
2017-07-13 15:03:58 -0400
-
3a7c0b5123
list -> cons typo
Andrew Kent
2017-07-15 14:01:57 +0100
-
6369753c28
Fix typed/rackunit contract exception when using
run-tests (#583)
Jack Firth
2017-07-14 05:58:11 -0700
-
afa0530b3a
backwards-compatibility: make HashTableTop generate a flat contract
Ben Greenman
2017-07-13 15:13:56 -0400
-
4bf6961551
fix type of integer-bytes->integer
Ben Greenman
2017-07-12 16:40:39 -0400
-
55114e298e
Tests for #577.
Vincent St-Amour
2017-07-10 16:24:26 -0500
-
c75779b1a1
attempt to fix float-complex
Spencer Florence
2017-07-09 13:04:19 -0500
-
e188551b19
fix binder lvl typo
Andrew Kent
2017-07-02 09:24:50 +0100
-
e19b53fd9f
Remove typed/rackunit references to check-around (#568)
Jack Firth
2017-07-01 15:44:05 -0700
-
000af1f28c
add generalize clauses for new hash types
Andrew Kent
2017-07-01 22:44:48 +0100
-
f2bf1062bc
erase object when inst is present (#572)
Andrew Kent
2017-07-01 18:11:18 +0100
-
9a6c1ba63d
fix trivial bug in subtract (#571)
Andrew Kent
2017-07-01 17:46:36 +0100
-
fa828df919
simplify arrows a little, less list allocation (#566)
Andrew Kent
2017-07-01 16:56:22 +0100
-
c97c90d2ee
break up travis build
Andrew Kent
2017-07-01 12:15:28 +0100
-
c78a25d9f1
type-contract: use 'Un' to check overlapping hash key types
Ben Greenman
2017-06-30 01:32:26 -0400
-
b7a55aa9ba
Bump version
Jack Firth
2017-06-26 18:18:33 -0700
-
70c65a4737
Remove opaque monad type from typed/rackunit
Jack Firth
2017-06-26 18:15:54 -0700
-
6c2a7eb512
patch: check duplicates before making an or/c for hash keys
Ben Greenman
2017-06-27 01:38:18 -0400
-
fae58e140d
add types for Immutable-HashTable, Mutable-HashTable, Weak-HashTable (#559)
Ben Greenman
2017-06-26 18:00:19 -0400
-
80d8b2ddb7
fix type of 'string-environment-variable-name?' (#558)
Andrew Kent
2017-06-13 15:10:58 +0100
-
6e3c509a86
require-typed: more informative error when struct field is missing
Ben Greenman
2017-06-05 20:21:32 -0400
-
dda8b1da20
fix resolve usage in overlap, allocate less (#555)
Andrew Kent
2017-05-22 22:55:33 +0100
-
2785e6f950
Handle new potential printing of empty list type.
Sam Tobin-Hochstadt
2017-05-22 16:33:57 -0400
-
3432f80a20
Have Andrew get email for failing tests on DrDr.
Vincent St-Amour
2017-05-22 11:19:48 -0500
-
1eff41d39e
fix abstract/instantiate bug and typos (#554)
Andrew Kent
2017-05-21 10:42:37 +0100
-
fea71732d2
fix intersection printing err (#551)
Andrew Kent
2017-05-20 19:22:05 +0100
-
076b16bdf0
clean up instantiate/abstract for type vars (#546)
Andrew Kent
2017-05-20 15:58:23 +0100
-
d6166b0ad3
fix intersection bug (#549)
Andrew Kent
2017-05-20 10:39:10 +0100
-
c0af5235d2
Add support for #:ps argument in command-line.
Vincent St-Amour
2017-05-18 15:50:18 -0500
-
adb806a7e5
Fix types of udp-related functions
Georges Dupéron
2017-05-11 18:01:31 +0200
-
764696752d
Disarm syntax in typed unit macros
Daniel Feltey
2017-04-27 17:46:23 -0500
-
4b35df2c96
Be less rigid about the shape of type annotations in units
Daniel Feltey
2017-04-27 11:48:40 -0500
-
80d1654dee
add more refinement support for inference and literals (#528)
Andrew Kent
2017-04-22 18:45:22 -0400
-
ebb0770edf
v6.9 HISTORY
Sam Tobin-Hochstadt
2017-04-21 17:01:11 -0400
-
2262eb9eaf
provide for/flvector, for/extflvector, etc. as aliases for : versions (#534)
Alex Knauth
2017-04-21 09:35:29 -0700
-
f0499ffd11
move refine and linear integer stuff in docs (#533)
Andrew Kent
2017-04-17 00:27:34 -0400
-
214d597e4b
Use code-inspectors to prevent optimization in unsafe contexts. (#531)
Scott Moore
2017-04-12 15:17:41 -0400
-
2da40d47b8
fixed two type annotations: Font% and Pen% (#530)
WarGrey Gyoudmon Ju
2017-04-12 02:12:29 +0800
-
5fbf4d30a8
singleton char types if expected type (#527)
Andrew Kent
2017-03-31 18:04:05 -0400
-
bcc5c26ca8
disable with-tr-contracts for now
Andrew Kent
2017-03-31 07:03:24 -0400
-
a7caadcbb1
update travis to included contracted unit tests
Andrew Kent
2017-03-30 19:56:10 -0400
-
3d119fcb02
Generalize subtypes of Char to Char.
fix-434
Georges Dupéron
2017-03-31 13:25:14 +0200
-
92e184e639
Fixes #434 (Type of literal char is not the literal char itself) using solution from Alex Knauth.
Georges Dupéron
2017-03-31 11:55:20 +0200
-
-
6a0dc61102
fix metafunction tests (#524)
Andrew Kent
2017-03-30 19:33:02 -0400
-
20a73e479f
fix minor bug, make funapp code more readable (#521)
Andrew Kent
2017-03-29 21:48:03 -0400
-
52caac26e8
be more reasonable about constructor contract checking (#522)
Andrew Kent
2017-03-29 19:15:22 -0400
-
52b4507585
Fix filters of comparisons in the presence of NaN.
Vincent St-Amour
2017-03-28 15:28:52 -0500
-
1f28ae53cd
fix some lexp function contracts (#520)
Andrew Kent
2017-03-28 13:20:41 -0400
-
81b134cbb9
add refinement types, linear expr objs, and ineq props (#510)
Andrew Kent
2017-03-27 14:32:29 -0400
-
2804bd4a93
update path-add-extension type with new optional argument (#519)
Ben Greenman
2017-03-27 10:18:53 -0400
-
f4aff224a8
update find-relative-path type w/ new keyword (#518)
Andrew Kent
2017-03-26 09:11:12 -0400
-
bf0761b500
fix serialization of objects (#516)
Andrew Kent
2017-03-20 20:57:28 -0400
-
c174ba655c
fix port-> functions to match new kw args in impl (#514)
Andrew Kent
2017-03-17 13:25:32 -0400
-
a103ec257b
remove broken subtype caching (#513)
Andrew Kent
2017-03-16 14:09:23 -0400
-
5018b478a8
Fixed typo in documentation "splite3" → "sqlite3" (#511)
Georges Dupéron
2017-03-15 15:10:27 +0100
-
8eb2a452b9
Fixed typo in documentation "splite3" → "sqlite3"
typo-splite3
Georges Dupéron
2017-03-15 14:00:54 +0100
-
-
1d7b7b5a00
Use new DrRacket opt-in buttons for OC.
Vincent St-Amour
2017-03-09 15:59:49 -0600
-
1b62cdfd5a
doc: comment on values vs. All (#508)
Benjamin Greenman
2017-03-06 11:21:13 -0500
-
b24507a71b
Allow disabling TR optimization with an environment variable. (#504)
Sam Tobin-Hochstadt
2017-03-01 13:19:15 +0000
-
b3ab93768f
Add types for loop precondition checking functions. (#501)
Sam Tobin-Hochstadt
2017-02-24 00:33:47 +0000
-
294032c12e
improve (get-text) of Text% to accept another two arguments (#499)
WarGrey Gyoudmon Ju
2017-02-01 19:24:07 +0800
-
6334dfb939
fix the maximum range for type-masks
Andrew Kent
2017-01-30 18:57:04 -0500
-
25419f9a9a
Add 6.8 HISTORY.
Sam Tobin-Hochstadt
2017-01-17 08:55:20 -0500
-
ed2cf43a19
regression test for issue #33 (#493)
Benjamin Greenman
2017-01-14 10:56:20 -0500