Revision 6489adef7972273936a558ec2d751017fc85db29 authored by Pierre-Yves Strub on 25 October 2019, 06:45:59 UTC, committed by Pierre-Yves Strub on 25 October 2019, 06:46:13 UTC
- do not fail when an .eco file is invalid - fix the reading of the `version' flag - erase staled .eco file - do not accept to compile files not handing with .ec or .eca - API: .mli file for EcEco [fix #17398]
1 parent 10b2ab0
ecLocation.mli
(* --------------------------------------------------------------------
* Copyright (c) - 2012--2016 - IMDEA Software Institute
* Copyright (c) - 2012--2018 - Inria
* Copyright (c) - 2012--2018 - Ecole Polytechnique
*
* Distributed under the terms of the CeCILL-C-V1 license
* -------------------------------------------------------------------- *)
(* -------------------------------------------------------------------- *)
open EcUtils
open Lexing
(* -------------------------------------------------------------------- *)
type t = {
loc_fname : string;
loc_start : int * int;
loc_end : int * int;
loc_bchar : int;
loc_echar : int;
}
(* -------------------------------------------------------------------- *)
type 'a mloc = ('a, t) tagged
(* -------------------------------------------------------------------- *)
val _dummy : t
val make : position -> position -> t
val of_lexbuf : lexbuf -> t
val tostring : t -> string
val tostring_raw : ?with_fname:bool -> t -> string
val merge : t -> t -> t
val mergeall : t list -> t
val isdummy : t -> bool
(* -------------------------------------------------------------------- *)
type 'a located = {
pl_loc : t;
pl_desc : 'a;
}
val loc : 'a located -> t
val unloc : 'a located -> 'a
val unlocs : ('a located) list -> 'a list
val mk_loc : t -> 'a -> 'a located
val lmap : ('a -> 'b) -> 'a located -> 'b located
(* -------------------------------------------------------------------- *)
exception LocError of t * exn
val locate_error : t -> exn -> 'a
val set_loc : t -> ('a -> 'b) -> 'a -> 'b
val set_oloc : t option -> ('a -> 'b) -> 'a -> 'b
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...