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.