Revision c85c2e3d
Added by Christophe Garion over 4 years ago
| src/backends/Ada/ada_backend_common.ml | ||
|---|---|---|
| 5 | 5 |
open Corelang |
| 6 | 6 |
open Machine_code_common |
| 7 | 7 |
|
| 8 |
(** All the pretty print functions common to the ada backend **) |
|
| 8 |
(** Exception for unsupported features in Ada backend **) |
|
| 9 |
exception Ada_not_supported of string |
|
| 9 | 10 |
|
| 11 |
(** All the pretty print functions common to the ada backend **) |
|
| 10 | 12 |
|
| 11 | 13 |
(* Misc pretty print functions *) |
| 12 | 14 |
|
Also available in: Unified diff
Ada: pretty printing functions for values and assignments in adb