From b31f89f4a5ec5423997ad2c90808c1cd05475722 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20F=C3=A4rber?= <01mf02@gmail.com> Date: Thu, 27 Jun 2024 17:29:50 +0200 Subject: [PATCH] More descriptive panic. --- jaq-syn/src/filter.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jaq-syn/src/filter.rs b/jaq-syn/src/filter.rs index fbd48ff75..f9695cfb5 100644 --- a/jaq-syn/src/filter.rs +++ b/jaq-syn/src/filter.rs @@ -245,7 +245,7 @@ impl From<&parse::Term<&str>> for Filter { else_.as_deref().map(span), ), - Def(defs, tm) => panic!(), + Def(defs, tm) => unimplemented!("definitions inside terms are not supported yet"), Call(c, args) => Self::Call(c.to_string(), args.iter().map(|a| *span(a)).collect()), Var(v) => Self::Var(v.to_string()),