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
