regression/fail/rank.sml

   1 local
   2 val f = let val f = (fn x => x) (fn x => x)
   3         in f
   4         end
   5
   6 datatype t = A
   7
   8 val g = fn x => let val d = #1 x
   9                     val k = #2 x
  10                     val s = f (d,k)
  11                     val _ = if true then (d,k) else x
  12                 in s
  13                 end
  14 in
  15 val a : t * t = g (A,A)
  16 end