Stack and heap allocation

(Is there a way to ask atscc or atsopt to give us a warning if we use something that should use the GC?)

This page lists common types found in ATS according to whether they are allocated on the stack or heap, or both. Below, T denotes an arbitrary type.

The following types are allocated on the stack: t@ype, ground sorts (int, bool, char, addr, etc.). Any type with sort t@ype.

The following types are allocated on the heap: types, boxed tuples, datatypes, exceptions, lazy types, strings, ref types, any type with sort type.