better handling of numbers

git-svn-id: svn://R_E_D_A_C_T_E_D/icfp/hw12@370 b3d0796d-73f4-44f3-a614-c7306c265f62
cbv · Jun 19, 2011 · 5f195af · 5f195af
1 parent 206ecdd
commit 5f195af
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/abstracteval.sml b/abstracteval.sml
@@ -172,10 +172,14 @@ open LTG;
                         | AVSucc =>
                           (case v2 of
                                AVInt n => AVInt (clamp (n + 1))
+                             | AVUnknown (UnknownInt n) => AVUnknown (UnknownInt(clamp (n + 1)))
+                             | AVUnknown u => AVUnknown (UnknownInt 1)
                              | _ => raise AbsEvalError "argument to succ not int")
                         | AVDbl =>
                           (case v2 of
                                (AVInt n) => (AVInt (clamp (n * 2)))
+                             | AVUnknown (UnknownInt n) => AVUnknown (UnknownInt(clamp (n * 2)))
+                             | AVUnknown u => AVUnknown (UnknownInt 0)
                              | _ => raise AbsEvalError "argument to dbl not int")
                         | AVGet => (
                           case v2