From cf3180996af3e623d6c7b0eb36e6bf24ebac0f4f Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Thu, 8 Aug 2024 13:00:11 -0400
Subject: [PATCH] fix: map fallback name if present to else

---
 .../src/parser/definition/snapshots/fallback.snap      |  2 +-
 crates/aiken-lang/src/parser/definition/validator.rs   | 10 +++++++++-
 crates/aiken-lang/src/parser/utils.rs                  |  2 +-
 3 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/crates/aiken-lang/src/parser/definition/snapshots/fallback.snap b/crates/aiken-lang/src/parser/definition/snapshots/fallback.snap
index ba40d3b7..767b9e8a 100644
--- a/crates/aiken-lang/src/parser/definition/snapshots/fallback.snap
+++ b/crates/aiken-lang/src/parser/definition/snapshots/fallback.snap
@@ -129,7 +129,7 @@ Validator(
             },
             doc: None,
             location: 103..106,
-            name: "temp",
+            name: "else",
             public: true,
             return_annotation: None,
             return_type: (),
diff --git a/crates/aiken-lang/src/parser/definition/validator.rs b/crates/aiken-lang/src/parser/definition/validator.rs
index d2a951b5..ea089369 100644
--- a/crates/aiken-lang/src/parser/definition/validator.rs
+++ b/crates/aiken-lang/src/parser/definition/validator.rs
@@ -29,7 +29,15 @@ pub fn parser() -> impl Parser<Token, ast::UntypedDefinition, Error = ParseError
                     function
                 })
                 .repeated()
-                .then(just(Token::Else).ignore_then(args_and_body()).or_not())
+                .then(
+                    just(Token::Else)
+                        .ignore_then(args_and_body().map(|mut function| {
+                            function.name = "else".to_string();
+
+                            function
+                        }))
+                        .or_not(),
+                )
                 .delimited_by(just(Token::LeftBrace), just(Token::RightBrace)),
         )
         .map_with_span(
diff --git a/crates/aiken-lang/src/parser/utils.rs b/crates/aiken-lang/src/parser/utils.rs
index 49016fd3..7849e651 100644
--- a/crates/aiken-lang/src/parser/utils.rs
+++ b/crates/aiken-lang/src/parser/utils.rs
@@ -175,6 +175,6 @@ macro_rules! assert_format {
         let (module2, extra2) = $crate::parser::module(&out, $crate::ast::ModuleKind::Lib).unwrap();
         let mut out2 = String::new();
         $crate::format::pretty(&mut out2, module2, extra2, &out);
-        assert_eq!(out, out2, "formatting isn't idempotent");
+        pretty_assertions::assert_eq!(out, out2, "formatting isn't idempotent");
     };
 }