rowandavies/sml-cidre — Issue #7: No error for bad sorts in tuple patterns
Author: robsimmons
Created: 2011-10-22 00:59:48+00:00
State: open

(*[ datasort true = true ]*)

fun f x =
let (*[ val q: true ]*)
val (q, _) = (false, 3)
in q end

Rowan says the problem here is that it doesn't identify that I need to now be checking against `(true * int)`. Ideally it would know to check against `(true * int)`, but it should at least give a warning.