DataViewType Example
123456789101112131415161718192021222324
#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
Ats
INFO