summaryrefslogtreecommitdiff
path: root/test/tyoccur.myr
blob: 70d876fa0f462e97e8396ee3f769f51742ab7dd0 (plain)
1
2
3
4
5
6
7
8
9
10
11
use std
/* 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