make parser more lenient, add the one simplex example, fix naming for records

1 files changed, 1 insertions, 1 deletions

diff --git a/src/ast.rs b/src/ast.rs
index 24d5b9b..fab1236 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -176,7 +176,7 @@ pub enum Instance {
         field: String,
     },
 
-    #[display("case {} of {{ {} }}", scrutinee, arms.iter().map(|a| a.to_string()).collect::<Vec<_>>().join(" | "))]
+    #[display("case {} of [ {} ]", scrutinee, arms.iter().map(|a| a.to_string()).collect::<Vec<_>>().join(" | "))]
     Case {
         scrutinee: Box<Element>,
         arms: Vec<InstCaseArm>,