Project

General

Profile

« Previous | Next » 

Revision 6cbbe1c1

Added by LĂ©lio Brun 8 months ago

start again with spec representation

View differences:

src/corelang.ml
1009 1009
  | Node nd ->
1010 1010
    fprintf fmt "%s: " nd.node_id;
1011 1011
    Utils.reset_names ();
1012
    fprintf fmt "%a@ " Types.print_ty nd.node_type
1012
    fprintf fmt "%a" Types.print_ty nd.node_type
1013 1013
  | ImportedNode ind ->
1014 1014
    fprintf fmt "%s: " ind.nodei_id;
1015 1015
    Utils.reset_names ();
1016
    fprintf fmt "%a@ " Types.print_ty ind.nodei_type
1016
    fprintf fmt "%a" Types.print_ty ind.nodei_type
1017 1017
  | Const _ | Include _ | Open _ | TypeDef _ -> ()
1018 1018

  
1019 1019
let pp_prog_type fmt tdecl_list =
1020
  Utils.fprintf_list ~sep:"" pp_decl_type fmt tdecl_list
1020
  Utils.Format.(pp_print_list
1021
                  ~pp_open_box:pp_open_vbox0
1022
                  pp_decl_type fmt tdecl_list)
1021 1023

  
1022 1024
let pp_decl_clock fmt cdecl =
1023 1025
  match cdecl.top_decl_desc with

Also available in: Unified diff