Templates and Closures in ATS
1234567891011121314151617181920212223242526272829
#include "share/atspre_staload.hats"
extern fun {} show (): void
implement {} show () = println! "default"
extern fun {} test ( () -<cloref1> void ): void
implement {} test (fx) = fx ()
implement main0 () = let
val fx = lam () =<cloref1> show<> ()
fun {} fy = lam () => lam () =<cloref1> show<> ()
val _ = test<> (fx)
val _ = fx ()
val _ = test<> (fy())
val _ = fy () ()
implement show<> () = println! "override"
val _ = test<> (fx)
val _ = fx ()
val _ = test<> (fy())
val _ = fy () ()
in
end
Ats
INFO