MCPcopy Create free account
hub / github.com/agenticsorg/lean-agentic / new

Method new

leanr-syntax/src/parser.rs:18–20  ·  view source on GitHub ↗
(span: Span, message: String)

Source from the content-addressed store, hash-verified

16
17impl ParseError {
18 pub fn new(span: Span, message: String) -> Self {
19 Self { span, message }
20 }
21}
22
23impl fmt::Display for ParseError {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected