Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/utils/location.ml | ||
---|---|---|
54 | 54 |
let pp fmt loc = |
55 | 55 |
if loc = dummy then () else Format.fprintf fmt "%s" (Lex.range loc) |
56 | 56 |
|
57 |
let pp_c_loc fmt (s, _e) =
|
|
57 |
let pp_c fmt (s, _e) = |
|
58 | 58 |
let filename = s.pos_fname in |
59 | 59 |
let line = s.pos_lnum in |
60 | 60 |
Format.fprintf fmt "#line %i \"%s\"" line filename |
Also available in: Unified diff
another step towards refactoring