Unfortunately that was a simplified example. The in the program I'm writing, the type isn't Number but (All (A B) ((A -> B) -> (A -> B))), which I can't check for with a predicate as far as I know.
On Sun, Jan 26, 2014 at 2:31 PM, Eric Dobson <eric.n.dob...@gmail.com>wrote: > That is definitely a bug, not sure exactly what is going wrong though. > Can you file a bug for this? > > In terms of getting your program to run, if you replace '(not > (parameter? p))' with 'number?' it should work. > > On Sun, Jan 26, 2014 at 10:08 AM, Spencer Florence <spen...@florence.io> > wrote: > > I'm having difficulty getting the following code to type: > > > > #lang typed/racket > > (: test : ((U Number (Parameterof Number)) -> Number)) > > (define (test p) > > (if (not (parameter? p)) > > p > > (p))) > > > > But I get the error: > >> Type Checker: Expected Number, but got (U Complex (Parameterof Number)) > >> in: p > > On the then branch of the if. Is there a way to convince this to type? > > > > --Spencer > > > > ____________________ > > Racket Users list: > > http://lists.racket-lang.org/users > > >
____________________ Racket Users list: http://lists.racket-lang.org/users
