1999-11-30 06:59:39 -08:00
|
|
|
(* Not a string as such, more like a symbol *)
|
|
|
|
|
|
|
|
(* type *)
|
2002-04-26 05:16:26 -07:00
|
|
|
type textMark = string;;
|
1999-11-30 06:59:39 -08:00
|
|
|
(* /type *)
|
|
|
|
|
|
|
|
(* type *)
|
2002-04-26 05:16:26 -07:00
|
|
|
type textTag = string;;
|
1999-11-30 06:59:39 -08:00
|
|
|
(* /type *)
|
|
|
|
|
2002-04-26 05:16:26 -07:00
|
|
|
##ifdef CAMLTK
|
|
|
|
|
|
|
|
(* type *)
|
|
|
|
type textModifier =
|
2002-07-23 07:12:03 -07:00
|
|
|
| CharOffset of int (* tk keyword: +/- Xchars *)
|
|
|
|
| LineOffset of int (* tk keyword: +/- Xlines *)
|
|
|
|
| LineStart (* tk keyword: linestart *)
|
|
|
|
| LineEnd (* tk keyword: lineend *)
|
|
|
|
| WordStart (* tk keyword: wordstart *)
|
|
|
|
| WordEnd (* tk keyword: wordend *)
|
2002-04-26 05:16:26 -07:00
|
|
|
;;
|
|
|
|
(* /type *)
|
|
|
|
|
|
|
|
(* type *)
|
|
|
|
type textIndex =
|
|
|
|
| TextIndex of index * textModifier list
|
|
|
|
| TextIndexNone
|
|
|
|
;;
|
|
|
|
(* /type *)
|
|
|
|
|
|
|
|
##else
|
|
|
|
|
1999-11-30 06:59:39 -08:00
|
|
|
(* type *)
|
|
|
|
type textModifier = [
|
2000-04-02 18:57:52 -07:00
|
|
|
| `Char of int (* tk keyword: +/- Xchars *)
|
|
|
|
| `Line of int (* tk keyword: +/- Xlines *)
|
1999-11-30 06:59:39 -08:00
|
|
|
| `Linestart (* tk keyword: linestart *)
|
|
|
|
| `Lineend (* tk keyword: lineend *)
|
|
|
|
| `Wordstart (* tk keyword: wordstart *)
|
|
|
|
| `Wordend (* tk keyword: wordend *)
|
|
|
|
]
|
2002-04-26 05:16:26 -07:00
|
|
|
;;
|
1999-11-30 06:59:39 -08:00
|
|
|
(* /type *)
|
|
|
|
|
|
|
|
(* type *)
|
|
|
|
type textIndex = text_index * textModifier list
|
2002-04-26 05:16:26 -07:00
|
|
|
;;
|
1999-11-30 06:59:39 -08:00
|
|
|
(* /type *)
|
2002-04-26 05:16:26 -07:00
|
|
|
|
|
|
|
##endif
|