Remove unused stuff from Syntaxerr module

Author: cknitt

compiler/ml/syntaxerr.ml

@@ -15,66 +15,6 @@
 
 (* Auxiliary type for reporting syntax errors *)
 
-type error =
-  | Unclosed of Location.t * string * Location.t * string
-  | Expecting of Location.t * string
-  | Not_expecting of Location.t * string
-  | Applicative_path of Location.t
-  | Variable_in_scope of Location.t * string
-  | Other of Location.t
-  | Ill_formed_ast of Location.t * string
-  | Invalid_package_type of Location.t * string
+type error = Variable_in_scope of Location.t * string
 
 exception Error of error
-exception Escape_error
-
-let prepare_error = function
-  | Unclosed (opening_loc, opening, closing_loc, closing) ->
-    Location.errorf ~loc:closing_loc
-      ~sub:
-        [
-          Location.errorf ~loc:opening_loc "This '%s' might be unmatched" opening;
-        ]
-      ~if_highlight:
-        (Printf.sprintf
-           "Syntax error: '%s' expected, the highlighted '%s' might be \
-            unmatched"
-           closing opening)
-      "Syntax error: '%s' expected" closing
-  | Expecting (loc, nonterm) ->
-    Location.errorf ~loc "Syntax error: %s expected." nonterm
-  | Not_expecting (loc, nonterm) ->
-    Location.errorf ~loc "Syntax error: %s not expected." nonterm
-  | Applicative_path loc ->
-    Location.errorf ~loc
-      "Syntax error: applicative paths of the form F(X).t are not supported \
-       when the option -no-app-func is set."
-  | Variable_in_scope (loc, var) ->
-    Location.errorf ~loc
-      "In this scoped type, variable '%s is reserved for the local type %s." var
-      var
-  | Other loc -> Location.errorf ~loc "Syntax error"
-  | Ill_formed_ast (loc, s) ->
-    Location.errorf ~loc "broken invariant in parsetree: %s" s
-  | Invalid_package_type (loc, s) ->
-    Location.errorf ~loc "invalid package type: %s" s
-
-let () =
-  Location.register_error_of_exn (function
-    | Error err -> Some (prepare_error err)
-    | _ -> None)
-
-let report_error ppf err = Location.report_error ppf (prepare_error err)
-
-let location_of_error = function
-  | Unclosed (l, _, _, _)
-  | Applicative_path l
-  | Variable_in_scope (l, _)
-  | Other l
-  | Not_expecting (l, _)
-  | Ill_formed_ast (l, _)
-  | Invalid_package_type (l, _)
-  | Expecting (l, _) ->
-    l
-
-let ill_formed_ast loc s = raise (Error (Ill_formed_ast (loc, s)))

compiler/ml/syntaxerr.mli

@@ -15,23 +15,6 @@
 
 (** Auxiliary type for reporting syntax errors *)
 
-open Format
-
-type error =
-  | Unclosed of Location.t * string * Location.t * string
-  | Expecting of Location.t * string
-  | Not_expecting of Location.t * string
-  | Applicative_path of Location.t
-  | Variable_in_scope of Location.t * string
-  | Other of Location.t
-  | Ill_formed_ast of Location.t * string
-  | Invalid_package_type of Location.t * string
+type error = Variable_in_scope of Location.t * string
 
 exception Error of error
-exception Escape_error
-
-val report_error : formatter -> error -> unit
-(** @deprecated Use {!Location.error_of_exn}, {!Location.report_error}. *)
-
-val location_of_error : error -> Location.t
-val ill_formed_ast : Location.t -> string -> 'a