format

anoma · Sep 8, 2023 · a356226 · a356226
1 parent 61aea52
commit a356226
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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);