racket / racket/typed-racket

typed/rackunit: cannot define-simple-check

Open
#55 3 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Racket
Stars
575
Forks
106
Avg merge
2h 1m
Merged PRs (30d)
2

Description

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

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Reproduce the typed/racket/base example with require typed/rackunit and define-simple-check. Start by inspecting typed/rackunit and the referenced check.rkt, check-info.rkt, and rackunit/log modules; done means the example no longer produces the reported missing-type errors.

Written by the indexing model from the issue text.

Assessment

Domain
testing
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.