Commit 3bd97dc9 authored by Bruno Guillaume's avatar Bruno Guillaume

Fix missing domain

parent e5f6515a
...@@ -210,7 +210,7 @@ module G_fs = struct ...@@ -210,7 +210,7 @@ module G_fs = struct
match List_.sort_assoc feat_name t with match List_.sort_assoc feat_name t with
| None -> None | None -> None
| Some (Float i) -> Some i | Some (Float i) -> Some i
| Some _ -> Error.build "[Fs.get_float_feat]" | Some (String s) -> Error.build "[Fs.get_float_feat] feat_name=%s, value=%s" feat_name s
(* ---------------------------------------------------------------------- *) (* ---------------------------------------------------------------------- *)
let to_string t = List_.to_string G_feature.to_string "," t let to_string t = List_.to_string G_feature.to_string "," t
......
...@@ -763,7 +763,7 @@ module New_grs = struct ...@@ -763,7 +763,7 @@ module New_grs = struct
let det_iter_pack ?domain decl_list instance = (* return a (big step, inst) *) let det_iter_pack ?domain decl_list instance = (* return a (big step, inst) *)
match det_pack_one decl_list instance with match det_pack_one ?domain decl_list instance with
| None -> None | None -> None
| Some (x, rule_name) -> | Some (x, rule_name) ->
let first = {Libgrew_types.rule_name; up=G_deco.empty; down=G_deco.empty} in let first = {Libgrew_types.rule_name; up=G_deco.empty; down=G_deco.empty} in
...@@ -843,13 +843,13 @@ module New_grs = struct ...@@ -843,13 +843,13 @@ module New_grs = struct
| None -> Error.build "Simple rewrite, cannot find strat %s" subname | None -> Error.build "Simple rewrite, cannot find strat %s" subname
| Some (Rule r,_) -> | Some (Rule r,_) ->
begin begin
match det_iter_pack [Rule r] instance with match det_iter_pack ?domain [Rule r] instance with
| Some (big_step, final) -> Some [(Rule.get_name r, big_step, final)] | Some (big_step, final) -> Some [(Rule.get_name r, big_step, final)]
| None -> Some [] | None -> Some []
end end
| Some (Package (pack_name, decl_list), _) -> | Some (Package (pack_name, decl_list), _) ->
begin begin
match det_iter_pack decl_list instance with match det_iter_pack ?domain decl_list instance with
| Some (big_step, final) -> Some [(pack_name, big_step, final)] | Some (big_step, final) -> Some [(pack_name, big_step, final)]
| None -> Some [] | None -> Some []
end end
......
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