search

racket / typed-racket

Typed Racket
Other
521 stars 104 forks source link

typed/rackunit: cannot define-simple-check #55

Open bennn opened 9 years ago

bennn commented 9 years ago

This innocent-looking program triggers 53 type errors.

#lang typed/racket/base

(require typed/rackunit)

(define-simple-check (check-foo? a b)
  #t)

Here they are. . .

define-simple-check.rkt:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: current-check-around
  from module: check.rkt
  in: #%module-begin
  context...:
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-with-check-info*
  from module: check-info.rkt
  in: provide/contract-id-with-check-info*
  context...:
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-name
  from module: check-info.rkt
  in: provide/contract-id-make-check-name
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-location
  from module: check-info.rkt
  in: provide/contract-id-make-check-location
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-expression
  from module: check-info.rkt
  in: provide/contract-id-make-check-expression
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-params
  from module: check-info.rkt
  in: provide/contract-id-make-check-params
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-message
  from module: check-info.rkt
  in: provide/contract-id-make-check-message
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-test-log!
  from module: rackunit/log
  in: provide/contract-id-test-log!
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: current-check-around
  from module: check.rkt
  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-with-check-info*
  from module: check-info.rkt
  in: provide/contract-id-with-check-info*
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-name
  from module: check-info.rkt
  in: provide/contract-id-make-check-name
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-location
  from module: check-info.rkt
  in: provide/contract-id-make-check-location
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-expression
  from module: check-info.rkt
  in: provide/contract-id-make-check-expression
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-params
  from module: check-info.rkt
  in: provide/contract-id-make-check-params
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-message
  from module: check-info.rkt
  in: provide/contract-id-make-check-message
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-test-log!
  from module: rackunit/log
  in: provide/contract-id-test-log!
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: current-check-around
  from module: check.rkt
  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-with-check-info*
  from module: check-info.rkt
  in: provide/contract-id-with-check-info*
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-name
  from module: check-info.rkt
  in: provide/contract-id-make-check-name
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-location
  from module: check-info.rkt
  in: provide/contract-id-make-check-location
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-expression
  from module: check-info.rkt
  in: provide/contract-id-make-check-expression
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-params
  from module: check-info.rkt
  in: provide/contract-id-make-check-params
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-message
  from module: check-info.rkt
  in: provide/contract-id-make-check-message
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-test-log!
  from module: rackunit/log
  in: provide/contract-id-test-log!
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: current-check-around
  from module: check.rkt
  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-with-check-info*
  from module: check-info.rkt
  in: provide/contract-id-with-check-info*
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-name
  from module: check-info.rkt
  in: provide/contract-id-make-check-name
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-location
  from module: check-info.rkt
  in: provide/contract-id-make-check-location
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-expression
  from module: check-info.rkt
  in: provide/contract-id-make-check-expression
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-params
  from module: check-info.rkt
  in: provide/contract-id-make-check-params
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-message
  from module: check-info.rkt
  in: provide/contract-id-make-check-message
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-test-log!
  from module: rackunit/log
  in: provide/contract-id-test-log!
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: current-check-around
  from module: check.rkt
  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-with-check-info*
  from module: check-info.rkt
  in: provide/contract-id-with-check-info*
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-name
  from module: check-info.rkt
  in: provide/contract-id-make-check-name
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-location
  from module: check-info.rkt
  in: provide/contract-id-make-check-location
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-expression
  from module: check-info.rkt
  in: provide/contract-id-make-check-expression
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-params
  from module: check-info.rkt
  in: provide/contract-id-make-check-params
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-message
  from module: check-info.rkt
  in: provide/contract-id-make-check-message
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-test-log!
  from module: rackunit/log
  in: provide/contract-id-test-log!
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: current-check-around
  from module: check.rkt
  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-with-check-info*
  from module: check-info.rkt
  in: provide/contract-id-with-check-info*
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-name
  from module: check-info.rkt
  in: provide/contract-id-make-check-name
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-location
  from module: check-info.rkt
  in: provide/contract-id-make-check-location
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-expression
  from module: check-info.rkt
  in: provide/contract-id-make-check-expression
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-make-check-params
  from module: check-info.rkt
  in: provide/contract-id-make-check-params
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-test-log!
  from module: rackunit/log
  in: provide/contract-id-test-log!
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: Polymorphic function `car' could not be applied to arguments:
Domains: (Listof a)
         (Pairof a b)
Arguments: Any

  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: Polymorphic function `cdr' could not be applied to arguments:
Domains: (Listof a)
         (Pairof a b)
Arguments: Any

  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: Polymorphic function `car' could not be applied to arguments:
Domains: (Listof a)
         (Pairof a b)
Arguments: Any

  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: No function domains matched in function application:
Domains: Any Any Any Any Any Any False False
         Any Any Any Any Any Any Any True
         Any Any False False Any Any Any Any
         Any Any Any True Any Any Any Any
         False False Any Any Any Any Any Any
         Any True Any Any Any Any Any Any
Arguments: Void False Void False Any Any Any Any

  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: make-optional-keyword-procedure
  from module: kw.rkt
  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
define-simple-check.rkt:1:0: Type Checker: type mismatch
  expected: Real
  given: Any
  in: #%module-begin
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:132:12: for-loop
   f44
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
Type Checker: Summary: 53 errors encountered
  context...:
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:285:0: type-check
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:506:0: tc-module
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:39:0: tc-setup
   /home/ben/code/racket/fork/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:18:4
lexi-lambda commented 9 years ago

That's funny, but unsurprising. define-simple-check is a macro that uses untyped identifiers, and typed/rackunit doesn't handle it in any special way.

nxg commented 3 years ago

I've just run into this as well.

While it may or may not be unsurprising, it's still a blocker to using useful rackunit functionality in the context of Typed Racket.

So +1 to the original report.

nxg commented 3 years ago

I'll also mention that with-check-info isn't defined (another macro), and that this can't be worked around with with-check-info* because make-check-info appears not to be exported from typed/rackunit (though it is exported from rackunit).

The constructor check-info is exported, so this can be made to work, but it's make-check-info that appears in the example in the documentation