shithub: mc

ref: a13e33b5a6319fb5cc68983b731e6cff821bb458
dir: /test/tyoccur.myr/

View raw version
/* checks that types do not contain themselves
inline, because that would lead to an infinite
sized type.
*/

type t = struct
	memb : t
;;

var v : t