diff options
Diffstat (limited to 'ocaml-binary-annot/tools/Characters')
| -rw-r--r-- | ocaml-binary-annot/tools/Characters | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ocaml-binary-annot/tools/Characters b/ocaml-binary-annot/tools/Characters new file mode 100644 index 0000000000..fb8e6868ab --- /dev/null +++ b/ocaml-binary-annot/tools/Characters @@ -0,0 +1,16 @@ +# Characters + +# $Id$ + +# Usage: +# Characters n1 to n2 +# +# Select the characters in the given interval, counting from the first +# character of the current line, in the active window. +# +# Typical use is an error message of the form: +# File fff; Line lll; Characters yyy to zzz + +exit 1 if {#} 3 + +Find Ƥ!{1}:¤!`evaluate {3} - {1}` "{active}" |