> On Dec 9, 2017, at 1:04 PM, 'John Clements' via users-redirect
> wrote:
>
> TR doesn’t really do exhaustiveness checking, really, … except sorta. I’m
> mostly just writing this to summarize my thinking and to see if there’s
> something obvious I’m missing.
The Utilities section of the TR
TR doesn’t really do exhaustiveness checking, really, … except sorta. I’m
mostly just writing this to summarize my thinking and to see if there’s
something obvious I’m missing.
I spent some time this morning debugging code that looked something like this:
#lang typed/racket
(define-type Format
2 matches
Mail list logo
