DataViewType Example

#include "share/atspre_staload.hats"

datavtype record = Record of (int, int)


extern fun show_and_incr (!record): void
implement show_and_incr (record) = let 
    val @Record (x, y) = record
    val _ = println! (x, y)
    val _ = x := x + 1
in 
    fold@ record
end


implement main0 () = let 
    val record = Record (0, 0)
    val _ = show_and_incr record
    val _ = show_and_incr record
in 
    case+ record of 
    | ~Record (x, y) => println! "freed"
end