Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit e32f07d1 authored by bguillaum's avatar bguillaum

add Domain.empty in library

git-svn-id: svn+ssh:// 7838e531-6607-4d57-9587-6c381814729c
parent e3f9eb6b
......@@ -52,6 +52,8 @@ let handle ?(name="") ?(file="No file defined") fct () =
module Domain = struct
type t = Grew_types.Domain.t
let empty = Grew_types.Domain.empty
let load filename =
let ast = Grew_loader.Loader.domain filename in
Grew_grs.Grs.domain_build ast
......@@ -37,6 +37,7 @@ exception Bug of string * Loc.t option
(* ==================================================================================================== *)
module Domain : sig
type t
val empty: t
val load: string -> t
val feature_names: t -> string list option
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment