From 5e5ede87b4ae00544e020f89a3fdffd0fa9367e0 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Fri, 24 Jan 2025 17:59:30 -0500
Subject: [PATCH] core: Add show for ParserError

---
 src/Parser/Interface.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/Parser/Interface.md b/src/Parser/Interface.md
index 32999a6..0867e1c 100644
--- a/src/Parser/Interface.md
+++ b/src/Parser/Interface.md
@@ -25,6 +25,16 @@ record ParseError where
   message : String
 ```
 
+<!-- idris
+export
+Show ParseError where
+  show (MkParseError state message) = 
+    let (line, col) = positionPair state
+        (line, col) = (show line, show col)
+        position = show state.position.index
+    in "Error at line \{line}, column \{col} (\{position}): \{message}"
+-->
+
 ## Type Alias
 
 ```idris