diff options
| author | Alasdair Armstrong | 2017-11-16 17:36:05 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-16 17:36:05 +0000 |
| commit | 9ec4474103d75c49c637862e9dfd1d43552f0666 (patch) | |
| tree | 45547737ddaa80428475d928180cb4ed4f890ecd /src/pretty_print_lem_ast.ml | |
| parent | b3d7e7afc14553e8398958130fbcddf9e9a9a474 (diff) | |
Make the generation of the lem_ast numeric constants automatic for all numbers below 129
Diffstat (limited to 'src/pretty_print_lem_ast.ml')
| -rw-r--r-- | src/pretty_print_lem_ast.ml | 38 |
1 files changed, 6 insertions, 32 deletions
diff --git a/src/pretty_print_lem_ast.ml b/src/pretty_print_lem_ast.ml index 02e18f66..379b3a15 100644 --- a/src/pretty_print_lem_ast.ml +++ b/src/pretty_print_lem_ast.ml @@ -69,38 +69,12 @@ let kwd ppf s = fprintf ppf "%s" s let base ppf s = fprintf ppf "%s" s let quot_string ppf s = fprintf ppf "\"%s\"" s -let lemnum default n = match n with - | 0 -> "zero" - | 1 -> "one" - | 2 -> "two" - | 3 -> "three" - | 4 -> "four" - | 5 -> "five" - | 6 -> "six" - | 7 -> "seven" - | 8 -> "eight" - | 15 -> "fifteen" - | 16 -> "sixteen" - | 20 -> "twenty" - | 23 -> "twentythree" - | 24 -> "twentyfour" - | 30 -> "thirty" - | 31 -> "thirtyone" - | 32 -> "thirtytwo" - | 35 -> "thirtyfive" - | 39 -> "thirtynine" - | 40 -> "forty" - | 47 -> "fortyseven" - | 48 -> "fortyeight" - | 55 -> "fiftyfive" - | 56 -> "fiftysix" - | 57 -> "fiftyseven" - | 61 -> "sixtyone" - | 63 -> "sixtythree" - | 64 -> "sixtyfour" - | 127 -> "onetwentyseven" - | 128 -> "onetwentyeight" - | _ -> if n >= 0 then default n else ("(zero - " ^ (default (abs n)) ^ ")") +let lemnum default n = + if 0 <= n && n <= 128 then + "int" ^ string_of_int n + else if n >= 0 then + default n + else ("(zero - " ^ (default (abs n)) ^ ")") let pp_format_id (Id_aux(i,_)) = match i with |