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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun Aug 5 14:15:27 EDT 2012

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


Posted on the users mailing list.