regression/nonterminate/8.sml

   1 datatype t = T of t
   2
   3 datatype u = A of int | B of t * int
   4
   5 fun f () = T (f ())
   6
   7 val _ =
   8    case if 0 = 0 then B (f (), 13) else A 13 of
   9       B (_, n) => n + 1