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

Useful debug printing function.

Browse source
This commit is contained in:
Léonard Gérard 2010-09-13 01:17:31 +02:00
parent aa3923cb56
commit b5f6593e18
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
compiler/global/names.ml
View file

@ -69,6 +69,9 @@ let print_name ff n =
else n
in fprintf ff "%s" n
let print_raw_qualname ff {qual = q; name = n} =
fprintf ff "%s.%a" q print_name n
let opname qn = match qn with
| { qual = "Pervasives"; name = m; } -> m
| { qual = qual; name = n; } -> qual ^ "." ^ n