alms-0.4.9: examples/ex12-affine-type-error.alms

(* Can't duplicate affine abstract type (type error) *)

abstype t qualifier A = B with end

let dup (x: t) = (x, x)