From f0267dfb72971a074180b351c927573008c54b06 Mon Sep 17 00:00:00 2001 From: Akshay Date: Sun, 8 Jan 2023 15:54:16 +0530 Subject: [PATCH] handle duplicate args error --- lib/src/lib.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/src/lib.rs b/lib/src/lib.rs index 8c05706..6f24aa2 100644 --- a/lib/src/lib.rs +++ b/lib/src/lib.rs @@ -108,6 +108,7 @@ impl Report { ParseError::UnexpectedEOF | ParseError::UnexpectedEOFWanted(_) => { TextRange::empty(0u32.into()) } + ParseError::DuplicatedArgs(at, _) => at, _ => panic!("report a bug, pepper forgot to handle a parse error"), }; let mut message = err.to_string();