From 01ed046b4ac3e245f705d0606103fd0ceecb3817 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Thu, 3 Jul 2014 12:29:40 -0700 Subject: [PATCH] typed: .97 basically breaks typed. Check that the new behavior is enforced. --- basis/typed/typed-tests.factor | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/basis/typed/typed-tests.factor b/basis/typed/typed-tests.factor index 433ac3b5bf..2c255e388c 100644 --- a/basis/typed/typed-tests.factor +++ b/basis/typed/typed-tests.factor @@ -13,8 +13,12 @@ TYPED: f+ ( a: float b: float -- c: float ) TYPED: fix+ ( a: fixnum b: fixnum -- c: fixnum ) + ; -most-positive-fixnum neg 1 - 1quotation -[ most-positive-fixnum 1 fix+ ] unit-test +! XXX: As of .97, we don't require that the output is a fixnum. +! most-positive-fixnum neg 1 - 1quotation +! [ most-positive-fixnum 1 fix+ ] unit-test + +! XXX: Check that we throw an error. This used to underflow to the least-positive-fixnum. +[ most-positive-fixnum 1 fix+ ] [ { "kernel-error" 7 } head? ] must-fail-with TUPLE: tweedle-dee ; final TUPLE: tweedle-dum ; final