Test failures with latest Typed Racket #14

New Issue

2021-11-03T20:14:58Z

samth commented

2021-11-03 20:14:58 +00:00

(Migrated from github.com)

Typed Racket's repl type printing changed recently, leading to test failures like this: https://plt.cs.northwestern.edu/pkg-build/server/built/test-fail/repltest.txt

meta.rkt: racket test: non-empty stderr: #"--------------------\nFAILURE\nname:       check-equal?\nlocation:\n  /home/root/user/.local/share/racket/snapshot/pkgs/repltest/private/run-interactions.rkt:43:10\nactual:\n  \"- : (values Integer (List Positive-Byte Any)) [more precisely: (Values Zero (List Positive-Byte Any))]\\n0\\n'(3 2)\\n\"\nexpected:\n  \"- : (values Integer (Listof Any)) [more precisely: (Values Zero (List Positive-Byte Any))]\\n0\\n'(3 2)\\n\"\n--------------------\n--------------------\nFAILURE\nname:       check-equal?\nlocation:\n  /home/root/user/.local/share/racket/snapshot/pkgs/repltest/private/run-interactions.rkt:43:10\nactual:     \"- : (Pairof Positive-Index (Listof Positive-Index))\\n'(2 3 4 5)\\n\"\nexpected:\n  \"- : (Listof Positive-Index) [more precisely: (Pairof Positive-Index (Listof Positive-Index))]\\n'(2 3 4 5)\\n\"\n--------------------\n"

Typed Racket's repl type printing changed recently, leading to test failures like this: https://plt.cs.northwestern.edu/pkg-build/server/built/test-fail/repltest.txt ``` meta.rkt: racket test: non-empty stderr: #"--------------------\nFAILURE\nname: check-equal?\nlocation:\n /home/root/user/.local/share/racket/snapshot/pkgs/repltest/private/run-interactions.rkt:43:10\nactual:\n \"- : (values Integer (List Positive-Byte Any)) [more precisely: (Values Zero (List Positive-Byte Any))]\\n0\\n'(3 2)\\n\"\nexpected:\n \"- : (values Integer (Listof Any)) [more precisely: (Values Zero (List Positive-Byte Any))]\\n0\\n'(3 2)\\n\"\n--------------------\n--------------------\nFAILURE\nname: check-equal?\nlocation:\n /home/root/user/.local/share/racket/snapshot/pkgs/repltest/private/run-interactions.rkt:43:10\nactual: \"- : (Pairof Positive-Index (Listof Positive-Index))\\n'(2 3 4 5)\\n\"\nexpected:\n \"- : (Listof Positive-Index) [more precisely: (Pairof Positive-Index (Listof Positive-Index))]\\n'(2 3 4 5)\\n\"\n--------------------\n" ```

Sign in to join this conversation.