From e03d1e9747700ff20eb18c816ec45995024d21ee Mon Sep 17 00:00:00 2001 From: drew Date: Sun, 26 Nov 2023 20:24:07 -0600 Subject: [PATCH] Simplify Util.Parser.Syntax module --- lib/util/parser.ml | 6 +----- lib/year2023/dune | 3 ++- 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/lib/util/parser.ml b/lib/util/parser.ml index 2127517..286a504 100644 --- 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 index f6e5fe2..0a1d141 100644 --- a/lib/year2023/dune +++ b/lib/year2023/dune @@ -5,7 +5,8 @@ core ppx_jane re - util) + util + zarith) (preprocess (pps ppx_jane))