Add a prove builtin that allows testing flow typing

For example:

default Order dec

val bit[64] -> unit effect pure test64

val cast forall 'n, 'n = 32 | 'n = 64. bit['n] -> unit effect pure test

function forall 'n. unit test addr =
{
  _prove(constraint('n != 16));
  assert(constraint('n = 64), "64-bit mode");
  _prove(constraint('n = 64));
  test64(addr);
}

This doesn't affect the AST at all as _prove is just a ordinary function
that the typechecker treats specially.

0 files changed, 0 insertions, 0 deletions