schlenkr / theblunt

A one-file recursive descent parser combinator for F# and Fable.

A a one-file recursive descent parser combinator library for F# and Fable.

Some Facts and Infos:

• It's just another recursive descent parser combinator library
• Focus on parsing string documents
• The original ranges that lead to a parse result are retained
• For sure not made for everything, but may work well for small to medium stuff
• Performance
  • Making use of Spans
  • Making use of InlineIfLambda
  • No benchmarks available (yet)
• You can use the CE syntax for many parsers
• No dependencies
• State: Far from complete. It's a "works for me" implementation used in Trulla Templates
• Examples
  • Have look at Trulla Templates Parser
  • Have a look at the Tests

theblunt's Issues

Last string not added by psepBy1

Hey there, I gave this library a spin and it is very cool!

I was wondering how to implement a psepBy that includes the string after the last separator.
You can see a gist of what I've done here which is a port of a FParsec version I have here

Given the following string "templates"

let tpl = "/segment1/segment2/segment3/"
let tpl2 = "segment1/segment2/segment3"

The gist gives me the following output

// [Plain "segment1"; Plain "segment2"; Plain "segment3"; Plain ""]
// [Plain "segment1"; Plain "segment2"; Plain ""]
// Press any key to continue . . . 

I'm currently using sepBy1 and I'm not sure if this is intended or is a limitation, I'd expect in the second template to also include the segment3 string in the end.

Is this something that can be done with psepBy1 or any other existing parser right now as I'm not very familiar with parsing stuff at all 😆

EDIT: A simpler example would be this

let separator = pstr "/"

match run "/segment1/segment2/segment3/" (psepBy1 separator (pstringUntil separator)) with
| POk { range = range; result = result } ->
    printfn "%A" (result |> List.map _.result)
    // [""; "segment1"; "segment2"; "segment3"]
| PError err -> eprintfn "%s" err.message

match run "/segment1/segment2/segment3" (psepBy1 separator (pstringUntil separator)) with
| POk { range = range; result = result } ->
    printfn "%A" (result |> List.map _.result)
    // [""; "segment1"; "segment2"]
| PError err -> eprintfn "%s" err.message