jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Removed '~>' in clock prints

Browse source 
'~>' (representing links between clock variables)
are printed when -fti option is on.
This commit is contained in:
Gwenal Delaval 2012-08-08 18:14:05 +02:00
parent b60ee4b91d
commit b199de202b
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
compiler/global/global_printer.ml
View file

@ -74,7 +74,11 @@ let print_ident = Idents.print_ident
| Cbase -> fprintf ff "."
| Con (ck, c, n) -> fprintf ff "%a on %a(%a)" print_ck ck print_qualname c print_ident n
| Cvar { contents = Cindex i } -> fprintf ff "'a%i" i
| Cvar { contents = Clink ck } -> fprintf ff "~> %a" print_ck ck
| Cvar { contents = Clink ck } ->
if !Compiler_options.full_type_info then
fprintf ff "~> %a" print_ck ck
else
fprintf ff "%a" print_ck ck
let rec print_ct ff = function
| Ck ck -> print_ck ff ck