Those cases all have non-trivial propositions. So this works, for example: (: f : Negative-Integer Integer -> Negative-Integer) (define (f x y) (if (= x y) y -5))
Sam On Sat, Apr 7, 2018 at 3:15 AM, Phil Nguyen <[email protected]> wrote: > The full type of `=` in Typed Racket has lots of cases, whose ranges are all > `Boolean`. Are all cases before the default one `Number Number Number * -> > Boolean` useful in any way, or they were just part of some automatic > generation? It's not obvious to me that the preceding cases are useful, > because they're all more specific in the domain. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
