diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/sublanguage.ml | 7 | ||||
| -rw-r--r-- | lib/sublanguage_context.ml | 2 |
2 files changed, 3 insertions, 6 deletions
diff --git a/lib/sublanguage.ml b/lib/sublanguage.ml index e8e511c..e5846ed 100644 --- a/lib/sublanguage.ml +++ b/lib/sublanguage.ml @@ -20,12 +20,9 @@ module type S = sig include Configuration.CONFIGURABLE type ast - type error val name : string - val parse_sexp : Sexplib.Sexp.t -> (ast, error) Result.t + val parse_sexp : Sexplib.Sexp.t -> (ast, Condition.t) Result.t - val execute : Sublanguage_context.t -> ast -> (result, error) Result.t - - val sexp_of_error : error -> Sexplib.Sexp.t + val execute : Sublanguage_context.t -> ast -> (result, Condition.t) Result.t end diff --git a/lib/sublanguage_context.ml b/lib/sublanguage_context.ml index c7598f1..aca5790 100644 --- a/lib/sublanguage_context.ml +++ b/lib/sublanguage_context.ml @@ -35,5 +35,5 @@ type t = { branch : branch_view; resolve : ?branch:string -> Qualified_name.t -> string; switch_branch : string -> - (Sublanguage_types.transition_delta, Nt.error) result; + (Sublanguage_types.transition_delta, Condition.t) result; } |