Revision e7cc5186
Added by Pierre-Loïc Garoche almost 6 years ago
src/lusic.ml | ||
---|---|---|
44 | 44 |
prog [] |
45 | 45 |
|
46 | 46 |
let check_obsolete lusic basename = |
47 |
if lusic.obsolete then raise (Error (Location.dummy_loc, Wrong_number basename)) |
|
47 |
if lusic.obsolete then raise (Error (Location.dummy_loc, Error.Wrong_number basename))
|
|
48 | 48 |
|
49 | 49 |
(* encode and write a header in a file *) |
50 | 50 |
let write_lusic lusi (header : top_decl list) basename extension = |
Also available in: Unified diff
Refactor error printing.