Set -e

This adds the errexit option for the set built-in, although it does not
do an awful lot with it.

Additionally, this also allows Morbig to recognise empty assignments
like `FOO=`.

src/lib/built_ins.ml

···
   type t = {
     noclobber : bool;
     pipefail : bool;
+    errexit : bool;
     no_path_expansion : bool;
     no_unset : bool;
     async : bool;
···
     {
       noclobber = false;
       pipefail = false;
+      errexit = false;
       no_path_expansion = false;
       no_unset = false;
       async = false;
     }
 
-  let with_options ?noclobber ?pipefail ?async ?no_path_expansion ?no_unset t =
+  let with_options ?noclobber ?pipefail ?errexit ?async ?no_path_expansion
+      ?no_unset t =
     {
       noclobber = Option.value ~default:t.noclobber noclobber;
       pipefail = Option.value ~default:t.pipefail pipefail;
+      errexit = Option.value ~default:t.errexit errexit;
       async = Option.value ~default:t.async async;
       no_path_expansion =
         Option.value ~default:t.no_path_expansion no_path_expansion;
       no_unset = Option.value ~default:t.no_unset no_unset;
     }
 
-  type posix = [ `Noclobber | `Pipefail | `Noglob | `Nounset ]
+  type posix = [ `Noclobber | `Pipefail | `Noglob | `Nounset | `Errexit ]
   type merry = [ `Async ]
   type option = [ posix | merry ]
 
···
         | `Pipefail -> with_options ~pipefail:true d
         | `Noclobber -> with_options ~noclobber:true d
         | `Noglob -> with_options ~no_path_expansion:true d
+        | `Errexit -> with_options ~errexit:true d
         | `Nounset -> with_options ~no_unset:true d
         | `Async -> with_options ~async:true d)
       t options
···
       Fmt.pf ppf "%-12s %s@." name (if value then "on" else "off")
     in
     let opts =
-      let { noclobber; pipefail; async; no_path_expansion; no_unset } = opt in
+      let { noclobber; pipefail; async; no_path_expansion; no_unset; errexit } =
+        opt
+      in
       [
         ("pipefail", pipefail);
+        ("errexit", errexit);
         ("noclobber", noclobber);
         ("noglob", no_path_expansion);
         ("nounset", no_unset);
···
     [
       ("pipefail", `Pipefail);
       ("noclobber", `Noclobber);
+      ("errexit", `Errexit);
       ("noglob", `Noglob);
       ("nounset", `Nounset);
       ("async", `Async);
···
   let option =
     let doc = "Options." in
     Arg.(value & opt_all (enum enum_map) [] & info [ "o" ] ~docv:"OPTION" ~doc)
+
+  let errexit =
+    let doc = "Exit on error, like -o errexit." in
+    Arg.(value & flag & info [ "e" ] ~docv:"ERREXIT" ~doc)
 
   let noclobber =
     let doc = "No clobber, like -o noclobber." in
···
     Arg.(value & flag & info [ "u" ] ~docv:"NOUNSET" ~doc)
 
   let t =
-    let make_set update noglob noclobber nounset =
+    let make_set update noglob noclobber nounset errexit =
       let extra = if noglob then [ `Noglob ] else [] in
       let extra = if noclobber then `Noclobber :: extra else extra in
       let extra = if nounset then `Nounset :: extra else extra in
+      let extra = if errexit then `Errexit :: extra else extra in
       let update = extra @ update in
       Set { update; print_options = false }
     in
-    let term = Term.(const make_set $ option $ noglob $ noclobber $ nounset) in
+    let term =
+      Term.(const make_set $ option $ noglob $ noclobber $ nounset $ errexit)
+    in
     let info =
       let doc = "Set or unset options and positional parameters." in
       Cmd.info "set" ~doc

src/lib/built_ins.mli

···
   type t = {
     noclobber : bool;
     pipefail : bool;
+    errexit : bool;
     no_path_expansion : bool;
     no_unset : bool;
     async : bool;
···
 
   val to_letters : t -> string
 
-  type posix = [ `Noclobber | `Pipefail | `Noglob | `Nounset ]
+  type posix = [ `Noclobber | `Pipefail | `Noglob | `Nounset | `Errexit ]
   type merry = [ `Async ]
   type option = [ posix | merry ]
 
···
   val with_options :
     ?noclobber:bool ->
     ?pipefail:bool ->
+    ?errexit:bool ->
     ?async:bool ->
     ?no_path_expansion:bool ->
     ?no_unset:bool ->

test/simple.t

···
   msh: cannot overwrite existing file
   world
 
+Also errexit examples from the specification.
+
+  $ sh -c "set -e; (false; echo one) | cat; echo two"
+  two
+  $ msh -c "set -e; (false; echo one) | cat; echo two"
+  two
+  $ sh -c "set -e; echo $(false; echo one) two"
+  one two
+  $ msh -c "set -e; echo $(false; echo one) two"
+  one two
+
 2.7 Sequences
 
 A simple, semicolon sequence.

vendor/morbig.0.11.0/src/prelexerState.ml

···
 
 and quote_kind = SingleQuote | DoubleQuote | OpeningBrace
 
+let pp_atom ppf = function
+  | AssignmentMark -> Format.fprintf ppf "|=|"
+  | ArithmeticMark -> Format.fprintf ppf "|+|"
+  | QuotingMark _ -> Format.fprintf ppf "\""
+  | WordComponent (c, _) -> Format.fprintf ppf "%s" c 
+
 module AtomBuffer : sig
   type t
   val get : t -> atom list
···
 
 let recognize_assignment current =
   let rhs, prefix = take_until is_assignment_mark (buffer current) in
-  if prefix = buffer current then (
+  let is_empty_assignment = 
+    match rhs, prefix with
+    | [], AssignmentMark :: _ -> true
+    | _ -> false
+  in
+  if prefix = buffer current && not is_empty_assignment then (
     current
   ) else
     let buffer = AtomBuffer.make (rhs @ List.tl prefix) in