Usage with nom? #282

MTRNord · 2023-08-03T18:42:01Z

MTRNord
Aug 3, 2023

Hi,

I am loving this output, and I am working a lot lately with the nom parser crate. I was wondering if there is a way to use this with that or with nom-locate (nom-locate provides span information as in the position of parsed values)? Did someone do this before, maybe, and could hint me how they did it?

Answered by zkat

Aug 3, 2023

Hi!

I don't use nom-locate when I use miette, but you can see an example of how you can come up with fairly rich error messages, looking at what kdl-rs does:

This is the entry point for the parser: https://github.com/kdl-org/kdl-rs/blob/main/src/parser.rs#L39-L62
This utility is used to add extra context to specific failures https://github.com/kdl-org/kdl-rs/blob/main/src/parser.rs#L105-L124 (example)
Then split the error between the "main" error with the span and such, and an ErrorKind with details: https://github.com/kdl-org/kdl-rs/blob/main/src/error.rs

View full answer

zkat · 2023-08-03T19:15:34Z

zkat
Aug 3, 2023
Maintainer

Hi!

I don't use nom-locate when I use miette, but you can see an example of how you can come up with fairly rich error messages, looking at what kdl-rs does:

This is the entry point for the parser: https://github.com/kdl-org/kdl-rs/blob/main/src/parser.rs#L39-L62
This utility is used to add extra context to specific failures https://github.com/kdl-org/kdl-rs/blob/main/src/parser.rs#L105-L124 (example)
Then split the error between the "main" error with the span and such, and an ErrorKind with details: https://github.com/kdl-org/kdl-rs/blob/main/src/error.rs

1 reply

MTRNord Aug 4, 2023
Author

Thanks a lot for the links and help! That seems exactly like what I was hoping for :) I will give that a try!

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

Usage with nom? #282

Uh oh!

{{title}}

Uh oh!

Replies: 1 comment 1 reply

Uh oh!

{{title}}

Uh oh!

Uh oh!

{{title}}

Uh oh!

Select a reply

Uh oh!

Uh oh!

Usage with nom? #282

Uh oh!

MTRNord Aug 3, 2023

Replies: 1 comment · 1 reply

Uh oh!

zkat Aug 3, 2023 Maintainer

Uh oh!

MTRNord Aug 4, 2023 Author

MTRNord
Aug 3, 2023

Replies: 1 comment 1 reply

zkat
Aug 3, 2023
Maintainer

MTRNord Aug 4, 2023
Author