From 7d881a32bfee271bc894242939a8c095a721bc74 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 23 Apr 2009 14:57:51 +0000 Subject: [PATCH] svn: r14588 --- collects/redex/private/reduction-semantics.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss index 49610d1d13..7fdb50eb2c 100644 --- a/collects/redex/private/reduction-semantics.ss +++ b/collects/redex/private/reduction-semantics.ss @@ -1843,6 +1843,8 @@ (values (apply-reduction-relation red arg) #f)) (define (test-->>/procs red arg expected apply-red cycles-ok? srcinfo) + (unless (reduction-relation? red) + (error 'test--> "expected a reduction relation as first argument, got ~e" red)) (let-values ([(got got-cycle?) (apply-red red arg)]) (inc-tests)