[racket] Typed racket and apply

From: Manfred Lotz (manfred.lotz at arcor.de)
Date: Fri Jun 27 13:52:49 EDT 2014

I have this:

(define (exit-with-error-msg . e)
    (apply eprintf e)
    (exit 1))


When using it with typed racket I get:

test.rkt:127:4: Type Checker: Bad arguments to function in apply:
Domain: String Any *
Arguments: (Listof Any) *

  in: (apply eprintf e)
  context...:
   /home/manfred/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:249:0:
  type-check /home/manfred/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:40:0:
  tc-setup /home/manfred/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:25:4
   standard-module-name-resolver

I have to admit it is not clear to me how I would specify a type for
exit-with-error-msg.

Any idea?

-- 
Manfred



Posted on the users mailing list.