From 008a217c81e7d22a3cc3d99b1f29aaa26dd52942 Mon Sep 17 00:00:00 2001 From: sezna Date: Wed, 31 Jul 2024 06:30:43 -0700 Subject: [PATCH] fmt --- petr-fmt/src/tests.rs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/petr-fmt/src/tests.rs b/petr-fmt/src/tests.rs index 8ed6f8a..aa591a0 100644 --- a/petr-fmt/src/tests.rs +++ b/petr-fmt/src/tests.rs @@ -636,10 +636,14 @@ fn let_bindings_no_trailing_comma() { #[test] fn sum_ty_formatting() { - check(Default::default(), "fn myFunc(x in 'sum 1 | 2 | 3) returns 'int 5", expect![[r#" + check( + Default::default(), + "fn myFunc(x in 'sum 1 | 2 | 3) returns 'int 5", + expect![[r#" fn myFunc( x ∈ 'Σ 1 | 2 | 3, ) → 'int 5 - "#]]) + "#]], + ) }