Recursive Type SegFault
1234567891011121314151617181920
#include "share/atspre_staload.hats"
abstype point (a:t@ype) = ptr
abstype variable = ptr
abstype structure (a:t@ype) = ptr
typedef descriptor = $tup(int, ref int, ref (structure variable))
// un-comment this line will cause seg-fault, probably due to recursive type.
//assume variable = point (descriptor)
local
fun mk (id:int, rank:int, s:structure variable): descriptor = $tup(id, ref rank, ref s)
in
implement main0 () = print"Hello World!\n"
end
Ats
INFO