diff options
| author | Kathy Gray | 2014-04-02 17:57:50 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-04-02 17:58:08 +0100 |
| commit | 3d26063b463049b0991b14436fbdf2877424bd49 (patch) | |
| tree | 72c245d5345b04a1bbc3e8f98ccd8e2437e1c771 /src/reporting_basic.ml | |
| parent | f6d413575429914caf143efc6850a63593146d99 (diff) | |
Solve more constraints; fix up test suite bugs uncovered by solving more constraints. Clean up Lem output a little for readability while debugging.
Diffstat (limited to 'src/reporting_basic.ml')
| -rw-r--r-- | src/reporting_basic.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/reporting_basic.ml b/src/reporting_basic.ml index b3880598..3d211d82 100644 --- a/src/reporting_basic.ml +++ b/src/reporting_basic.ml @@ -76,11 +76,11 @@ let read_from_file_pos2 p1 p2 = let _ = close_in ic in (buf, not (multi = None)) -(* Destruct a location by splitting all the Trans strings except possibly the +(* Destruct a location by splitting all the Internal strings except possibly the last one into a string list and keeping only the last location *) let dest_loc (l : Parse_ast.l) : (Parse_ast.l * string list) = let rec aux acc l = match l with - | Parse_ast.Trans(s, Some l') -> aux (s::acc) l' + | Parse_ast.Int(s, Some l') -> aux (s::acc) l' | _ -> (l, acc) in aux [] l @@ -90,7 +90,7 @@ let rec format_loc_aux ff l = let _ = match l_org with | Parse_ast.Unknown -> Format.fprintf ff "no location information available" | Parse_ast.Range(p1,p2) -> format_pos2 ff p1 p2 - | Parse_ast.Trans(s,_) -> Format.fprintf ff "code generated by: %s" s + | Parse_ast.Int(s,_) -> Format.fprintf ff "code generated by: %s" s in () |