checklink: new disassembler, error severity, ...

- Added the -disass command-line option to disassemble symbols found in
the ELF ;

- Field mismatch now stops the matching of two code fragments, while it
used to only emit an error in the log ;

- Fixed a long-lasting bug in the command-line option ;

- Some error messages have been improved.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1908 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 1 insertions, 1 deletions

diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml
index 405d3be..828299e 100644
--- a/checklink/Frameworks.ml
+++ b/checklink/Frameworks.ml
@@ -156,7 +156,7 @@ let add_range (start: int32) (length: int32) (align: int) (bcd: byte_chunk_desc)
 (* external ( >>> ) : 'a -> ('a -> 'b) -> 'b = "%revapply" *)
 let ( >>> ) (a: 'a) (f: 'a -> 'b): 'b = f a
 
-let ( >>? ) (a: 'a or_err) (f: 'a -> 'b): 'b or_err =
+let ( >>^ ) (a: 'a or_err) (f: 'a -> 'b): 'b or_err =
   match a with
   | ERR(s) -> ERR(s)
   | OK(x) -> OK(f x)