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 <philnguyen0...@gmail.com> 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 racket-users+unsubscr...@googlegroups.com.
> 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 racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to