Commit d4f2d9b9 authored by Jérôme Maloberti's avatar Jérôme Maloberti

Added list for services.

parent 94822f79
......@@ -1901,8 +1901,8 @@ struct
TOption((convert_regexp name r))
| Pretty.Alt (r1,r2) ->
TSum((convert_regexp name r1), (convert_regexp name r2))
| Pretty.Star r -> TSet((convert_regexp name r))
| Pretty.Plus r -> TSet((convert_regexp name r))
| Pretty.Star r -> TList(name,(convert_regexp name r))
| Pretty.Plus r -> TList(name,(convert_regexp name r))
| Pretty.Trans t -> convert t name
| Pretty.Epsilon | Pretty.Empty -> TUnit
and convert_tag =
......@@ -1965,6 +1965,7 @@ struct
| TProd (e1, e2) -> "TProd(" ^ (aux e1) ^ "," ^ (aux e2) ^ ")"
| TOption e -> "TOption(" ^ (aux e) ^ ")"
| TSet e -> "TSet(" ^ (aux e) ^ ")"
| TList (n,e) -> "TList(" ^ n ^ "," ^ (aux e) ^ ")"
| TUnit -> "TUnit()"
| TSum (e1, e2) -> "TSum(" ^ (aux e1) ^ "," ^ (aux e2) ^ ")"
| TSuffix (b,e) -> "TSuffix(" ^ (bool_to_string b) ^ "," ^ (aux e) ^ ")"
......
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