From f24f8c87d8bc8b70cfb3246519d911b0934bf5da Mon Sep 17 00:00:00 2001
From: Barf-Vader <47476490+Barf-Vader@users.noreply.github.com>
Date: Thu, 6 Feb 2025 23:08:34 +0000
Subject: [PATCH] fix: added explanation for nested pair error, added more
 errors

---
 src/main/wacc/parser.scala | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/main/wacc/parser.scala b/src/main/wacc/parser.scala
index 5751732..247ae31 100644
--- a/src/main/wacc/parser.scala
+++ b/src/main/wacc/parser.scala
@@ -110,8 +110,9 @@ object parser {
   private lazy val `<pair-elem-type>` =
     (`<base-type>` <**> (`<array-type>` </> identity)) |
       ((UntypedPairType from `<pair-type>`) <**>
-        ((`<pair-elems-type>` <**> `<array-type>`)
-          .map(arr => (_: UntypedPairType) => arr) </> identity))
+        ((`<pair-elems-type>` <**> `<array-type>`.explain(
+          "non-erased pair types cannot be nested"
+        )).map(arr => (_: UntypedPairType) => arr) </> identity))
 
   // Statements
   private lazy val `<program>` = Program(