Project

General

Profile

« Previous | Next » 

Revision ae08b9fc

Added by Pierre-Loïc Garoche about 5 years ago

[seal] delt with Merge and when
[printer] more kind2 syntax

View differences:

src/types.ml
168 168 
    fprintf fmt "_%s" (name_of_type ty.tid)
169 169 
  | Tbasic t -> pp_basic fmt t
170 170 
  | Tclock t ->
171 
    fprintf fmt "%a clock" print_ty t
171 
    fprintf fmt "%a%s" print_ty t (if !Options.kind2_print then "" else " clock")
172 172 
  | Tstatic (d, t) ->
173 173 
    fprintf fmt "(%a:%a)" Dimension.pp_dimension d print_ty t
174 174 
  | Tconst t ->
......
204 204 
  end
205 205 
  | Tbasic t -> BasicT.pp fmt t
206 206 
  | Tclock t ->
207 
    fprintf fmt "%a clock" print_node_ty t
207 
    fprintf fmt "%a%s" print_node_ty t (if !Options.kind2_print then "" else " clock")
208 208 
  | Tstatic (_, t) ->
209 209 
    fprintf fmt "%a" print_node_ty t
210 210 
  | Tconst t ->

Also available in: Unified diff