From 6a0dc611020dff110172d71dc6630e6fd0d72097 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Thu, 30 Mar 2017 19:33:02 -0400 Subject: [PATCH] fix metafunction tests (#524) --- typed-racket-test/unit-tests/metafunction-tests.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/typed-racket-test/unit-tests/metafunction-tests.rkt b/typed-racket-test/unit-tests/metafunction-tests.rkt index b58680bf..b7c0d89e 100644 --- a/typed-racket-test/unit-tests/metafunction-tests.rkt +++ b/typed-racket-test/unit-tests/metafunction-tests.rkt @@ -204,16 +204,16 @@ (ret (-> Univ Univ : -tt-propset : (make-Path null '(1 . 0))))) (check-equal? (replace-names (list #'x) (list (make-Path null '(0 . 0))) - (ret (-refine y -Int (-leq (-lexp y) (-lexp #'x))) + (ret (-refine/fresh y -Int (-leq (-lexp y) (-lexp #'x))) -tt-propset (make-Path null #'x))) - (ret (-refine y -Int (-leq (-lexp y) (-lexp (make-Path null '(1 . 0))))) + (ret (-refine/fresh y -Int (-leq (-lexp y) (-lexp (make-Path null '(1 . 0))))) -tt-propset (make-Path null '(0 . 0)))) (check-equal? (replace-names (list #'x) (list -empty-obj) - (ret (-refine y -Int (-leq (-lexp y) (-lexp #'x))) + (ret (-refine/fresh y -Int (-leq (-lexp y) (-lexp #'x))) -tt-propset (make-Path null #'x))) (ret -Int