I'm not able to replicate that (see transcript below). Is there something else I should be doing?
[samth@huor:~/tmp/MsgPack.rkt (master) plt] git diff diff --git a/unpack.rkt b/unpack.rkt index 30c87a9..3806548 100644 --- a/unpack.rkt +++ b/unpack.rkt @@ -81,7 +81,7 @@ [else (error "Unknown tag " tag-var)])])) (: unpack (-> Input-Port - (U Void Boolean Integer Real String Bytes (Vectorof Packable) (Listof Packable) (HashTable Packable Packable) Ext))) + Packable)) (define (unpack in) (define tag (read-byte in)) (cond [samth@huor:~/tmp/MsgPack.rkt (master) plt] racket -l msgpack/test/pack/map [samth@huor:~/tmp/MsgPack.rkt (master) plt] raco test -l msgpack/test/pack/map raco test: (submod "/home/samth/tmp/MsgPack.rkt/test/pack/map.rkt" test) OK, passed 100 tests. OK, passed 100 tests. 2 tests passed On Mon, Dec 4, 2017 at 6:56 AM, HiPhish <hiph...@openmailbox.org> wrote: > When I change the return type of `unpack` to `Packable` instead of an > explicit union of types the map packing test (`test/pack/map.rkt`) hangs. > https://gitlab.com/HiPhish/MsgPack.rkt/blob/master/unpack.rkt#L83 > https://gitlab.com/HiPhish/MsgPack.rkt/blob/master/test/pack/map.rkt > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.