Move Sexp to stdune

In the process, change all the Loc.fail's to Of_sexp exceptions

src/binary_kind.ml

@@ -1,3 +1,5 @@
+open Stdune
+
 type t =
   | Exe
   | Object

src/binary_kind.mli

@@ -1,5 +1,7 @@
 (** Linking modes for binaries *)
 
+open Stdune
+
 type t =
   | Exe
   | Object

src/install.mli

@@ -1,5 +1,7 @@
 (** Opam install file *)
 
+open Stdune
+
 module Section : sig
   type t =
     | Lib

src/installed_dune_file.mli

@@ -1,4 +1,6 @@
 (** Dune files that are installed on the system *)
 
+open Stdune
+
 val load : fname:string -> Jbuild.Sub_system_info.t Sub_system_name.Map.t
 val gen : (Syntax.Version.t * Sexp.t) Sub_system_name.Map.t -> Sexp.t

src/stdune/sexp.ml

@@ -1,7 +1,4 @@
-open Stdune
+include Usexp
-
-include (Usexp : module type of struct include Usexp end
-         with module Loc := Usexp.Loc)
 
 let buf_len = 65_536
 
@@ -137,6 +134,9 @@ module Of_sexp = struct
   let of_sexp_error ?hint sexp str = raise (Of_sexp (Ast.loc sexp, str, hint))
   let of_sexp_errorf ?hint sexp fmt = Printf.ksprintf (of_sexp_error ?hint sexp) fmt
 
+  let of_sexp_errorf_loc loc fmt =
+    Printf.ksprintf (fun s -> raise (Of_sexp (loc, s, None))) fmt
+
   let raw x = x
 
   let unit = function
@@ -262,14 +262,15 @@ module Of_sexp = struct
         match
           Name_map.values parsed
           |> List.map ~f:(fun f -> Ast.loc f.entry)
-          |> List.sort ~compare:(fun a b -> compare a.Loc.start.pos_cnum b.start.pos_cnum)
+          |> List.sort ~compare:(fun a b ->
+            Int.compare a.Loc.start.pos_cnum b.start.pos_cnum)
         with
         | [] -> state.loc
         | first :: l ->
           let last = List.fold_left l ~init:first ~f:(fun _ x -> x) in
           { first with stop = last.stop }
       in
-      Loc.fail loc "%s" msg
+      of_sexp_errorf_loc loc "%s" msg
 
   module Short_syntax = struct
     type 'a t =
@@ -279,8 +280,7 @@ module Of_sexp = struct
 
     let parse t entry name =
       match t with
-      | Not_allowed ->
+      | Not_allowed -> of_sexp_errorf entry "field %s needs a value" name
-        Loc.fail (Ast.loc entry) "field %s needs a value" name
       | This    x -> x
       | Located f -> f (Ast.loc entry)
   end
@@ -297,7 +297,7 @@ module Of_sexp = struct
       match default with
       | Some v -> (v, add_known name state)
       | None ->
-        Loc.fail state.loc "field %s missing" name
+        of_sexp_errorf_loc state.loc "field %s missing" name
 
   let field_o name ?(short=Short_syntax.Not_allowed) value_of_sexp state =
     match Name_map.find state.unparsed name with

src/stdune/sexp.mli

@@ -1,5 +1,3 @@
-open Stdune
-
 include module type of struct include Usexp end with module Loc := Usexp.Loc
 
 val load : fname:string -> mode:'a Parser.Mode.t -> 'a
@@ -59,6 +57,8 @@ module To_sexp : sig
   val record_fields : field list t
 end with type sexp := t
 
+module Loc = Usexp.Loc
+
 module Of_sexp : sig
   type ast = Ast.t =
     | Atom of Loc.t * Atom.t

src/stdune/stdune.ml

@@ -18,6 +18,7 @@ module Set        = Set
 module Staged     = Staged
 module String     = String
 module Char       = Char
+module Sexp       = Sexp
 
 external reraise : exn -> _ = "%reraise"
 

src/syntax.mli

@@ -1,3 +1,4 @@
+open Stdune
 (** Versioned syntaxes *)
 
 module Version : sig