[bitc-dev] Solver specification?

[Jonathan S. Shapiro]

Related to all this, has anybody seen work on what might be termed
"conditionally dependent types"? That is, a system where I can write
something like

  div: x:int y:int -> { x == 0 => Raise DivideByZero; x != 0 => int }


? Is this just match types?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20090112/935d7634/attachment.html