Compare/Print Addresses
1234567891011121314151617181920212223
#include "share/atspre_staload.hats"
extern fun {a:type} gcompare_addr_addr (a, a): int
implement {a} gcompare_addr_addr (x, y) = gcompare_val_val<uint> ($UNSAFE.cast{uint} x, $UNSAFE.cast{uint} y)
extern fun {a:type} show (a): void
implement {a} show (x) = $extfcall (void, "printf", "%p\n", $UNSAFE.cast{uint} x)
implement main0 () = let
val x = "Hello World"
val y = "Hellos World"
val z = "asd"
val _ = show x
val _ = show y
val _ = show z
val _ = println! (gcompare_addr_addr (x, z))
in
end
Ats
INFO