forked from meta-introspector/nice-parser
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
mike dupont
committed
Jan 12, 2024
1 parent
0b7449c
commit 2334c43
Showing
10 changed files
with
3,618 additions
and
1,201 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,7 @@ | ||
(executable | ||
(public_name gbnf_parser) | ||
(name main) | ||
(libraries gbnf_parser)) | ||
(libraries gbnf_parser) | ||
(preprocess (pps ppx-introspector) ) | ||
) | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,10 +1,12 @@ | ||
(env | ||
(_ | ||
(flags | ||
(:standard -warn-error -9-27-26 -dtypedtree -dparsetree -dlambda -annot -dsource -dump-into-file -drawlambda -dprofile)))) | ||
(:standard -warn-error -9-27-26 -dtypedtree -dparsetree -dlambda -annot -dsource -dump-into-file -drawlambda )))) | ||
|
||
|
||
|
||
(library | ||
(name grammar)) | ||
(name grammar) | ||
(preprocess (pps ppx-introspector) ) | ||
) | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,7 @@ | ||
(lang dune 3.5) | ||
|
||
(name gbnf_parser) | ||
(version 0b7449c-dirty) | ||
(using menhir 2.0) | ||
(generate_opam_files true) | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
open Sexplib.Std | ||
(* open Sexplib.Std *) | ||
|
||
type sexp = | ||
| Atom of string | ||
| List of sexp list | ||
[@@deriving sexp] | ||
(* [@@deriving sexp] *) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.