Skip to content

Commit

Permalink
Merge pull request #1 from craff/opam-publish-pacomb.1.3
Browse files Browse the repository at this point in the history
Package pacomb.1.3
  • Loading branch information
craff authored Jul 28, 2023
2 parents 6b7cb3b + aded494 commit 73a57f7
Showing 1 changed file with 72 additions and 0 deletions.
72 changes: 72 additions & 0 deletions packages/pacomb/pacomb.1.3/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,72 @@
synopsis: "Parsing library based on combinators and ppx extension to write languages"
description:
"""
Pacomb is a parsing library that compiles grammars to combinators prior to
parsing together with a PPX extension to write parsers inside OCaml files.

The advantages of Pacomb are

- Grammars as first class values defined in your OCaml files. This is
an example from the distribution:

(* The three levels of priorities *)
type p = Atom | Prod | Sum
let%parser rec
(* This includes each priority level in the next one *)
expr p = Atom < Prod < Sum
(* all other rule are selected by their priority level *)
; (p=Atom) (x::FLOAT) => x
; (p=Atom) '(' (e::expr Sum) ')' => e
; (p=Prod) (x::expr Prod) '*' (y::expr Atom) => x*.y
; (p=Prod) (x::expr Prod) '/' (y::expr Atom) => x/.y
; (p=Sum ) (x::expr Sum ) '+' (y::expr Prod) => x+.y
; (p=Sum ) (x::expr Sum ) '-' (y::expr Prod) => x-.y

- Good performances:
- on non ambiguous grammars, 2 to 3 time slower compared to ocamlyacc
- on ambiguous grammars O(N^3 ln(N)) can be achieved.

- Parsing from left to right (despite the use of combinators) allowing not
to keep the whole input in memory and allowing to parse streams.

- Dependant sequence allowing for self extensible grammars (like new infix
with a given priority in a given example).

- Managing of blanks that for instance allows for nested language using
different kind of comments or blanks.

- Support for cache and merge for ambiguous grammars (to get O(N^3 ln(N)))

- Enough support for utf8 to write parser for a language using utf8.

- Comes with documentation and various examples illustrating most possibilities.

All this makes Pacomb a promising solution to write languages in OCaml.
"""

opam-version: "2.0"
maintainer: "Christophe Raffalli <[email protected]>"
bug-reports: "https://github.com/craff/pacomb/issues"
homepage: "https://github.com/craff/pacomb"
dev-repo: "git+https://github.com/craff/pacomb.git"
authors: [
"Christophe Raffalli <[email protected]>"
"Rodolphe Lepigre <[email protected]>" ]
license: "MIT"

depends: [
"ocaml" { >= "4.04.1" }
"dune" { >= "1.9.0" }
"ppxlib" { >= "0.10.0" }
"stdlib-shims"
]

build: [ [ "dune" "build" "-p" name "-j" jobs ] ]
run-test: [ [ "dune" "runtest" "-p" name "-j" jobs ] ]
url {
src: "https://github.com/craff/pacomb/archive/refs/tags/1.3.tar.gz"
checksum: [
"md5=e48dc9fae5b96632bd1de929a49af71c"
"sha512=e4bf5dcfb0d4c5225a81fffe8e74cd9c147221eb9c8278b05d22391da0e06c6997e5b9a83a6431d72829f07f402da2449778cfe0bd56e7e2d3c8e08bbc1a73d5"
]
}

0 comments on commit 73a57f7

Please sign in to comment.