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

pretty print clocks with links.

Browse source
This commit is contained in:
Léonard Gérard 2011-11-24 12:28:10 +01:00
parent ba5f336a6f
commit 24c394d2cb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/global/global_printer.ml
View file

@ -46,7 +46,7 @@ let print_ident ff id = Format.fprintf ff "%s" (name id)
| 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 } -> print_ck ff ck
| Cvar { contents = Clink ck } -> fprintf ff "~> %a" print_ck ck
let rec print_ct ff = function
| Ck ck -> print_ck ff ck