Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/backends/Ada/misc_printer.ml | ||
---|---|---|
3 | 3 |
type printer = formatter -> unit |
4 | 4 |
|
5 | 5 |
(** Encapsulate a pretty print function to lower case its result when applied |
6 |
@param pp the pretty print function |
|
7 |
@param fmt the formatter |
|
8 |
@param arg the argument of the pp function |
|
9 |
**) |
|
6 |
@param pp the pretty print function @param fmt the formatter @param arg the |
|
7 |
argument of the pp function **) |
|
10 | 8 |
let pp_lowercase pp fmt = |
11 | 9 |
let str = asprintf "%t" pp in |
12 |
fprintf fmt "%s" (String. lowercase_ascii str)
|
|
10 |
fprintf fmt "%s" (String.lowercase_ascii str) |
|
13 | 11 |
|
14 |
(** Print a filename by lowercasing the base and appending an extension. |
|
15 |
@param extension the extension to append to the package name |
|
16 |
@param fmt the formatter |
|
17 |
@param pp_name the file base name printer |
|
18 |
**) |
|
12 |
(** Print a filename by lowercasing the base and appending an extension. @param |
|
13 |
extension the extension to append to the package name @param fmt the |
|
14 |
formatter @param pp_name the file base name printer **) |
|
19 | 15 |
let pp_filename extension fmt pp_name = |
20 |
fprintf fmt "%t.%s" |
|
21 |
(pp_lowercase pp_name) |
|
22 |
extension |
|
16 |
fprintf fmt "%t.%s" (pp_lowercase pp_name) extension |
|
23 | 17 |
|
24 | 18 |
let pp_str str fmt = fprintf fmt "%s" str |
Also available in: Unified diff
reformatting