[racket] Declaring type of identifier defined which typed/racket exports as untyped.

From: Jens Axel Søgaard (jensaxel at soegaard.net)
Date: Sun Aug 5 14:04:18 EDT 2012

This program:

#lang typed/racket

Gives the error:
Type Checker: untyped identifier integer-sqrt/remainder imported from
module <typed/racket> in: integer-sqrt/remainder

And this program:

#lang typed/racket
(: integer-sqrt/remainder : Natural Natural -> Natural)

 gives this error:

Type Checker: Declaration for integer-sqrt/remainder provided, but
integer-sqrt/remainder is defined in another module in:

How do I fix this?

/Jens Axel

Posted on the users mailing list.