diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix index 04dbf87175..bbb53e010d 100644 --- a/tests/positive/Format.juvix +++ b/tests/positive/Format.juvix @@ -240,8 +240,7 @@ module Traits; import Stdlib.Prelude open hiding {Show; mkShow; show}; trait - type Show A := - | mkShow {show : A → String}; + type Show A := mkShow {show : A → String}; instance showStringI : Show String := mkShow (show := id);