Project

General

Profile

« Previous | Next » 

Revision c85c2e3d

Added by Christophe Garion almost 3 years ago

Ada: pretty printing functions for values and assignments in adb

View differences:

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