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

First, the real problem is that `integer-sqrt/remainder` should be
typed; I'll fix that.
Second, you should use `require/typed` in the interim, with that same type:
(require/typed racket [integer-sqrt/remainder (Natural Natural -> Natural)])
On Sun, Aug 5, 2012 at 2:04 PM, Jens Axel Søgaard <jensaxel at soegaard.net> wrote:
>* This program:
*>*
*>* #lang typed/racket
*>* integer-sqrt/remainder
*>*
*>* 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:
*>* integer-sqrt/remainder
*>*
*>* How do I fix this?
*>*
*>*
*>* /Jens Axel
*>* ____________________
*>* Racket Users list:
*>* http://lists.racket-lang.org/users
*
--
sam th
samth at ccs.neu.edu