頭の悪いレコード

# type t = { x : t };;
# let rec z = { x = z };;

これを対話環境上で実行すると面白いことに。
ちゃんと打ち切ってくれるのが賢い。