Project

General

Profile

« Previous | Next » 

Revision c82ea2ca

Added by Pierre-Loïc Garoche over 4 years ago

Enumerated datatypes as integer

View differences:

src/backends/EMF/EMF_backend.ml
329 329
  fprintf fmt "@ @]},@ "
330 330
    
331 331
let translate fmt basename prog machines =
332
  (* record_types prog; *)
332 333
  fprintf fmt "@[<v 0>{@ ";
333 334
  pp_meta fmt basename;
334 335
  fprintf fmt "\"nodes\": @[<v 0>{@ ";

Also available in: Unified diff