ats2-lang 0.2.6-2 / usr / lib / ats2-postiats-0.2.6 / prelude / DATS / integer_ptr.dats

This file is indexed.

/usr/lib/ats2-postiats-0.2.6/prelude/DATS/integer_ptr.dats is in ats2-lang 0.2.6-2.

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
121
122
123
124
125
126
127
128
129
130
131
132
(***********************************************************************)
(*                                                                     *)
(*                         Applied Type System                         *)
(*                                                                     *)
(***********************************************************************)

(*
** ATS/Postiats - Unleashing the Potential of Types!
** Copyright (C) 2010-2013 Hongwei Xi, ATS Trustful Software, Inc.
** All rights reserved
**
** ATS is free software;  you can  redistribute it and/or modify it under
** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
** Free Software Foundation; either version 3, or (at  your  option)  any
** later version.
**
** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
** WARRANTY; without  even  the  implied  warranty  of MERCHANTABILITY or
** FITNESS FOR A PARTICULAR PURPOSE.  See the  GNU General Public License
** for more details.
**
** You  should  have  received  a  copy of the GNU General Public License
** along  with  ATS;  see the  file COPYING.  If not, please write to the
** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
** 02110-1301, USA.
*)

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

(*
** Source:
** $PATSHOME/prelude/DATS/CODEGEN/integer_ptr.atxt
** Time of generation: Sat Jun 27 21:39:26 2015
*)

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

(* Author: Hongwei Xi *)
(* Authoremail: gmhwxiATgmailDOTcom *)
(* Start time: February, 2014 *)

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

#define ATS_DYNLOADFLAG 0 // no dynloading at run-time

(* ****** ****** *)
//
//
(* ****** ****** *)
//
staload UN = "prelude/SATS/unsafe.sats"
//
(* ****** ****** *)

implement
g0int2int<intknd,intptrknd> = g0int2int_int_intptr
implement
g0int2int<lintknd,intptrknd> = g0int2int_lint_intptr

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

implement g0int_neg<intptrknd> = g0int_neg_intptr
implement g0int_abs<intptrknd> = g0int_abs_intptr
implement g0int_succ<intptrknd> = g0int_succ_intptr
implement g0int_pred<intptrknd> = g0int_pred_intptr
implement g0int_half<intptrknd> = g0int_half_intptr
implement g0int_add<intptrknd> = g0int_add_intptr
implement g0int_sub<intptrknd> = g0int_sub_intptr
implement g0int_mul<intptrknd> = g0int_mul_intptr
implement g0int_div<intptrknd> = g0int_div_intptr
implement g0int_mod<intptrknd> = g0int_mod_intptr
implement g0int_asl<intptrknd> = g0int_asl_intptr
implement g0int_asr<intptrknd> = g0int_asr_intptr
implement g0int_isltz<intptrknd> = g0int_isltz_intptr
implement g0int_isltez<intptrknd> = g0int_isltez_intptr
implement g0int_isgtz<intptrknd> = g0int_isgtz_intptr
implement g0int_isgtez<intptrknd> = g0int_isgtez_intptr
implement g0int_iseqz<intptrknd> = g0int_iseqz_intptr
implement g0int_isneqz<intptrknd> = g0int_isneqz_intptr
implement g0int_lt<intptrknd> = g0int_lt_intptr
implement g0int_lte<intptrknd> = g0int_lte_intptr
implement g0int_gt<intptrknd> = g0int_gt_intptr
implement g0int_gte<intptrknd> = g0int_gte_intptr
implement g0int_eq<intptrknd> = g0int_eq_intptr
implement g0int_neq<intptrknd> = g0int_neq_intptr
implement g0int_compare<intptrknd> = g0int_compare_intptr
implement g0int_max<intptrknd> = g0int_max_intptr
implement g0int_min<intptrknd> = g0int_min_intptr
//
implement fprint_val<intptr> (out, x) = fprint_intptr (out, x)
//
(* ****** ****** *)

implement
g0uint2uint<uintknd,uintptrknd> = g0uint2uint_uint_uintptr
implement
g0uint2uint<ulintknd,uintptrknd> = g0uint2uint_ulint_uintptr

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

implement g0uint_succ<uintptrknd> = g0uint_succ_uintptr
implement g0uint_pred<uintptrknd> = g0uint_pred_uintptr
implement g0uint_half<uintptrknd> = g0uint_half_uintptr
implement g0uint_add<uintptrknd> = g0uint_add_uintptr
implement g0uint_sub<uintptrknd> = g0uint_sub_uintptr
implement g0uint_mul<uintptrknd> = g0uint_mul_uintptr
implement g0uint_div<uintptrknd> = g0uint_div_uintptr
implement g0uint_mod<uintptrknd> = g0uint_mod_uintptr
implement g0uint_lsl<uintptrknd> = g0uint_lsl_uintptr
implement g0uint_lsr<uintptrknd> = g0uint_lsr_uintptr
implement g0uint_lnot<uintptrknd> = g0uint_lnot_uintptr
implement g0uint_lor<uintptrknd> = g0uint_lor_uintptr
implement g0uint_lxor<uintptrknd> = g0uint_lxor_uintptr
implement g0uint_land<uintptrknd> = g0uint_land_uintptr
implement g0uint_isgtz<uintptrknd> = g0uint_isgtz_uintptr
implement g0uint_iseqz<uintptrknd> = g0uint_iseqz_uintptr
implement g0uint_isneqz<uintptrknd> = g0uint_isneqz_uintptr
implement g0uint_lt<uintptrknd> = g0uint_lt_uintptr
implement g0uint_lte<uintptrknd> = g0uint_lte_uintptr
implement g0uint_gt<uintptrknd> = g0uint_gt_uintptr
implement g0uint_gte<uintptrknd> = g0uint_gte_uintptr
implement g0uint_eq<uintptrknd> = g0uint_eq_uintptr
implement g0uint_neq<uintptrknd> = g0uint_neq_uintptr
implement g0uint_compare<uintptrknd> = g0uint_compare_uintptr
implement g0uint_max<uintptrknd> = g0uint_max_uintptr
implement g0uint_min<uintptrknd> = g0uint_min_uintptr
//
implement fprint_val<uintptr> (out, x) = fprint_uintptr (out, x)
//
(* ****** ****** *)

(* end of [integer_ptr.dats] *)

APT Browse - Built by Thomas Orozco.