From 32816dfca4dd7bd99cb250c6dc1586016a9f8798 Mon Sep 17 00:00:00 2001
From: NinjaLikesCheez <NinjaLikesCheez@users.noreply.github.com>
Date: Mon, 24 Mar 2025 11:18:06 +0100
Subject: [PATCH] Add 'type' advance-debug-var-attr to parser

---
 .../src/scala/ca/ualberta/maple/swan/parser/SIL.scala            | 1 +
 .../src/scala/ca/ualberta/maple/swan/parser/SILParser.scala      | 1 +
 2 files changed, 2 insertions(+)

diff --git a/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SIL.scala b/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SIL.scala
index 646e9ac..02ea5a8 100644
--- a/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SIL.scala
+++ b/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SIL.scala
@@ -451,6 +451,7 @@ object SILDebugAttribute {
   case object let extends SILDebugAttribute
   case object variable extends SILDebugAttribute
   case object _implicit extends SILDebugAttribute
+  case class tpe(tpe: SILType) extends SILDebugAttribute
 }
 
 class SILDebugInfoExpr(val operand: SILDiExprOperand, val otherOperands: Option[ArrayBuffer[SILDiExprOperand]])
diff --git a/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SILParser.scala b/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SILParser.scala
index 2c516b7..d8d125a 100644
--- a/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SILParser.scala
+++ b/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SILParser.scala
@@ -2040,6 +2040,7 @@ class SILParser extends SILPrinter {
     if(skip("let")) return Some(SILDebugAttribute.let)
     if(skip("var")) return Some(SILDebugAttribute.variable)
     if(skip("implicit")) return Some(SILDebugAttribute.variable)
+    if(skip("type")) return Some(SILDebugAttribute.tpe(parseType()))
     this.cursor = c
     None
   }