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

Method fmt

leanr-syntax/src/parser.rs:24–26  ·  view source on GitHub ↗
(&self, f: &mut fmt::Formatter<'_>)

Source from the content-addressed store, hash-verified

22
23impl fmt::Display for ParseError {
24 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
25 write!(f, "Parse error at {}: {}", self.span, self.message)
26 }
27}
28
29impl std::error::Error for ParseError {}

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected