test/mono/mapping.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

$include <flow.sail>

/* Trivial example with mapping that doesn't really need monomorphised */

enum foo = {A,B}

mapping map_foo : foo <-> bool = {
  A <-> true,
  B <-> false
}

val run : unit -> unit effect {escape}

function run() = {
  assert(map_foo(A))
}