[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