2012/8/5 Sam Tobin-Hochstadt <sa...@ccs.neu.edu>:
> First, the real problem is that `integer-sqrt/remainder` should be
> typed; I'll fix that.
Thanks.
> Second, you should use `require/typed` in the interim, with that same type:
>
> (require/typed racket [integer-sqrt/remainder (Natural Natural ->
> Natural)])
This works in my case.
#lang typed/racket
(require/typed typed/racket
[integer-sqrt/remainder (Natural -> (Values Natural Natural))])
integer-sqrt/remainder
/Jens Axel
____________________
Racket Users list:
http://lists.racket-lang.org/users
