cover fails on the typed/racket implementation

[florence]

With the error:

cover: no coverage information for "/Applications/Racket/racket/share/pkgs/typed-racket-lib/typed/racket/class.rkt"
  context...:
   /Users/florence/playground/cover/cover/private/format-utils.rkt:25:0: make-covered?
   /Applications/Racket/racket/collects/racket/private/more-scheme.rkt:371:13: hash-ref!
   /Users/florence/playground/cover/cover/cover.rkt:273:5
   /Users/florence/playground/cover/cover/private/html/html.rkt:369:4: recur
   /Users/florence/playground/cover/cover/private/html/html.rkt:346:0: expression-coverage/file
   /Users/florence/playground/cover/cover/private/html/html.rkt:113:0: make-html-file
   /Users/florence/playground/cover/cover/private/html/html.rkt:47:4: for-loop
   /Users/florence/playground/cover/cover/private/html/html.rkt:45:0: get-files
   /Users/florence/playground/cover/cover/private/html/html.rkt:29:0: generate-html-coverage
   /Users/florence/playground/cover/cover/raco.rkt:83:4
   /Users/florence/playground/cover/cover/private/shared.rkt:36:0: with-intercepted-logging/receiver
   (submod /Users/florence/playground/cover/cover/raco.rkt main): [running body]
   /Applications/Racket/racket/collects/raco/raco.rkt: [running body]
   /Applications/Racket/racket/collects/raco/main.rkt: [running body]

This only happens when run on typed racked itself. If run on the individual file, the error does not occur.

[florence]

This has progressed.

Cover now works on typed-racket-lib, but fails on when run on typed-racket-lib, typed-racket-test, and typed-racket-more.

The new failure is caused by the OM killing cover for using to much memory.

[florence]

Progress is a new error. When Cover is run on all of typed-racket-{lib,test,more}, the following error occurs:

syntax-local-introduce: not currently transforming
  context...:
   temp1728
   (submod /Users/florence/playground/typed-racket/typed-racket-more/typed/pict.rkt #%type-decl): [running body]
   /Users/florence/playground/typed-racket/typed-racket-lib/typed-racket/env/env-req.rkt:8:4: for-loop
   (submod /Users/florence/playground/typed-racket/typed-racket-test/unit-tests/typecheck-tests.rkt tester): [running body]
   /Users/florence/playground/typed-racket/typed-racket-test/unit-tests/typecheck-tests.rkt: [traversing imports]
   /Users/florence/playground/typed-racket/typed-racket-test/unit-tests/all-tests.rkt: [traversing imports]
   /Users/florence/playground/typed-racket/typed-racket-test/main.rkt: [traversing imports]
   /Users/florence/playground/cover/cover/cover.rkt:91:10: for-loop
   /Users/florence/playground/cover/cover/cover.rkt:103:4
   /Users/florence/playground/cover/cover/private/shared.rkt:34:0: with-intercepted-logging/receiver
   /Users/florence/playground/cover/cover/cover.rkt:74:0: test-files!7
   /Users/florence/playground/cover/cover/raco.rkt:83:4
   /Users/florence/playground/cover/cover/private/shared.rkt:28:0: with-intercepted-logging
   (submod /Users/florence/playground/cover/cover/raco.rkt main): [running body]
   /Applications/Racket/racket/collects/raco/raco.rkt: [running body]
   /Applications/Racket/racket/collects/raco/main.rkt: [running body]

Running cover all files mentioned in the stacktrace does not cause the error.

[florence]

Progress is a new error. I suspect that somehow env-req.rkt is getting instantiated twice. Maybe cover does not play well with dynamic-requireing a module several times?

link: bad variable linkage;
 reference to a variable that is not a procedure or structure-type constant across all instantiations
  reference phase level: 1
  variable module: "/Users/florence/playground/typed-racket/typed-racket-lib/typed-racket/env/env-req.rkt"
  variable phase: 0
  reference in module: (submod "/Applications/Racket/racket/share/pkgs/math-lib/math/private/flonum/flonum-error.rkt" typed-defs)
  in: add-mod!
  context...:
   (submod /Applications/Racket/racket/share/pkgs/math-lib/math/private/flonum/flonum-error.rkt typed-defs): [running expand-time body]
   /Applications/Racket/racket/share/pkgs/math-lib/math/private/flonum/flonum-error.rkt: [traversing imports]
   /Users/florence/playground/typed-racket/typed-racket-lib/typed-racket/tc-setup.rkt:41:0: tc-setup
   /Users/florence/playground/typed-racket/typed-racket-lib/typed-racket/typed-racket.rkt:24:4
   .../more-scheme.rkt:261:28
   standard-module-name-resolver
   .../more-scheme.rkt:261:28
   standard-module-name-resolver
   .../more-scheme.rkt:261:28
   standard-module-name-resolver
   /Users/florence/playground/cover/cover/cover.rkt:90:10: for-loop
   /Users/florence/playground/cover/cover/cover.rkt:101:4
   /Users/florence/playground/cover/cover/private/shared.rkt:34:0: with-intercepted-logging/receiver
   /Users/florence/playground/cover/cover/cover.rkt:73:0: test-files!7
   /Users/florence/playground/cover/cover/raco.rkt:83:4
   /Users/florence/playground/cover/cover/private/shared.rkt:28:0: with-intercepted-logging