From 0f14aa67e5446391904c6a4d2ee7b4f00b803158 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 3 Dec 2011 09:44:07 -0500 Subject: Catching integer divisions by zero --- tests/div.ur | 43 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 tests/div.ur (limited to 'tests/div.ur') diff --git a/tests/div.ur b/tests/div.ur new file mode 100644 index 00000000..69a09275 --- /dev/null +++ b/tests/div.ur @@ -0,0 +1,43 @@ +functor Make(M : sig + type t + val read_t : read t + val show_t : show t + val num_t : num t + end) = struct + fun calculate (n1, n2) = return + {[readError n1 / readError n2 : M.t]}
+ {[readError n1 % readError n2 : M.t]}
+ + + fun main () = + s1 <- source ""; + s2 <- source ""; + s3 <- source ""; + s4 <- source ""; + return +

Client-side

+ + / +