Simplify Util.Parser.Syntax module

drewolson · Nov 27, 2023 · e03d1e9 · e03d1e9
1 parent 4ed08e6
commit e03d1e9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/lib/util/parser.ml b/lib/util/parser.ml
@@ -1,11 +1,7 @@
 include Angstrom
 
 module Syntax = struct
- module Let_syntax = Angstrom.Let_syntax.Let_syntax
-
- let ( let+ ) = ( let+ )
- let ( and+ ) = ( and+ )
- let ( let* ) = ( let* )
+ include Angstrom.Let_syntax
 
  let ( >>| ), ( *> ), ( <* ), ( <|> ), ( <$> ) =
  ( >>| ), ( *> ), ( <* ), ( <|> ), ( <$> )

diff --git a/lib/year2023/dune b/lib/year2023/dune
@@ -5,7 +5,8 @@
  core
  ppx_jane
  re
- util)
+ util
+ zarith)
  (preprocess
  (pps
  ppx_jane))