Update to Racket 6.6

Changes in Racket 6.6

- The new Macro Profiler command-line tool (`raco macro-profiler`) shows
  how macros contribute to the final expanded code size of a program.

- Typed Racket supports intersection types. This allows the type system
  to track more information, and for programmers to express more precise
  types.

- Typed Racket produces up to 4x smaller compiled files compared with
  Racket 6.5, reducing the size of the Racket distribution by 50M.

- Typed Racket issues warnings in cases where the contract generated for
  `Any` was not strict enough in the past. These warnings will become
  errors in a future release. Warnings are enabled via View -> Show Log
  in DrRacket, and shown by default on command-line Racket.

- Typed Racket enforces uses of `cast` more correctly, by checking both
  the "casted-to" and "casted-from" types. Previously, only the former
  were checked. In some cases, this will produce contract errors in
  programs that did not have errors before.

- `syntax-parse` raises an error when an ellipsis pattern has an empty
  match rather than diverging, and it logs a warning when it statically
  detects a nullable pattern, such as `((~seq) ...)`. In the next version
  of Racket, it will reject the pattern instead, and it will remove
  special handling that currently makes some uses of such patterns
  terminate.

- `htdp/dir`: The `create-dir` function delivers data information for
  files in a new field. The domain of its functions are backwards
  compatible.


Changes in Racket 6.5

- Typed Racket and the racket/contract library generate code with lower
  overhead, speeding up typed/untyped interaction in a number of gradual
  typing programs we studied.

- Macros written using `syntax-parse` automatically emit more accurate
  error messages.

- The contract profiler captures costs from more contract combinators,
  including all those in the main distribution.

- Hash table and set iteration, via both existing and new non-generic
  sequences, is more performant, up to twice as fast on microbenchmarks.

- The Racket optimizer detects many more optimization opportunities,
  including when variables always hold numbers.

- The `db` library supports multi-result statements in MySQL.

- The `net/dns` library supports SRV records.

- The `racket/unix-socket` library supports listen and accept operations.

3 files changed, 218 insertions, 33 deletions

diff --git a/lang/racket/Makefile b/lang/racket/Makefile
index 0e6834f8166..6bb326615e6 100644
--- a/lang/racket/Makefile
+++ b/lang/racket/Makefile
@@ -1,7 +1,6 @@
-# $NetBSD: Makefile,v 1.50 2016/07/17 21:46:54 asau Exp $
+# $NetBSD: Makefile,v 1.51 2016/10/25 17:37:41 asau Exp $
 
-PKGNAME=	racket-6.4
-PKGREVISION=	1
+PKGNAME=	racket-6.6
 DISTNAME=	$(PKGNAME_NOREV)-src
 CATEGORIES=	lang
 MASTER_SITES_PLT=	http://download.racket-lang.org/installers/$(PKGVERSION_NOREV)/ \
diff --git a/lang/racket/PLIST b/lang/racket/PLIST
index 76e11924c74..4f1f23ca77d 100644
--- a/lang/racket/PLIST
+++ b/lang/racket/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.15 2016/03/15 19:49:42 asau Exp $
+@comment $NetBSD: PLIST,v 1.16 2016/10/25 17:37:41 asau Exp $
 bin/drracket
 bin/gracket
 bin/gracket-text
@@ -1713,13 +1713,74 @@ share/doc/racket/pict/pict_141.png
 share/doc/racket/pict/pict_142.png
 share/doc/racket/pict/pict_143.png
 share/doc/racket/pict/pict_144.png
+share/doc/racket/pict/pict_145.png
+share/doc/racket/pict/pict_146.png
+share/doc/racket/pict/pict_147.png
+share/doc/racket/pict/pict_148.png
+share/doc/racket/pict/pict_149.png
 share/doc/racket/pict/pict_15.png
+share/doc/racket/pict/pict_150.png
+share/doc/racket/pict/pict_151.png
+share/doc/racket/pict/pict_152.png
+share/doc/racket/pict/pict_153.png
+share/doc/racket/pict/pict_154.png
+share/doc/racket/pict/pict_155.png
+share/doc/racket/pict/pict_156.png
+share/doc/racket/pict/pict_157.png
+share/doc/racket/pict/pict_158.png
+share/doc/racket/pict/pict_159.png
 share/doc/racket/pict/pict_16.png
+share/doc/racket/pict/pict_160.png
+share/doc/racket/pict/pict_161.png
+share/doc/racket/pict/pict_162.png
+share/doc/racket/pict/pict_163.png
+share/doc/racket/pict/pict_164.png
+share/doc/racket/pict/pict_165.png
+share/doc/racket/pict/pict_166.png
+share/doc/racket/pict/pict_167.png
+share/doc/racket/pict/pict_168.png
+share/doc/racket/pict/pict_169.png
 share/doc/racket/pict/pict_17.png
+share/doc/racket/pict/pict_170.png
+share/doc/racket/pict/pict_171.png
+share/doc/racket/pict/pict_172.png
+share/doc/racket/pict/pict_173.png
+share/doc/racket/pict/pict_174.png
+share/doc/racket/pict/pict_175.png
+share/doc/racket/pict/pict_176.png
+share/doc/racket/pict/pict_177.png
+share/doc/racket/pict/pict_178.png
+share/doc/racket/pict/pict_179.png
 share/doc/racket/pict/pict_18.png
+share/doc/racket/pict/pict_180.png
+share/doc/racket/pict/pict_181.png
+share/doc/racket/pict/pict_182.png
+share/doc/racket/pict/pict_183.png
+share/doc/racket/pict/pict_184.png
+share/doc/racket/pict/pict_185.png
+share/doc/racket/pict/pict_186.png
+share/doc/racket/pict/pict_187.png
+share/doc/racket/pict/pict_188.png
+share/doc/racket/pict/pict_189.png
 share/doc/racket/pict/pict_19.png
+share/doc/racket/pict/pict_190.png
+share/doc/racket/pict/pict_191.png
+share/doc/racket/pict/pict_192.png
+share/doc/racket/pict/pict_193.png
+share/doc/racket/pict/pict_194.png
+share/doc/racket/pict/pict_195.png
+share/doc/racket/pict/pict_196.png
+share/doc/racket/pict/pict_197.png
+share/doc/racket/pict/pict_198.png
+share/doc/racket/pict/pict_199.png
 share/doc/racket/pict/pict_2.png
 share/doc/racket/pict/pict_20.png
+share/doc/racket/pict/pict_200.png
+share/doc/racket/pict/pict_201.png
+share/doc/racket/pict/pict_202.png
+share/doc/racket/pict/pict_203.png
+share/doc/racket/pict/pict_204.png
+share/doc/racket/pict/pict_205.png
 share/doc/racket/pict/pict_21.png
 share/doc/racket/pict/pict_22.png
 share/doc/racket/pict/pict_23.png
@@ -1962,6 +2023,7 @@ share/doc/racket/plot/pict_87.png
 share/doc/racket/plot/pict_88.png
 share/doc/racket/plot/pict_89.png
 share/doc/racket/plot/pict_9.png
+share/doc/racket/plot/pict_90.png
 share/doc/racket/plot/plotting.html
 share/doc/racket/plot/porting.html
 share/doc/racket/plot/renderer2d.html
@@ -2279,11 +2341,19 @@ share/doc/racket/rackunit/out1.sxref
 share/doc/racket/rackunit/philosophy.html
 share/doc/racket/rackunit/quick-start.html
 share/doc/racket/rackunit/stamp.sxref
+share/doc/racket/raco/API_for_Making_Bytecode.html
 share/doc/racket/raco/API_for_Raw_Compilation.html
+share/doc/racket/raco/API_for_Simple_Bytecode_Creation.html
+share/doc/racket/raco/Bytecode_Files.html
+share/doc/racket/raco/Dependency_Files.html
+share/doc/racket/raco/Running_raco_make.html
 share/doc/racket/raco/_plt-archives.html
+share/doc/racket/raco/api_compile-path.html
+share/doc/racket/raco/api_parallel-build.html
 share/doc/racket/raco/blueboxes.rktd
 share/doc/racket/raco/c-mods.html
 share/doc/racket/raco/cc.html
+share/doc/racket/raco/cm-accomplice.html
 share/doc/racket/raco/collection-names.html
 share/doc/racket/raco/collection-search.html
 share/doc/racket/raco/command.html
@@ -2323,6 +2393,7 @@ share/doc/racket/raco/stamp.sxref
 share/doc/racket/raco/test.html
 share/doc/racket/raco/unpack.html
 share/doc/racket/raco/xref.html
+share/doc/racket/raco/zo.html
 share/doc/racket/readline/blueboxes.rktd
 share/doc/racket/readline/in.sxref
 share/doc/racket/readline/index.html
@@ -2390,6 +2461,8 @@ share/doc/racket/redex/pict_33.png
 share/doc/racket/redex/pict_34.png
 share/doc/racket/redex/pict_35.png
 share/doc/racket/redex/pict_36.png
+share/doc/racket/redex/pict_37.png
+share/doc/racket/redex/pict_38.png
 share/doc/racket/redex/pict_4.png
 share/doc/racket/redex/pict_5.png
 share/doc/racket/redex/pict_6.png
@@ -4273,35 +4346,41 @@ share/racket/collects/racket/contract/compiled/parametric_rkt.zo
 share/racket/collects/racket/contract/compiled/region_rkt.dep
 share/racket/collects/racket/contract/compiled/region_rkt.zo
 share/racket/collects/racket/contract/parametric.rkt
+share/racket/collects/racket/contract/private/and.rkt
 share/racket/collects/racket/contract/private/application-arity-checking.rkt
 share/racket/collects/racket/contract/private/arity-checking.rkt
+share/racket/collects/racket/contract/private/arr-d.rkt
 share/racket/collects/racket/contract/private/arr-i-parse.rkt
 share/racket/collects/racket/contract/private/arr-i.rkt
 share/racket/collects/racket/contract/private/arr-util.rkt
+share/racket/collects/racket/contract/private/arrow-common.rkt
 share/racket/collects/racket/contract/private/arrow-higher-order.rkt
 share/racket/collects/racket/contract/private/arrow-val-first.rkt
-share/racket/collects/racket/contract/private/arrow.rkt
 share/racket/collects/racket/contract/private/base.rkt
 share/racket/collects/racket/contract/private/basic-opters.rkt
 share/racket/collects/racket/contract/private/blame.rkt
 share/racket/collects/racket/contract/private/box.rkt
 share/racket/collects/racket/contract/private/case-arrow.rkt
+share/racket/collects/racket/contract/private/compiled/and_rkt.dep
+share/racket/collects/racket/contract/private/compiled/and_rkt.zo
 share/racket/collects/racket/contract/private/compiled/application-arity-checking_rkt.dep
 share/racket/collects/racket/contract/private/compiled/application-arity-checking_rkt.zo
 share/racket/collects/racket/contract/private/compiled/arity-checking_rkt.dep
 share/racket/collects/racket/contract/private/compiled/arity-checking_rkt.zo
+share/racket/collects/racket/contract/private/compiled/arr-d_rkt.dep
+share/racket/collects/racket/contract/private/compiled/arr-d_rkt.zo
 share/racket/collects/racket/contract/private/compiled/arr-i-parse_rkt.dep
 share/racket/collects/racket/contract/private/compiled/arr-i-parse_rkt.zo
 share/racket/collects/racket/contract/private/compiled/arr-i_rkt.dep
 share/racket/collects/racket/contract/private/compiled/arr-i_rkt.zo
 share/racket/collects/racket/contract/private/compiled/arr-util_rkt.dep
 share/racket/collects/racket/contract/private/compiled/arr-util_rkt.zo
+share/racket/collects/racket/contract/private/compiled/arrow-common_rkt.dep
+share/racket/collects/racket/contract/private/compiled/arrow-common_rkt.zo
 share/racket/collects/racket/contract/private/compiled/arrow-higher-order_rkt.dep
 share/racket/collects/racket/contract/private/compiled/arrow-higher-order_rkt.zo
 share/racket/collects/racket/contract/private/compiled/arrow-val-first_rkt.dep
 share/racket/collects/racket/contract/private/compiled/arrow-val-first_rkt.zo
-share/racket/collects/racket/contract/private/compiled/arrow_rkt.dep
-share/racket/collects/racket/contract/private/compiled/arrow_rkt.zo
 share/racket/collects/racket/contract/private/compiled/base_rkt.dep
 share/racket/collects/racket/contract/private/compiled/base_rkt.zo
 share/racket/collects/racket/contract/private/compiled/basic-opters_rkt.dep
@@ -4316,8 +4395,6 @@ share/racket/collects/racket/contract/private/compiled/ds-helpers_rkt.dep
 share/racket/collects/racket/contract/private/compiled/ds-helpers_rkt.zo
 share/racket/collects/racket/contract/private/compiled/ds_rkt.dep
 share/racket/collects/racket/contract/private/compiled/ds_rkt.zo
-share/racket/collects/racket/contract/private/compiled/env_rkt.dep
-share/racket/collects/racket/contract/private/compiled/env_rkt.zo
 share/racket/collects/racket/contract/private/compiled/exists_rkt.dep
 share/racket/collects/racket/contract/private/compiled/exists_rkt.zo
 share/racket/collects/racket/contract/private/compiled/generate-base_rkt.dep
@@ -4334,6 +4411,8 @@ share/racket/collects/racket/contract/private/compiled/kwd-info-struct_rkt.dep
 share/racket/collects/racket/contract/private/compiled/kwd-info-struct_rkt.zo
 share/racket/collects/racket/contract/private/compiled/legacy_rkt.dep
 share/racket/collects/racket/contract/private/compiled/legacy_rkt.zo
+share/racket/collects/racket/contract/private/compiled/list_rkt.dep
+share/racket/collects/racket/contract/private/compiled/list_rkt.zo
 share/racket/collects/racket/contract/private/compiled/misc_rkt.dep
 share/racket/collects/racket/contract/private/compiled/misc_rkt.zo
 share/racket/collects/racket/contract/private/compiled/object_rkt.dep
@@ -4364,11 +4443,12 @@ share/racket/collects/racket/contract/private/compiled/top-sort_rkt.dep
 share/racket/collects/racket/contract/private/compiled/top-sort_rkt.zo
 share/racket/collects/racket/contract/private/compiled/types_rkt.dep
 share/racket/collects/racket/contract/private/compiled/types_rkt.zo
+share/racket/collects/racket/contract/private/compiled/unconstrained-domain-arrow_rkt.dep
+share/racket/collects/racket/contract/private/compiled/unconstrained-domain-arrow_rkt.zo
 share/racket/collects/racket/contract/private/compiled/vector_rkt.dep
 share/racket/collects/racket/contract/private/compiled/vector_rkt.zo
 share/racket/collects/racket/contract/private/ds-helpers.rkt
 share/racket/collects/racket/contract/private/ds.rkt
-share/racket/collects/racket/contract/private/env.rkt
 share/racket/collects/racket/contract/private/exists.rkt
 share/racket/collects/racket/contract/private/generate-base.rkt
 share/racket/collects/racket/contract/private/generate.rkt
@@ -4377,6 +4457,7 @@ share/racket/collects/racket/contract/private/hash.rkt
 share/racket/collects/racket/contract/private/helpers.rkt
 share/racket/collects/racket/contract/private/kwd-info-struct.rkt
 share/racket/collects/racket/contract/private/legacy.rkt
+share/racket/collects/racket/contract/private/list.rkt
 share/racket/collects/racket/contract/private/misc.rkt
 share/racket/collects/racket/contract/private/object.rkt
 share/racket/collects/racket/contract/private/opt-guts.rkt
@@ -4392,6 +4473,7 @@ share/racket/collects/racket/contract/private/struct-dc.rkt
 share/racket/collects/racket/contract/private/struct-prop.rkt
 share/racket/collects/racket/contract/private/top-sort.rkt
 share/racket/collects/racket/contract/private/types.rkt
+share/racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt
 share/racket/collects/racket/contract/private/vector.rkt
 share/racket/collects/racket/contract/region.rkt
 share/racket/collects/racket/control.rkt
@@ -4517,6 +4599,7 @@ share/racket/collects/racket/private/class-internal.rkt
 share/racket/collects/racket/private/class-undef.rkt
 share/racket/collects/racket/private/class-wrapped.rkt
 share/racket/collects/racket/private/classidmap.rkt
+share/racket/collects/racket/private/collect.rkt
 share/racket/collects/racket/private/compiled/arity_rkt.dep
 share/racket/collects/racket/private/compiled/arity_rkt.zo
 share/racket/collects/racket/private/compiled/base_rkt.dep
@@ -4537,8 +4620,12 @@ share/racket/collects/racket/private/compiled/class-wrapped_rkt.dep
 share/racket/collects/racket/private/compiled/class-wrapped_rkt.zo
 share/racket/collects/racket/private/compiled/classidmap_rkt.dep
 share/racket/collects/racket/private/compiled/classidmap_rkt.zo
+share/racket/collects/racket/private/compiled/collect_rkt.dep
+share/racket/collects/racket/private/compiled/collect_rkt.zo
 share/racket/collects/racket/private/compiled/cond_rkt.dep
 share/racket/collects/racket/private/compiled/cond_rkt.zo
+share/racket/collects/racket/private/compiled/config_rkt.dep
+share/racket/collects/racket/private/compiled/config_rkt.zo
 share/racket/collects/racket/private/compiled/custom-hash_rkt.dep
 share/racket/collects/racket/private/compiled/custom-hash_rkt.zo
 share/racket/collects/racket/private/compiled/custom-write_rkt.dep
@@ -4553,6 +4640,8 @@ share/racket/collects/racket/private/compiled/dict_rkt.dep
 share/racket/collects/racket/private/compiled/dict_rkt.zo
 share/racket/collects/racket/private/compiled/ellipses_rkt.dep
 share/racket/collects/racket/private/compiled/ellipses_rkt.zo
+share/racket/collects/racket/private/compiled/executable-path_rkt.dep
+share/racket/collects/racket/private/compiled/executable-path_rkt.zo
 share/racket/collects/racket/private/compiled/for_rkt.dep
 share/racket/collects/racket/private/compiled/for_rkt.zo
 share/racket/collects/racket/private/compiled/generic-interfaces_rkt.dep
@@ -4577,6 +4666,8 @@ share/racket/collects/racket/private/compiled/letstx-scheme_rkt.dep
 share/racket/collects/racket/private/compiled/letstx-scheme_rkt.zo
 share/racket/collects/racket/private/compiled/list_rkt.dep
 share/racket/collects/racket/private/compiled/list_rkt.zo
+share/racket/collects/racket/private/compiled/load_rkt.dep
+share/racket/collects/racket/private/compiled/load_rkt.zo
 share/racket/collects/racket/private/compiled/local_rkt.dep
 share/racket/collects/racket/private/compiled/local_rkt.zo
 share/racket/collects/racket/private/compiled/logger_rkt.dep
@@ -4599,6 +4690,12 @@ share/racket/collects/racket/private/compiled/norm-arity_rkt.dep
 share/racket/collects/racket/private/compiled/norm-arity_rkt.zo
 share/racket/collects/racket/private/compiled/norm-define_rkt.dep
 share/racket/collects/racket/private/compiled/norm-define_rkt.zo
+share/racket/collects/racket/private/compiled/old-path_rkt.dep
+share/racket/collects/racket/private/compiled/old-path_rkt.zo
+share/racket/collects/racket/private/compiled/path-list_rkt.dep
+share/racket/collects/racket/private/compiled/path-list_rkt.zo
+share/racket/collects/racket/private/compiled/path_rkt.dep
+share/racket/collects/racket/private/compiled/path_rkt.zo
 share/racket/collects/racket/private/compiled/performance-hint_rkt.dep
 share/racket/collects/racket/private/compiled/performance-hint_rkt.zo
 share/racket/collects/racket/private/compiled/port_rkt.dep
@@ -4615,6 +4712,8 @@ share/racket/collects/racket/private/compiled/qq-and-or_rkt.dep
 share/racket/collects/racket/private/compiled/qq-and-or_rkt.zo
 share/racket/collects/racket/private/compiled/qqstx_rkt.dep
 share/racket/collects/racket/private/compiled/qqstx_rkt.zo
+share/racket/collects/racket/private/compiled/reading-param_rkt.dep
+share/racket/collects/racket/private/compiled/reading-param_rkt.zo
 share/racket/collects/racket/private/compiled/reqprov_rkt.dep
 share/racket/collects/racket/private/compiled/reqprov_rkt.zo
 share/racket/collects/racket/private/compiled/reverse_rkt.dep
@@ -4665,6 +4764,8 @@ share/racket/collects/racket/private/compiled/stxparamkey_rkt.dep
 share/racket/collects/racket/private/compiled/stxparamkey_rkt.zo
 share/racket/collects/racket/private/compiled/submodule_rkt.dep
 share/racket/collects/racket/private/compiled/submodule_rkt.zo
+share/racket/collects/racket/private/compiled/tethered-installer_rkt.dep
+share/racket/collects/racket/private/compiled/tethered-installer_rkt.zo
 share/racket/collects/racket/private/compiled/this-expression-source-directory_rkt.dep
 share/racket/collects/racket/private/compiled/this-expression-source-directory_rkt.zo
 share/racket/collects/racket/private/compiled/top-int_rkt.dep
@@ -4692,6 +4793,7 @@ share/racket/collects/racket/private/compiled/windows-rand_rkt.zo
 share/racket/collects/racket/private/compiled/with-stx_rkt.dep
 share/racket/collects/racket/private/compiled/with-stx_rkt.zo
 share/racket/collects/racket/private/cond.rkt
+share/racket/collects/racket/private/config.rkt
 share/racket/collects/racket/private/custom-hash.rkt
 share/racket/collects/racket/private/custom-write.rkt
 share/racket/collects/racket/private/define-et-al.rkt
@@ -4699,6 +4801,7 @@ share/racket/collects/racket/private/define-struct.rkt
 share/racket/collects/racket/private/define.rkt
 share/racket/collects/racket/private/dict.rkt
 share/racket/collects/racket/private/ellipses.rkt
+share/racket/collects/racket/private/executable-path.rkt
 share/racket/collects/racket/private/for.rkt
 share/racket/collects/racket/private/generic-interfaces.rkt
 share/racket/collects/racket/private/generic-methods.rkt
@@ -4711,6 +4814,7 @@ share/racket/collects/racket/private/kw-prop-key.rkt
 share/racket/collects/racket/private/kw.rkt
 share/racket/collects/racket/private/letstx-scheme.rkt
 share/racket/collects/racket/private/list.rkt
+share/racket/collects/racket/private/load.rkt
 share/racket/collects/racket/private/local.rkt
 share/racket/collects/racket/private/logger.rkt
 share/racket/collects/racket/private/map.rkt
@@ -4722,6 +4826,9 @@ share/racket/collects/racket/private/name.rkt
 share/racket/collects/racket/private/namespace.rkt
 share/racket/collects/racket/private/norm-arity.rkt
 share/racket/collects/racket/private/norm-define.rkt
+share/racket/collects/racket/private/old-path.rkt
+share/racket/collects/racket/private/path-list.rkt
+share/racket/collects/racket/private/path.rkt
 share/racket/collects/racket/private/performance-hint.rkt
 share/racket/collects/racket/private/port.rkt
 share/racket/collects/racket/private/portlines.rkt
@@ -4730,6 +4837,7 @@ share/racket/collects/racket/private/procedure-alias.rkt
 share/racket/collects/racket/private/promise.rkt
 share/racket/collects/racket/private/qq-and-or.rkt
 share/racket/collects/racket/private/qqstx.rkt
+share/racket/collects/racket/private/reading-param.rkt
 share/racket/collects/racket/private/reqprov.rkt
 share/racket/collects/racket/private/reverse.rkt
 share/racket/collects/racket/private/runtime-path-table.rkt
@@ -4755,6 +4863,7 @@ share/racket/collects/racket/private/stxloc.rkt
 share/racket/collects/racket/private/stxparam.rkt
 share/racket/collects/racket/private/stxparamkey.rkt
 share/racket/collects/racket/private/submodule.rkt
+share/racket/collects/racket/private/tethered-installer.rkt
 share/racket/collects/racket/private/this-expression-source-directory.rkt
 share/racket/collects/racket/private/top-int.rkt
 share/racket/collects/racket/private/unit-compiletime.rkt
@@ -6096,6 +6205,9 @@ share/racket/pkgs/data-lib/data/gvector.rkt
 share/racket/pkgs/data-lib/data/heap.rkt
 share/racket/pkgs/data-lib/data/interval-map.rkt
 share/racket/pkgs/data-lib/data/order.rkt
+share/racket/pkgs/data-lib/data/private/compiled/skip-list_rkt.dep
+share/racket/pkgs/data-lib/data/private/compiled/skip-list_rkt.zo
+share/racket/pkgs/data-lib/data/private/skip-list.rkt
 share/racket/pkgs/data-lib/data/skip-list.rkt
 share/racket/pkgs/data-lib/data/splay-tree.rkt
 share/racket/pkgs/data-lib/data/union-find.rkt
@@ -6236,6 +6348,7 @@ share/racket/pkgs/datalog/tests/paren-examples/true.txt
 share/racket/pkgs/datalog/tests/paren-examples/tutorial.rkt
 share/racket/pkgs/datalog/tests/paren-examples/tutorial.txt
 share/racket/pkgs/datalog/tests/parse.rkt
+share/racket/pkgs/datalog/tests/pr/1.rkt
 share/racket/pkgs/datalog/tests/pretty.rkt
 share/racket/pkgs/datalog/tests/private/env.rkt
 share/racket/pkgs/datalog/tests/private/lex.rkt
@@ -12027,12 +12140,18 @@ share/racket/pkgs/htdp-lib/stepper/private/compiled/my-macros_rkt.dep
 share/racket/pkgs/htdp-lib/stepper/private/compiled/my-macros_rkt.zo
 share/racket/pkgs/htdp-lib/stepper/private/compiled/reconstruct_rkt.dep
 share/racket/pkgs/htdp-lib/stepper/private/compiled/reconstruct_rkt.zo
+share/racket/pkgs/htdp-lib/stepper/private/compiled/shared-typed_rkt.dep
+share/racket/pkgs/htdp-lib/stepper/private/compiled/shared-typed_rkt.zo
 share/racket/pkgs/htdp-lib/stepper/private/compiled/shared_rkt.dep
 share/racket/pkgs/htdp-lib/stepper/private/compiled/shared_rkt.zo
+share/racket/pkgs/htdp-lib/stepper/private/compiled/syntax-hider_rkt.dep
+share/racket/pkgs/htdp-lib/stepper/private/compiled/syntax-hider_rkt.zo
 share/racket/pkgs/htdp-lib/stepper/private/compiled/syntax-property_rkt.dep
 share/racket/pkgs/htdp-lib/stepper/private/compiled/syntax-property_rkt.zo
 share/racket/pkgs/htdp-lib/stepper/private/compiled/vertical-separator-snip_rkt.dep
 share/racket/pkgs/htdp-lib/stepper/private/compiled/vertical-separator-snip_rkt.zo
+share/racket/pkgs/htdp-lib/stepper/private/compiled/view-controller-typed_rkt.dep
+share/racket/pkgs/htdp-lib/stepper/private/compiled/view-controller-typed_rkt.zo
 share/racket/pkgs/htdp-lib/stepper/private/compiled/view-controller_rkt.dep
 share/racket/pkgs/htdp-lib/stepper/private/compiled/view-controller_rkt.zo
 share/racket/pkgs/htdp-lib/stepper/private/compiled/xml-box_rkt.dep
@@ -12051,9 +12170,12 @@ share/racket/pkgs/htdp-lib/stepper/private/model.rkt
 share/racket/pkgs/htdp-lib/stepper/private/mred-extensions.rkt
 share/racket/pkgs/htdp-lib/stepper/private/my-macros.rkt
 share/racket/pkgs/htdp-lib/stepper/private/reconstruct.rkt
+share/racket/pkgs/htdp-lib/stepper/private/shared-typed.rkt
 share/racket/pkgs/htdp-lib/stepper/private/shared.rkt
+share/racket/pkgs/htdp-lib/stepper/private/syntax-hider.rkt
 share/racket/pkgs/htdp-lib/stepper/private/syntax-property.rkt
 share/racket/pkgs/htdp-lib/stepper/private/vertical-separator-snip.rkt
+share/racket/pkgs/htdp-lib/stepper/private/view-controller-typed.rkt
 share/racket/pkgs/htdp-lib/stepper/private/view-controller.rkt
 share/racket/pkgs/htdp-lib/stepper/private/xml-box.rkt
 share/racket/pkgs/htdp-lib/stepper/private/xml-sig.rkt
@@ -12556,6 +12678,8 @@ share/racket/pkgs/macro-debugger-text-lib/info.rkt
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/check-requires.rkt
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/compiled/check-requires_rkt.dep
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/compiled/check-requires_rkt.zo
+share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/compiled/profile_rkt.dep
+share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/compiled/profile_rkt.zo
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/compiled/show-dependencies_rkt.dep
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/compiled/show-dependencies_rkt.zo
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/private/compiled/get-references_rkt.dep
@@ -12573,6 +12697,7 @@ share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/private/module
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/private/nom-use-alg.rkt
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/private/refine-alg.rkt
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/private/util.rkt
+share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/profile.rkt
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/analysis/show-dependencies.rkt
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/compiled/expand_rkt.dep
 share/racket/pkgs/macro-debugger-text-lib/macro-debugger/compiled/expand_rkt.zo
@@ -13708,8 +13833,14 @@ share/racket/pkgs/net-lib/net/private/compiled/ip_rkt.dep
 share/racket/pkgs/net-lib/net/private/compiled/ip_rkt.zo
 share/racket/pkgs/net-lib/net/private/compiled/rbtree_rkt.dep
 share/racket/pkgs/net-lib/net/private/compiled/rbtree_rkt.zo
+share/racket/pkgs/net-lib/net/private/compiled/rr-generic_rkt.dep
+share/racket/pkgs/net-lib/net/private/compiled/rr-generic_rkt.zo
+share/racket/pkgs/net-lib/net/private/compiled/rr-srv_rkt.dep
+share/racket/pkgs/net-lib/net/private/compiled/rr-srv_rkt.zo
 share/racket/pkgs/net-lib/net/private/ip.rkt
 share/racket/pkgs/net-lib/net/private/rbtree.rkt
+share/racket/pkgs/net-lib/net/private/rr-generic.rkt
+share/racket/pkgs/net-lib/net/private/rr-srv.rkt
 share/racket/pkgs/net-lib/net/qp.rkt
 share/racket/pkgs/net-lib/net/sendmail.rkt
 share/racket/pkgs/net-lib/net/sendurl.rkt
@@ -17181,13 +17312,10 @@ share/racket/pkgs/rackunit-gui/rackunit/private/gui/view.rkt
 share/racket/pkgs/rackunit-lib/LICENSE.txt
 share/racket/pkgs/rackunit-lib/info.rkt
 share/racket/pkgs/rackunit-lib/rackunit/HISTORY.txt
-share/racket/pkgs/rackunit-lib/rackunit/compiled/log_rkt.dep
-share/racket/pkgs/rackunit-lib/rackunit/compiled/log_rkt.zo
 share/racket/pkgs/rackunit-lib/rackunit/compiled/main_rkt.dep
 share/racket/pkgs/rackunit-lib/rackunit/compiled/main_rkt.zo
 share/racket/pkgs/rackunit-lib/rackunit/compiled/text-ui_rkt.dep
 share/racket/pkgs/rackunit-lib/rackunit/compiled/text-ui_rkt.zo
-share/racket/pkgs/rackunit-lib/rackunit/log.rkt
 share/racket/pkgs/rackunit-lib/rackunit/main.rkt
 share/racket/pkgs/rackunit-lib/rackunit/private/base.rkt
 share/racket/pkgs/rackunit-lib/rackunit/private/check-info.rkt
@@ -18215,12 +18343,6 @@ share/racket/pkgs/redex-lib/redex/private/compiled/trace-layout_rkt.dep
 share/racket/pkgs/redex-lib/redex/private/compiled/trace-layout_rkt.zo
 share/racket/pkgs/redex-lib/redex/private/compiled/underscore-allowed_rkt.dep
 share/racket/pkgs/redex-lib/redex/private/compiled/underscore-allowed_rkt.zo
-share/racket/pkgs/redex-lib/redex/private/compiler/compiled/match_rkt.dep
-share/racket/pkgs/redex-lib/redex/private/compiler/compiled/match_rkt.zo
-share/racket/pkgs/redex-lib/redex/private/compiler/compiled/redextomatrix_rkt.dep
-share/racket/pkgs/redex-lib/redex/private/compiler/compiled/redextomatrix_rkt.zo
-share/racket/pkgs/redex-lib/redex/private/compiler/match.rkt
-share/racket/pkgs/redex-lib/redex/private/compiler/redextomatrix.rkt
 share/racket/pkgs/redex-lib/redex/private/cycle-check.rkt
 share/racket/pkgs/redex-lib/redex/private/defined-checks.rkt
 share/racket/pkgs/redex-lib/redex/private/enum.rkt
@@ -18881,6 +19003,14 @@ share/racket/pkgs/scribble-lib/scribble/doc/main.rkt
 share/racket/pkgs/scribble-lib/scribble/doc/reader.rkt
 share/racket/pkgs/scribble-lib/scribble/doclang.rkt
 share/racket/pkgs/scribble-lib/scribble/doclang2.rkt
+share/racket/pkgs/scribble-lib/scribble/elsarticle/compiled/lang_rkt.dep
+share/racket/pkgs/scribble-lib/scribble/elsarticle/compiled/lang_rkt.zo
+share/racket/pkgs/scribble-lib/scribble/elsarticle/elsarticle.tex
+share/racket/pkgs/scribble-lib/scribble/elsarticle/lang.rkt
+share/racket/pkgs/scribble-lib/scribble/elsarticle/lang/compiled/reader_rkt.dep
+share/racket/pkgs/scribble-lib/scribble/elsarticle/lang/compiled/reader_rkt.zo
+share/racket/pkgs/scribble-lib/scribble/elsarticle/lang/reader.rkt
+share/racket/pkgs/scribble-lib/scribble/elsarticle/style.tex
 share/racket/pkgs/scribble-lib/scribble/eval.rkt
 share/racket/pkgs/scribble-lib/scribble/example.rkt
 share/racket/pkgs/scribble-lib/scribble/examples.rkt
@@ -18897,6 +19027,7 @@ share/racket/pkgs/scribble-lib/scribble/jfp/lang.rkt
 share/racket/pkgs/scribble-lib/scribble/jfp/lang/compiled/reader_rkt.dep
 share/racket/pkgs/scribble-lib/scribble/jfp/lang/compiled/reader_rkt.zo
 share/racket/pkgs/scribble-lib/scribble/jfp/lang/reader.rkt
+share/racket/pkgs/scribble-lib/scribble/jfp/replacements.tex
 share/racket/pkgs/scribble-lib/scribble/jfp/style.tex
 share/racket/pkgs/scribble-lib/scribble/latex-prefix.rkt
 share/racket/pkgs/scribble-lib/scribble/latex-properties.rkt
@@ -20346,6 +20477,10 @@ share/racket/pkgs/syntax-color-lib/syntax-color/scribble-lexer.rkt
 share/racket/pkgs/syntax-color-lib/syntax-color/token-tree.rkt
 share/racket/pkgs/syntax-color/LICENSE.txt
 share/racket/pkgs/syntax-color/info.rkt
+share/racket/pkgs/testing-util-lib/info.rkt
+share/racket/pkgs/testing-util-lib/rackunit/compiled/log_rkt.dep
+share/racket/pkgs/testing-util-lib/rackunit/compiled/log_rkt.zo
+share/racket/pkgs/testing-util-lib/rackunit/log.rkt
 share/racket/pkgs/tex-table/compiled/info_rkt.dep
 share/racket/pkgs/tex-table/compiled/info_rkt.zo
 share/racket/pkgs/tex-table/compiled/tex-table_rkt.dep
@@ -20574,6 +20709,8 @@ share/racket/pkgs/typed-racket-lib/typed-racket/base-env/compiled/top-interactio
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/compiled/top-interaction_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/compiled/type-env-lang_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/compiled/type-env-lang_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/base-env/compiled/type-name-error_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/base-env/compiled/type-name-error_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/compiled/unit-prims_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/compiled/unit-prims_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/env-lang.rkt
@@ -20586,6 +20723,7 @@ share/racket/pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/signature-prims.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/type-env-lang.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/base-env/type-name-error.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/base-env/unit-prims.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/compiled/core_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/compiled/core_rkt.zo
@@ -20664,10 +20802,10 @@ share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/infer-unit_rkt.de
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/infer-unit_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/infer_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/infer_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/intersect_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/intersect_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/promote-demote_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/promote-demote_rkt.zo
-share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/restrict_rkt.dep
-share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/restrict_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/signatures_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/compiled/signatures_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/constraint-structs.rkt
@@ -20676,8 +20814,8 @@ share/racket/pkgs/typed-racket-lib/typed-racket/infer/dmap.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/fail.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/infer.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/infer/intersect.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/promote-demote.rkt
-share/racket/pkgs/typed-racket-lib/typed-racket/infer/restrict.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/infer/signatures.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/info.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/language-info.rkt
@@ -20748,7 +20886,10 @@ share/racket/pkgs/typed-racket-lib/typed-racket/optimizer/unboxed-let.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/optimizer/unboxed-tables.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/optimizer/utils.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/optimizer/vector.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/private/cast-table.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/private/class-literals.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/private/compiled/cast-table_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/private/compiled/cast-table_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/private/compiled/class-literals_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/private/compiled/class-literals_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/private/compiled/oc-button_rkt.dep
@@ -20780,6 +20921,8 @@ share/racket/pkgs/typed-racket-lib/typed-racket/rep/compiled/interning_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/compiled/interning_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/compiled/object-rep_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/compiled/object-rep_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/rep/compiled/prop-rep_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/rep/compiled/prop-rep_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/compiled/rep-utils_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/compiled/rep-utils_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/compiled/type-rep_rkt.dep
@@ -20788,6 +20931,7 @@ share/racket/pkgs/typed-racket-lib/typed-racket/rep/filter-rep.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/free-variance.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/interning.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/object-rep.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/rep/prop-rep.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/rep-utils.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/standard-inits.rkt
@@ -20882,6 +21026,8 @@ share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/compiled/find-annotati
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/compiled/find-annotation_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/compiled/internal-forms_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/compiled/internal-forms_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/compiled/possible-domains_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/compiled/possible-domains_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/compiled/provide-handling_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/compiled/provide-handling_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/compiled/renamer_rkt.dep
@@ -20928,6 +21074,7 @@ share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/def-binding.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/error-message.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/find-annotation.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/internal-forms.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/possible-domains.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/provide-handling.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/renamer.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt
@@ -21001,8 +21148,6 @@ share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/classes_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/classes_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/current-seen_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/current-seen_rkt.zo
-share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/filter-ops_rkt.dep
-share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/filter-ops_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/generalize_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/generalize_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/kw-types_rkt.dep
@@ -21013,14 +21158,18 @@ share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/numeric-predicate
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/numeric-predicates_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/numeric-tower_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/numeric-tower_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/overlap_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/overlap_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/path-type_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/path-type_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/prefab_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/prefab_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/printer_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/printer_rkt.zo
-share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/remove-intersect_rkt.dep
-share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/remove-intersect_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/prop-ops_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/prop-ops_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/remove_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/remove_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/resolve_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/resolve_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/signatures_rkt.dep
@@ -21041,19 +21190,22 @@ share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/type-table_rkt.de
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/type-table_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/union_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/union_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/update_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/update_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/utils_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/types/compiled/utils_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/types/current-seen.rkt
-share/racket/pkgs/typed-racket-lib/typed-racket/types/filter-ops.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/generalize.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/kw-types.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/match-expanders.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/numeric-predicates.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/numeric-tower.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/types/overlap.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/path-type.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/prefab.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/printer.rkt
-share/racket/pkgs/typed-racket-lib/typed-racket/types/remove-intersect.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/types/prop-ops.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/types/remove.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/resolve.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/signatures.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/struct-table.rkt
@@ -21064,6 +21216,7 @@ share/racket/pkgs/typed-racket-lib/typed-racket/types/tc-error.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/tc-result.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/type-table.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/union.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/types/update.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/types/utils.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/any-wrap.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/arm.rkt
@@ -21079,6 +21232,8 @@ share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/early-return_rkt.
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/early-return_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/evt-contract_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/evt-contract_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/inspector_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/inspector_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/lift_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/lift_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/literal-syntax-class_rkt.dep
@@ -21097,6 +21252,8 @@ share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/require-contract_
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/require-contract_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/sealing-contract_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/sealing-contract_rkt.zo
+share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/simple-result-arrow_rkt.dep
+share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/simple-result-arrow_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/struct-extraction_rkt.dep
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/struct-extraction_rkt.zo
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/compiled/struct-type-c_rkt.dep
@@ -21119,6 +21276,7 @@ share/racket/pkgs/typed-racket-lib/typed-racket/utils/disappeared-use.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/disarm.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/early-return.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/evt-contract.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/utils/inspector.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/lift.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/literal-syntax-class.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/mutated-vars.rkt
@@ -21128,6 +21286,7 @@ share/racket/pkgs/typed-racket-lib/typed-racket/utils/promise-not-name-contract.
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/redirect-contract.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/require-contract.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/sealing-contract.rkt
+share/racket/pkgs/typed-racket-lib/typed-racket/utils/simple-result-arrow.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/struct-extraction.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/struct-type-c.rkt
 share/racket/pkgs/typed-racket-lib/typed-racket/utils/stxclass-util.rkt
@@ -21218,6 +21377,12 @@ share/racket/pkgs/typed-racket-more/typed/framework/compiled/prefs-contract_rkt.
 share/racket/pkgs/typed-racket-more/typed/framework/compiled/prefs-contract_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/framework/framework.rkt
 share/racket/pkgs/typed-racket-more/typed/framework/prefs-contract.rkt
+share/racket/pkgs/typed-racket-more/typed/images/compiled/icons_rkt.dep
+share/racket/pkgs/typed-racket-more/typed/images/compiled/icons_rkt.zo
+share/racket/pkgs/typed-racket-more/typed/images/compiled/logos_rkt.dep
+share/racket/pkgs/typed-racket-more/typed/images/compiled/logos_rkt.zo
+share/racket/pkgs/typed-racket-more/typed/images/icons.rkt
+share/racket/pkgs/typed-racket-more/typed/images/logos.rkt
 share/racket/pkgs/typed-racket-more/typed/json.rkt
 share/racket/pkgs/typed-racket-more/typed/mred/compiled/mred_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/mred/compiled/mred_rkt.zo
@@ -21304,19 +21469,27 @@ share/racket/pkgs/typed-racket-more/typed/openssl/types.rkt
 share/racket/pkgs/typed-racket-more/typed/pict.rkt
 share/racket/pkgs/typed-racket-more/typed/private/compiled/framework-types_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/private/compiled/framework-types_rkt.zo
+share/racket/pkgs/typed-racket-more/typed/private/compiled/require-batch_rkt.dep
+share/racket/pkgs/typed-racket-more/typed/private/compiled/require-batch_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/private/framework-types.rkt
+share/racket/pkgs/typed-racket-more/typed/private/require-batch.rkt
 share/racket/pkgs/typed-racket-more/typed/racket/async-channel.rkt
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/async-channel_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/async-channel_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/draw_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/draw_rkt.zo
+share/racket/pkgs/typed-racket-more/typed/racket/compiled/fasl_rkt.dep
+share/racket/pkgs/typed-racket-more/typed/racket/compiled/fasl_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/gui_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/gui_rkt.zo
+share/racket/pkgs/typed-racket-more/typed/racket/compiled/random_rkt.dep
+share/racket/pkgs/typed-racket-more/typed/racket/compiled/random_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/sandbox_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/sandbox_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/snip_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/racket/compiled/snip_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/racket/draw.rkt
+share/racket/pkgs/typed-racket-more/typed/racket/fasl.rkt
 share/racket/pkgs/typed-racket-more/typed/racket/gui.rkt
 share/racket/pkgs/typed-racket-more/typed/racket/gui/base.rkt
 share/racket/pkgs/typed-racket-more/typed/racket/gui/compiled/base_rkt.dep
@@ -21324,6 +21497,7 @@ share/racket/pkgs/typed-racket-more/typed/racket/gui/compiled/base_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/racket/private/compiled/gui-types_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/racket/private/compiled/gui-types_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/racket/private/gui-types.rkt
+share/racket/pkgs/typed-racket-more/typed/racket/random.rkt
 share/racket/pkgs/typed-racket-more/typed/racket/sandbox.rkt
 share/racket/pkgs/typed-racket-more/typed/racket/snip.rkt
 share/racket/pkgs/typed-racket-more/typed/rackunit.rkt
@@ -21351,8 +21525,17 @@ share/racket/pkgs/typed-racket-more/typed/srfi/compiled/14_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/srfi/compiled/14_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/srfi/compiled/19_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/srfi/compiled/19_rkt.zo
+share/racket/pkgs/typed-racket-more/typed/syntax/compiled/modread_rkt.dep
+share/racket/pkgs/typed-racket-more/typed/syntax/compiled/modread_rkt.zo
+share/racket/pkgs/typed-racket-more/typed/syntax/compiled/readerr_rkt.dep
+share/racket/pkgs/typed-racket-more/typed/syntax/compiled/readerr_rkt.zo
+share/racket/pkgs/typed-racket-more/typed/syntax/compiled/srcloc_rkt.dep
+share/racket/pkgs/typed-racket-more/typed/syntax/compiled/srcloc_rkt.zo
 share/racket/pkgs/typed-racket-more/typed/syntax/compiled/stx_rkt.dep
 share/racket/pkgs/typed-racket-more/typed/syntax/compiled/stx_rkt.zo
+share/racket/pkgs/typed-racket-more/typed/syntax/modread.rkt
+share/racket/pkgs/typed-racket-more/typed/syntax/readerr.rkt
+share/racket/pkgs/typed-racket-more/typed/syntax/srcloc.rkt
 share/racket/pkgs/typed-racket-more/typed/syntax/stx.rkt
 share/racket/pkgs/typed-racket-more/typed/untyped-utils.rkt
 share/racket/pkgs/typed-racket-more/typed/web-server/compiled/http_rkt.dep
@@ -21375,6 +21558,9 @@ share/racket/pkgs/unix-socket-lib/LICENSE.txt
 share/racket/pkgs/unix-socket-lib/info.rkt
 share/racket/pkgs/unix-socket-lib/racket/compiled/unix-socket_rkt.dep
 share/racket/pkgs/unix-socket-lib/racket/compiled/unix-socket_rkt.zo
+share/racket/pkgs/unix-socket-lib/racket/private/compiled/unix-socket-ffi_rkt.dep
+share/racket/pkgs/unix-socket-lib/racket/private/compiled/unix-socket-ffi_rkt.zo
+share/racket/pkgs/unix-socket-lib/racket/private/unix-socket-ffi.rkt
 share/racket/pkgs/unix-socket-lib/racket/unix-socket.rkt
 share/racket/pkgs/unix-socket/LICENSE.txt
 share/racket/pkgs/unix-socket/info.rkt
diff --git a/lang/racket/distinfo b/lang/racket/distinfo
index 318dc9c0903..d2e68d04b72 100644
--- a/lang/racket/distinfo
+++ b/lang/racket/distinfo
@@ -1,8 +1,8 @@
-$NetBSD: distinfo,v 1.19 2016/03/15 19:49:42 asau Exp $
+$NetBSD: distinfo,v 1.20 2016/10/25 17:37:41 asau Exp $
 
-SHA1 (racket-6.4-src.tgz) = daa754d9880c0e089301b20945496922dd4a5847
-RMD160 (racket-6.4-src.tgz) = bec43fd94c59fae627dcf24a77cff056a9a830e2
-SHA512 (racket-6.4-src.tgz) = fed3ebe293532621e9ede160db0c5f723cdb5c6eb4b176dbafa83574b37faac68bade70df8ed248e077470ebd224a466c01541956fff9f13dc601b8e36925492
-Size (racket-6.4-src.tgz) = 20863252 bytes
+SHA1 (racket-6.6-src.tgz) = 67dc3a111600322585018c95895fe6c1bf21aaa5
+RMD160 (racket-6.6-src.tgz) = 9452e1e5283dcd7ebada59489153858662623ed4
+SHA512 (racket-6.6-src.tgz) = 578e20fd6f2354771ef7340afaa7ad97b881eab4edb9b5da0ccd72b47f21ba89de00ab3d2084c3f882e73b1cfabf3282a6dd0d15f31cef62718c312e948f5cf3
+Size (racket-6.6-src.tgz) = 20966104 bytes
 SHA1 (patch-src_configure) = d2dd93be1d5ddec7b07fee73b0da5d6ce61d69b3
 SHA1 (patch-src_racket_configure.ac) = 29e239e74a395886dc8382543ab682c6a17b5e6b