From 098ffa85cf3fbfa40ad207586442491f86cb46b5 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Fri, 16 Apr 2021 15:13:58 -0400 Subject: [PATCH] fix test in typed/proto.rkt --- racket/typed/proto.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/racket/typed/proto.rkt b/racket/typed/proto.rkt index 18167bc..6154cba 100644 --- a/racket/typed/proto.rkt +++ b/racket/typed/proto.rkt @@ -646,9 +646,9 @@ (check-equal? sn0 (set 'seller)) (check-true (hash-has-key? seller# (set 'seller))) (check-true (hash-has-key? seller# (set 'seller 'fulfill))) - (check-equal? (hash-keys seller#) - (list (set 'seller 'fulfill) - (set 'seller))) + (check-equal? (list->set (hash-keys seller#)) + (set (set 'seller 'fulfill) + (set 'seller))) (define st0 (hash-ref seller# (set 'seller))) (define transitions (state-transitions st0)) (define quote-request