diff options
Diffstat (limited to 'lib/sublanguage.ml')
| -rw-r--r-- | lib/sublanguage.ml | 7 |
1 files changed, 2 insertions, 5 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 |