Skip to content

Commit

Permalink
More descriptive panic.
Browse files Browse the repository at this point in the history
  • Loading branch information
01mf02 committed Jun 27, 2024
1 parent 3209191 commit b31f89f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion jaq-syn/src/filter.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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()),

Expand Down

0 comments on commit b31f89f

Please sign in to comment.