This file is indexed.

/usr/lib/ats2-postiats-0.1.3/share/atspre_staload.hats is in ats2-lang 0.1.3-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
(*
** This is mostly for staloading
** template code in ATSLIB/prelude
*)

(* ****** ****** *)
//
// Author: Hongwei Xi
// AuthorEmail: gmhwxiATgmailCOM
//
(* ****** ****** *)

#ifndef SHARE_ATSPRE_STALOAD
#define SHARE_ATSPRE_STALOAD 1

(* ****** ****** *)
//
#define
PATSPRE_targetloc "$PATSHOME/prelude"
//
(* ****** ****** *)
//
staload _ = "{$PATSPRE}/DATS/basics.dats"
//
(* ****** ****** *)
//
staload _ = "{$PATSPRE}/DATS/pointer.dats"
//
(* ****** ****** *)
//
staload _ = "{$PATSPRE}/DATS/integer.dats"
staload _ = "{$PATSPRE}/DATS/integer_fixed.dats"
//
(* ****** ****** *)
//
staload _ = "{$PATSPRE}/DATS/char.dats"
staload _ = "{$PATSPRE}/DATS/bool.dats"
staload _ = "{$PATSPRE}/DATS/float.dats"
//
(* ****** ****** *)

staload _ = "{$PATSPRE}/DATS/tuple.dats"

(* ****** ****** *)

staload _ = "{$PATSPRE}/DATS/memory.dats"

(* ****** ****** *)

staload _ = "{$PATSPRE}/DATS/string.dats"
staload _ = "{$PATSPRE}/DATS/strptr.dats"

(* ****** ****** *)

staload _ = "{$PATSPRE}/DATS/reference.dats"

(* ****** ****** *)

staload _ = "{$PATSPRE}/DATS/filebas.dats"
staload _ = "{$PATSPRE}/DATS/intrange.dats"

(* ****** ****** *)

staload _ = "{$PATSPRE}/DATS/gorder.dats"
staload _ = "{$PATSPRE}/DATS/gnumber.dats"

(* ****** ****** *)
//
staload _ = "{$PATSPRE}/DATS/list.dats"
//
staload _ = "{$PATSPRE}/DATS/list_vt.dats"
staload _ = "{$PATSPRE}/DATS/list_vt_mergesort.dats"
staload _ = "{$PATSPRE}/DATS/list_vt_quicksort.dats"
//
(* ****** ****** *)
//
staload _ = "{$PATSPRE}/DATS/option.dats"
staload _ = "{$PATSPRE}/DATS/option_vt.dats"
//
(* ****** ****** *)
//
staload _ = "{$PATSPRE}/DATS/array.dats"
staload _ = "{$PATSPRE}/DATS/array_bsearch.dats"
staload _ = "{$PATSPRE}/DATS/array_quicksort.dats"
//
staload _ = "{$PATSPRE}/DATS/arrayptr.dats"
staload _ = "{$PATSPRE}/DATS/arrayref.dats"
//
(* ****** ****** *)
//
staload _ = "{$PATSPRE}/DATS/matrix.dats"
staload _ = "{$PATSPRE}/DATS/matrixptr.dats"
staload _ = "{$PATSPRE}/DATS/matrixref.dats"
//
(* ****** ****** *)
//
staload _ = "{$PATSPRE}/DATS/stream.dats"
staload _ = "{$PATSPRE}/DATS/stream_vt.dats"
//
(* ****** ****** *)

staload _ = "{$PATSPRE}/DATS/gprint.dats"

(* ****** ****** *)
//
staload UNSAFE = "{$PATSPRE}/SATS/unsafe.sats"
//
staload _(*UNSAFE*) = "{$PATSPRE}/DATS/unsafe.dats"
//
(* ****** ****** *)

staload _(*CHECKAST*) = "{$PATSPRE}/DATS/checkast.dats"

(* ****** ****** *)

#endif // end of [#ifndef SHARE_ATSPRE_STALOAD]

(* ****** ****** *)

(* end of [atspre_staload.hats] *)