regression/exn2.sml

   1 fun die(): 'a =
   2    let exception Die
   3    in raise Die
   4    end
   5
   6 val _ =
   7    let val _: string = die()
   8       val _: real = die()
   9       val _: bool = die()
  10    in ()
  11    end handle _ => ()