language-ats 1.7.0.0 → 1.7.0.1

raw patch · 7 files changed

+2576/−2 lines, 7 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• language-ats.cabal +2/−2
• test/data/stdlib/DATS/bool.out +63/−0
• test/data/stdlib/DATS/integer_fixed.out +782/−0
• test/data/stdlib/DATS/integer_long.out +813/−0
• test/data/stdlib/DATS/integer_ptr.out +231/−0
• test/data/stdlib/DATS/integer_short.out +235/−0
• test/data/stdlib/DATS/integer_size.out +450/−0

@@ -1,6 +1,6 @@ cabal-version: 1.18 name: language-ats-version: 1.7.0.0+version: 1.7.0.1 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2018 Vanessa McHale@@ -19,7 +19,7 @@     test/data/stdlib/*.sats     test/data/stdlib/*.out     test/data/stdlib/DATS/*.dats-    test/data/stdlib/*.out+    test/data/stdlib/DATS/*.out extra-doc-files: README.md                  CHANGELOG.md 

@@ -0,0 +1,63 @@+(***********************************************************************)+(*                                                                     *)+(*                         Applied Type System                         *)+(*                                                                     *)+(***********************************************************************)+(*+** ATS/Postiats - Unleashing the Potential of Types!+** Copyright (C) 2010-2015 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/bool.atxt+** Time of generation: Thu Jan 11 11:00:12 2018+*)+(* ****** ****** *)+(* Author: Hongwei Xi *)+(* Authoremail: hwxi AT cs DOT bu DOT edu *)+(* Start time: Feburary, 2012 *)+(* ****** ****** *)+#define ATS_DYNLOADFLAG 0 // no dynloading at run-time++(* ****** ****** *)+(*+//+// HX: see CATS/bool.cats+//+implement+bool2string+  (b) = if b then "true" else "false"+// end of [bool2string]+*)+(* ****** ****** *)+(*+//+// HX: see CATS/bool.cats+//+implement+fprint_bool (out, x) =+  fprint_string (out, bool2string (x))+// end of [fprint_bool]+*)+implement fprint_val<bool> =+  fprint_bool++(* ****** ****** *)+(* end of [bool.dats] *)

@@ -0,0 +1,782 @@+(***********************************************************************)+(*                                                                     *)+(*                         Applied Type System                         *)+(*                                                                     *)+(***********************************************************************)+(*+** ATS/Postiats - Unleashing the Potential of Types!+** Copyright (C) 2010-2015 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.+*)+(* ****** ****** *)+(* Author: Hongwei Xi *)+(* Authoremail: gmhwxiATgmailDOTcom *)+(* Start time: February, 2014 *)+(* ****** ****** *)+(*+** Source:+** $PATSHOME/prelude/DATS/CODEGEN/integer_fixed.atxt+** Time of generation: Thu Jan 11 11:00:14 2018+*)+(* ****** ****** *)+#define ATS_DYNLOADFLAG 0++// no dynloading+(* ****** ****** *)+//+staload UN = "prelude/SATS/unsafe.sats"++//+(* ****** ****** *)+//+implement g0int2int<int8knd,intknd> =+  g0int2int_int8_int++implement g0int2int<int16knd,intknd> =+  g0int2int_int16_int++implement g0int2int<int32knd,intknd> =+  g0int2int_int32_int++implement g0int2int<int64knd,intknd> =+  g0int2int_int64_int++//+(* ****** ****** *)+//+implement g0int2uint<int8knd,uintknd> =+  g0int2uint_int8_uint++implement g0int2uint<int16knd,uintknd> =+  g0int2uint_int16_uint++implement g0int2uint<int32knd,uintknd> =+  g0int2uint_int32_uint++implement g0int2uint<int64knd,uintknd> =+  g0int2uint_int64_uint++//+implement g0uint2int<uint8knd,intknd> =+  g0uint2int_uint8_int++implement g0uint2int<uint16knd,intknd> =+  g0uint2int_uint16_int++implement g0uint2int<uint32knd,intknd> =+  g0uint2int_uint32_int++implement g0uint2int<uint64knd,intknd> =+  g0uint2int_uint64_int++//+implement g0uint2uint<uint8knd,uintknd> =+  g0uint2uint_uint8_uint++implement g0uint2uint<uint16knd,uintknd> =+  g0uint2uint_uint16_uint++implement g0uint2uint<uint32knd,uintknd> =+  g0uint2uint_uint32_uint++implement g0uint2uint<uint64knd,uintknd> =+  g0uint2uint_uint64_uint++//+(* ****** ****** *)+//+implement g0int_neg<int8knd> =+  g0int_neg_int8++implement g0int_abs<int8knd> =+  g0int_abs_int8++implement g0int_succ<int8knd> =+  g0int_succ_int8++implement g0int_pred<int8knd> =+  g0int_pred_int8++implement g0int_half<int8knd> =+  g0int_half_int8++implement g0int_add<int8knd> =+  g0int_add_int8++implement g0int_sub<int8knd> =+  g0int_sub_int8++implement g0int_mul<int8knd> =+  g0int_mul_int8++implement g0int_div<int8knd> =+  g0int_div_int8++implement g0int_mod<int8knd> =+  g0int_mod_int8++implement g0int_asl<int8knd> =+  g0int_asl_int8++implement g0int_asr<int8knd> =+  g0int_asr_int8++implement g0int_isltz<int8knd> =+  g0int_isltz_int8++implement g0int_isltez<int8knd> =+  g0int_isltez_int8++implement g0int_isgtz<int8knd> =+  g0int_isgtz_int8++implement g0int_isgtez<int8knd> =+  g0int_isgtez_int8++implement g0int_iseqz<int8knd> =+  g0int_iseqz_int8++implement g0int_isneqz<int8knd> =+  g0int_isneqz_int8++implement g0int_lt<int8knd> =+  g0int_lt_int8++implement g0int_lte<int8knd> =+  g0int_lte_int8++implement g0int_gt<int8knd> =+  g0int_gt_int8++implement g0int_gte<int8knd> =+  g0int_gte_int8++implement g0int_eq<int8knd> =+  g0int_eq_int8++implement g0int_neq<int8knd> =+  g0int_neq_int8++implement g0int_compare<int8knd> =+  g0int_compare_int8++implement g0int_max<int8knd> =+  g0int_max_int8++implement g0int_min<int8knd> =+  g0int_min_int8++//+implement fprint_val<int8> (out, x) =+  fprint_int8((out, x))++//+implement g0int_neg<int16knd> =+  g0int_neg_int16++implement g0int_abs<int16knd> =+  g0int_abs_int16++implement g0int_succ<int16knd> =+  g0int_succ_int16++implement g0int_pred<int16knd> =+  g0int_pred_int16++implement g0int_half<int16knd> =+  g0int_half_int16++implement g0int_add<int16knd> =+  g0int_add_int16++implement g0int_sub<int16knd> =+  g0int_sub_int16++implement g0int_mul<int16knd> =+  g0int_mul_int16++implement g0int_div<int16knd> =+  g0int_div_int16++implement g0int_mod<int16knd> =+  g0int_mod_int16++implement g0int_asl<int16knd> =+  g0int_asl_int16++implement g0int_asr<int16knd> =+  g0int_asr_int16++implement g0int_isltz<int16knd> =+  g0int_isltz_int16++implement g0int_isltez<int16knd> =+  g0int_isltez_int16++implement g0int_isgtz<int16knd> =+  g0int_isgtz_int16++implement g0int_isgtez<int16knd> =+  g0int_isgtez_int16++implement g0int_iseqz<int16knd> =+  g0int_iseqz_int16++implement g0int_isneqz<int16knd> =+  g0int_isneqz_int16++implement g0int_lt<int16knd> =+  g0int_lt_int16++implement g0int_lte<int16knd> =+  g0int_lte_int16++implement g0int_gt<int16knd> =+  g0int_gt_int16++implement g0int_gte<int16knd> =+  g0int_gte_int16++implement g0int_eq<int16knd> =+  g0int_eq_int16++implement g0int_neq<int16knd> =+  g0int_neq_int16++implement g0int_compare<int16knd> =+  g0int_compare_int16++implement g0int_max<int16knd> =+  g0int_max_int16++implement g0int_min<int16knd> =+  g0int_min_int16++//+implement fprint_val<int16> (out, x) =+  fprint_int16((out, x))++//+implement g0int_neg<int32knd> =+  g0int_neg_int32++implement g0int_abs<int32knd> =+  g0int_abs_int32++implement g0int_succ<int32knd> =+  g0int_succ_int32++implement g0int_pred<int32knd> =+  g0int_pred_int32++implement g0int_half<int32knd> =+  g0int_half_int32++implement g0int_add<int32knd> =+  g0int_add_int32++implement g0int_sub<int32knd> =+  g0int_sub_int32++implement g0int_mul<int32knd> =+  g0int_mul_int32++implement g0int_div<int32knd> =+  g0int_div_int32++implement g0int_mod<int32knd> =+  g0int_mod_int32++implement g0int_asl<int32knd> =+  g0int_asl_int32++implement g0int_asr<int32knd> =+  g0int_asr_int32++implement g0int_isltz<int32knd> =+  g0int_isltz_int32++implement g0int_isltez<int32knd> =+  g0int_isltez_int32++implement g0int_isgtz<int32knd> =+  g0int_isgtz_int32++implement g0int_isgtez<int32knd> =+  g0int_isgtez_int32++implement g0int_iseqz<int32knd> =+  g0int_iseqz_int32++implement g0int_isneqz<int32knd> =+  g0int_isneqz_int32++implement g0int_lt<int32knd> =+  g0int_lt_int32++implement g0int_lte<int32knd> =+  g0int_lte_int32++implement g0int_gt<int32knd> =+  g0int_gt_int32++implement g0int_gte<int32knd> =+  g0int_gte_int32++implement g0int_eq<int32knd> =+  g0int_eq_int32++implement g0int_neq<int32knd> =+  g0int_neq_int32++implement g0int_compare<int32knd> =+  g0int_compare_int32++implement g0int_max<int32knd> =+  g0int_max_int32++implement g0int_min<int32knd> =+  g0int_min_int32++//+implement fprint_val<int32> (out, x) =+  fprint_int32((out, x))++//+implement g0int_neg<int64knd> =+  g0int_neg_int64++implement g0int_abs<int64knd> =+  g0int_abs_int64++implement g0int_succ<int64knd> =+  g0int_succ_int64++implement g0int_pred<int64knd> =+  g0int_pred_int64++implement g0int_half<int64knd> =+  g0int_half_int64++implement g0int_add<int64knd> =+  g0int_add_int64++implement g0int_sub<int64knd> =+  g0int_sub_int64++implement g0int_mul<int64knd> =+  g0int_mul_int64++implement g0int_div<int64knd> =+  g0int_div_int64++implement g0int_mod<int64knd> =+  g0int_mod_int64++implement g0int_asl<int64knd> =+  g0int_asl_int64++implement g0int_asr<int64knd> =+  g0int_asr_int64++implement g0int_isltz<int64knd> =+  g0int_isltz_int64++implement g0int_isltez<int64knd> =+  g0int_isltez_int64++implement g0int_isgtz<int64knd> =+  g0int_isgtz_int64++implement g0int_isgtez<int64knd> =+  g0int_isgtez_int64++implement g0int_iseqz<int64knd> =+  g0int_iseqz_int64++implement g0int_isneqz<int64knd> =+  g0int_isneqz_int64++implement g0int_lt<int64knd> =+  g0int_lt_int64++implement g0int_lte<int64knd> =+  g0int_lte_int64++implement g0int_gt<int64knd> =+  g0int_gt_int64++implement g0int_gte<int64knd> =+  g0int_gte_int64++implement g0int_eq<int64knd> =+  g0int_eq_int64++implement g0int_neq<int64knd> =+  g0int_neq_int64++implement g0int_compare<int64knd> =+  g0int_compare_int64++implement g0int_max<int64knd> =+  g0int_max_int64++implement g0int_min<int64knd> =+  g0int_min_int64++//+implement fprint_val<int64> (out, x) =+  fprint_int64((out, x))++//+(* ****** ****** *)+//+implement g0uint_succ<uint8knd> =+  g0uint_succ_uint8++implement g0uint_pred<uint8knd> =+  g0uint_pred_uint8++implement g0uint_half<uint8knd> =+  g0uint_half_uint8++implement g0uint_add<uint8knd> =+  g0uint_add_uint8++implement g0uint_sub<uint8knd> =+  g0uint_sub_uint8++implement g0uint_mul<uint8knd> =+  g0uint_mul_uint8++implement g0uint_div<uint8knd> =+  g0uint_div_uint8++implement g0uint_mod<uint8knd> =+  g0uint_mod_uint8++implement g0uint_lsl<uint8knd> =+  g0uint_lsl_uint8++implement g0uint_lsr<uint8knd> =+  g0uint_lsr_uint8++implement g0uint_lnot<uint8knd> =+  g0uint_lnot_uint8++implement g0uint_lor<uint8knd> =+  g0uint_lor_uint8++implement g0uint_lxor<uint8knd> =+  g0uint_lxor_uint8++implement g0uint_land<uint8knd> =+  g0uint_land_uint8++implement g0uint_isgtz<uint8knd> =+  g0uint_isgtz_uint8++implement g0uint_iseqz<uint8knd> =+  g0uint_iseqz_uint8++implement g0uint_isneqz<uint8knd> =+  g0uint_isneqz_uint8++implement g0uint_lt<uint8knd> =+  g0uint_lt_uint8++implement g0uint_lte<uint8knd> =+  g0uint_lte_uint8++implement g0uint_gt<uint8knd> =+  g0uint_gt_uint8++implement g0uint_gte<uint8knd> =+  g0uint_gte_uint8++implement g0uint_eq<uint8knd> =+  g0uint_eq_uint8++implement g0uint_neq<uint8knd> =+  g0uint_neq_uint8++implement g0uint_compare<uint8knd> =+  g0uint_compare_uint8++implement g0uint_max<uint8knd> =+  g0uint_max_uint8++implement g0uint_min<uint8knd> =+  g0uint_min_uint8++//+implement fprint_val<uint8> (out, x) =+  fprint_uint8((out, x))++//+implement g0uint_succ<uint16knd> =+  g0uint_succ_uint16++implement g0uint_pred<uint16knd> =+  g0uint_pred_uint16++implement g0uint_half<uint16knd> =+  g0uint_half_uint16++implement g0uint_add<uint16knd> =+  g0uint_add_uint16++implement g0uint_sub<uint16knd> =+  g0uint_sub_uint16++implement g0uint_mul<uint16knd> =+  g0uint_mul_uint16++implement g0uint_div<uint16knd> =+  g0uint_div_uint16++implement g0uint_mod<uint16knd> =+  g0uint_mod_uint16++implement g0uint_lsl<uint16knd> =+  g0uint_lsl_uint16++implement g0uint_lsr<uint16knd> =+  g0uint_lsr_uint16++implement g0uint_lnot<uint16knd> =+  g0uint_lnot_uint16++implement g0uint_lor<uint16knd> =+  g0uint_lor_uint16++implement g0uint_lxor<uint16knd> =+  g0uint_lxor_uint16++implement g0uint_land<uint16knd> =+  g0uint_land_uint16++implement g0uint_isgtz<uint16knd> =+  g0uint_isgtz_uint16++implement g0uint_iseqz<uint16knd> =+  g0uint_iseqz_uint16++implement g0uint_isneqz<uint16knd> =+  g0uint_isneqz_uint16++implement g0uint_lt<uint16knd> =+  g0uint_lt_uint16++implement g0uint_lte<uint16knd> =+  g0uint_lte_uint16++implement g0uint_gt<uint16knd> =+  g0uint_gt_uint16++implement g0uint_gte<uint16knd> =+  g0uint_gte_uint16++implement g0uint_eq<uint16knd> =+  g0uint_eq_uint16++implement g0uint_neq<uint16knd> =+  g0uint_neq_uint16++implement g0uint_compare<uint16knd> =+  g0uint_compare_uint16++implement g0uint_max<uint16knd> =+  g0uint_max_uint16++implement g0uint_min<uint16knd> =+  g0uint_min_uint16++//+implement fprint_val<uint16> (out, x) =+  fprint_uint16((out, x))++//+implement g0uint_succ<uint32knd> =+  g0uint_succ_uint32++implement g0uint_pred<uint32knd> =+  g0uint_pred_uint32++implement g0uint_half<uint32knd> =+  g0uint_half_uint32++implement g0uint_add<uint32knd> =+  g0uint_add_uint32++implement g0uint_sub<uint32knd> =+  g0uint_sub_uint32++implement g0uint_mul<uint32knd> =+  g0uint_mul_uint32++implement g0uint_div<uint32knd> =+  g0uint_div_uint32++implement g0uint_mod<uint32knd> =+  g0uint_mod_uint32++implement g0uint_lsl<uint32knd> =+  g0uint_lsl_uint32++implement g0uint_lsr<uint32knd> =+  g0uint_lsr_uint32++implement g0uint_lnot<uint32knd> =+  g0uint_lnot_uint32++implement g0uint_lor<uint32knd> =+  g0uint_lor_uint32++implement g0uint_lxor<uint32knd> =+  g0uint_lxor_uint32++implement g0uint_land<uint32knd> =+  g0uint_land_uint32++implement g0uint_isgtz<uint32knd> =+  g0uint_isgtz_uint32++implement g0uint_iseqz<uint32knd> =+  g0uint_iseqz_uint32++implement g0uint_isneqz<uint32knd> =+  g0uint_isneqz_uint32++implement g0uint_lt<uint32knd> =+  g0uint_lt_uint32++implement g0uint_lte<uint32knd> =+  g0uint_lte_uint32++implement g0uint_gt<uint32knd> =+  g0uint_gt_uint32++implement g0uint_gte<uint32knd> =+  g0uint_gte_uint32++implement g0uint_eq<uint32knd> =+  g0uint_eq_uint32++implement g0uint_neq<uint32knd> =+  g0uint_neq_uint32++implement g0uint_compare<uint32knd> =+  g0uint_compare_uint32++implement g0uint_max<uint32knd> =+  g0uint_max_uint32++implement g0uint_min<uint32knd> =+  g0uint_min_uint32++//+implement fprint_val<uint32> (out, x) =+  fprint_uint32((out, x))++//+implement g0uint_succ<uint64knd> =+  g0uint_succ_uint64++implement g0uint_pred<uint64knd> =+  g0uint_pred_uint64++implement g0uint_half<uint64knd> =+  g0uint_half_uint64++implement g0uint_add<uint64knd> =+  g0uint_add_uint64++implement g0uint_sub<uint64knd> =+  g0uint_sub_uint64++implement g0uint_mul<uint64knd> =+  g0uint_mul_uint64++implement g0uint_div<uint64knd> =+  g0uint_div_uint64++implement g0uint_mod<uint64knd> =+  g0uint_mod_uint64++implement g0uint_lsl<uint64knd> =+  g0uint_lsl_uint64++implement g0uint_lsr<uint64knd> =+  g0uint_lsr_uint64++implement g0uint_lnot<uint64knd> =+  g0uint_lnot_uint64++implement g0uint_lor<uint64knd> =+  g0uint_lor_uint64++implement g0uint_lxor<uint64knd> =+  g0uint_lxor_uint64++implement g0uint_land<uint64knd> =+  g0uint_land_uint64++implement g0uint_isgtz<uint64knd> =+  g0uint_isgtz_uint64++implement g0uint_iseqz<uint64knd> =+  g0uint_iseqz_uint64++implement g0uint_isneqz<uint64knd> =+  g0uint_isneqz_uint64++implement g0uint_lt<uint64knd> =+  g0uint_lt_uint64++implement g0uint_lte<uint64knd> =+  g0uint_lte_uint64++implement g0uint_gt<uint64knd> =+  g0uint_gt_uint64++implement g0uint_gte<uint64knd> =+  g0uint_gte_uint64++implement g0uint_eq<uint64knd> =+  g0uint_eq_uint64++implement g0uint_neq<uint64knd> =+  g0uint_neq_uint64++implement g0uint_compare<uint64knd> =+  g0uint_compare_uint64++implement g0uint_max<uint64knd> =+  g0uint_max_uint64++implement g0uint_min<uint64knd> =+  g0uint_min_uint64++//+implement fprint_val<uint64> (out, x) =+  fprint_uint64((out, x))++//+(* ****** ****** *)+(* end of [integer_fixed.dats] *)

@@ -0,0 +1,813 @@+(***********************************************************************)+(*                                                                     *)+(*                         Applied Type System                         *)+(*                                                                     *)+(***********************************************************************)+(*+** ATS/Postiats - Unleashing the Potential of Types!+** Copyright (C) 2010-2015 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.+*)+(* ****** ****** *)+(* Author: Hongwei Xi *)+(* Authoremail: gmhwxiATgmailDOTcom *)+(* Start time: February, 2014 *)+(* ****** ****** *)+(*+** Source:+** $PATSHOME/prelude/DATS/CODEGEN/integer_long.atxt+** Time of generation: Thu Jan 11 11:00:12 2018+*)+(* ****** ****** *)+#define ATS_DYNLOADFLAG 0++// no dynloading+(* ****** ****** *)+//+staload UN = "prelude/SATS/unsafe.sats"++//+(* ****** ****** *)+//+implement g0int2int<intknd,lintknd> =+  g0int2int_int_lint++implement g1int2int<intknd,lintknd> =+  g1int2int_int_lint++//+implement g0uint2int<uintknd,lintknd> =+  g0uint2int_uint_lint++implement g1uint2int<uintknd,lintknd> =+  g1uint2int_uint_lint++//+(* ****** ****** *)+//+implement g0int2uint<intknd,ulintknd> =+  g0int2uint_int_ulint++implement g1int2uint<intknd,ulintknd> =+  g1int2uint_int_ulint++//+implement g0uint2uint<uintknd,ulintknd> =+  g0uint2uint_uint_ulint++implement g1uint2uint<uintknd,ulintknd> =+  g1uint2uint_uint_ulint++//+(* ****** ****** *)+//+implement g0int2int<intknd,llintknd> =+  g0int2int_int_llint++implement g1int2int<intknd,llintknd> =+  g1int2int_int_llint++//+implement g0uint2int<uintknd,llintknd> =+  g0uint2int_uint_llint++implement g1uint2int<uintknd,llintknd> =+  g1uint2int_uint_llint++//+(* ****** ****** *)+//+implement g0int2uint<intknd,ullintknd> =+  g0int2uint_int_ullint++implement g1int2uint<intknd,ullintknd> =+  g1int2uint_int_ullint++//+implement g0uint2uint<uintknd,ullintknd> =+  g0uint2uint_uint_ullint++implement g1uint2uint<uintknd,ullintknd> =+  g1uint2uint_uint_ullint++//+(* ****** ****** *)+//+implement g0int2int<lintknd,lintknd> =+  g0int2int_lint_lint++implement g0int2int<lintknd,llintknd> =+  g0int2int_lint_llint++//+implement g0int2uint<lintknd,ulintknd> =+  g0int2uint_lint_ulint++implement g0int2uint<lintknd,ullintknd> =+  g0int2uint_lint_ullint++//+(* ****** ****** *)+//+implement g0uint2int<ulintknd,lintknd> =+  g0uint2int_ulint_lint++implement g0uint2int<ulintknd,llintknd> =+  g0uint2int_ulint_llint++//+implement g0uint2uint<ulintknd,ulintknd> =+  g0uint2uint_ulint_ulint++implement g0uint2uint<ulintknd,ullintknd> =+  g0uint2uint_ulint_ullint++//+(* ****** ****** *)+//+implement g0int2int<llintknd,llintknd> =+  g0int2int_llint_llint++//+implement g0int2uint<llintknd,ullintknd> =+  g0int2uint_llint_ullint++//+(* ****** ****** *)+//+implement g0uint2int<ullintknd,llintknd> =+  g0uint2int_ullint_llint++//+implement g0uint2uint<ullintknd,ullintknd> =+  g0uint2uint_ullint_ullint++//+(* ****** ****** *)+//+implement g0int2string<lintknd> =+  g0int2string_lint++implement g0int2string<llintknd> =+  g0int2string_llint++//+implement g0string2int<lintknd> =+  g0string2int_lint++implement g0string2int<llintknd> =+  g0string2int_llint++implement g0string2uint<ulintknd> =+  g0string2uint_ulint++implement g0string2uint<ullintknd> =+  g0string2uint_ullint++//+(* ****** ****** *)+//+implement g0int_neg<lintknd> =+  g0int_neg_lint++implement g0int_abs<lintknd> =+  g0int_abs_lint++implement g0int_succ<lintknd> =+  g0int_succ_lint++implement g0int_pred<lintknd> =+  g0int_pred_lint++implement g0int_half<lintknd> =+  g0int_half_lint++implement g0int_add<lintknd> =+  g0int_add_lint++implement g0int_sub<lintknd> =+  g0int_sub_lint++implement g0int_mul<lintknd> =+  g0int_mul_lint++implement g0int_div<lintknd> =+  g0int_div_lint++implement g0int_mod<lintknd> =+  g0int_mod_lint++implement g0int_asl<lintknd> =+  g0int_asl_lint++implement g0int_asr<lintknd> =+  g0int_asr_lint++implement g0int_isltz<lintknd> =+  g0int_isltz_lint++implement g0int_isltez<lintknd> =+  g0int_isltez_lint++implement g0int_isgtz<lintknd> =+  g0int_isgtz_lint++implement g0int_isgtez<lintknd> =+  g0int_isgtez_lint++implement g0int_iseqz<lintknd> =+  g0int_iseqz_lint++implement g0int_isneqz<lintknd> =+  g0int_isneqz_lint++implement g0int_lt<lintknd> =+  g0int_lt_lint++implement g0int_lte<lintknd> =+  g0int_lte_lint++implement g0int_gt<lintknd> =+  g0int_gt_lint++implement g0int_gte<lintknd> =+  g0int_gte_lint++implement g0int_eq<lintknd> =+  g0int_eq_lint++implement g0int_neq<lintknd> =+  g0int_neq_lint++implement g0int_compare<lintknd> =+  g0int_compare_lint++implement g0int_max<lintknd> =+  g0int_max_lint++implement g0int_min<lintknd> =+  g0int_min_lint++//+implement fprint_val<lint> (out, x) =+  fprint_lint((out, x))++//+implement g1int_neg<lintknd> =+  g1int_neg_lint++implement g1int_abs<lintknd> =+  g1int_abs_lint++implement g1int_succ<lintknd> =+  g1int_succ_lint++implement g1int_pred<lintknd> =+  g1int_pred_lint++implement g1int_half<lintknd> =+  g1int_half_lint++implement g1int_add<lintknd> =+  g1int_add_lint++implement g1int_sub<lintknd> =+  g1int_sub_lint++implement g1int_mul<lintknd> =+  g1int_mul_lint++implement g1int_div<lintknd> =+  g1int_div_lint++implement g1int_nmod<lintknd> =+  g1int_nmod_lint++implement g1int_isltz<lintknd> =+  g1int_isltz_lint++implement g1int_isltez<lintknd> =+  g1int_isltez_lint++implement g1int_isgtz<lintknd> =+  g1int_isgtz_lint++implement g1int_isgtez<lintknd> =+  g1int_isgtez_lint++implement g1int_iseqz<lintknd> =+  g1int_iseqz_lint++implement g1int_isneqz<lintknd> =+  g1int_isneqz_lint++implement g1int_lt<lintknd> =+  g1int_lt_lint++implement g1int_lte<lintknd> =+  g1int_lte_lint++implement g1int_gt<lintknd> =+  g1int_gt_lint++implement g1int_gte<lintknd> =+  g1int_gte_lint++implement g1int_eq<lintknd> =+  g1int_eq_lint++implement g1int_neq<lintknd> =+  g1int_neq_lint++implement g1int_compare<lintknd> =+  g1int_compare_lint++implement g1int_max<lintknd> =+  g1int_max_lint++implement g1int_min<lintknd> =+  g1int_min_lint++//+(* ****** ****** *)+//+implement g0int_neg<llintknd> =+  g0int_neg_llint++implement g0int_abs<llintknd> =+  g0int_abs_llint++implement g0int_succ<llintknd> =+  g0int_succ_llint++implement g0int_pred<llintknd> =+  g0int_pred_llint++implement g0int_half<llintknd> =+  g0int_half_llint++implement g0int_add<llintknd> =+  g0int_add_llint++implement g0int_sub<llintknd> =+  g0int_sub_llint++implement g0int_mul<llintknd> =+  g0int_mul_llint++implement g0int_div<llintknd> =+  g0int_div_llint++implement g0int_mod<llintknd> =+  g0int_mod_llint++implement g0int_asl<llintknd> =+  g0int_asl_llint++implement g0int_asr<llintknd> =+  g0int_asr_llint++implement g0int_isltz<llintknd> =+  g0int_isltz_llint++implement g0int_isltez<llintknd> =+  g0int_isltez_llint++implement g0int_isgtz<llintknd> =+  g0int_isgtz_llint++implement g0int_isgtez<llintknd> =+  g0int_isgtez_llint++implement g0int_iseqz<llintknd> =+  g0int_iseqz_llint++implement g0int_isneqz<llintknd> =+  g0int_isneqz_llint++implement g0int_lt<llintknd> =+  g0int_lt_llint++implement g0int_lte<llintknd> =+  g0int_lte_llint++implement g0int_gt<llintknd> =+  g0int_gt_llint++implement g0int_gte<llintknd> =+  g0int_gte_llint++implement g0int_eq<llintknd> =+  g0int_eq_llint++implement g0int_neq<llintknd> =+  g0int_neq_llint++implement g0int_compare<llintknd> =+  g0int_compare_llint++implement g0int_max<llintknd> =+  g0int_max_llint++implement g0int_min<llintknd> =+  g0int_min_llint++//+implement fprint_val<llint> (out, x) =+  fprint_llint((out, x))++//+implement g1int_neg<llintknd> =+  g1int_neg_llint++implement g1int_abs<llintknd> =+  g1int_abs_llint++implement g1int_succ<llintknd> =+  g1int_succ_llint++implement g1int_pred<llintknd> =+  g1int_pred_llint++implement g1int_half<llintknd> =+  g1int_half_llint++implement g1int_add<llintknd> =+  g1int_add_llint++implement g1int_sub<llintknd> =+  g1int_sub_llint++implement g1int_mul<llintknd> =+  g1int_mul_llint++implement g1int_div<llintknd> =+  g1int_div_llint++implement g1int_nmod<llintknd> =+  g1int_nmod_llint++implement g1int_isltz<llintknd> =+  g1int_isltz_llint++implement g1int_isltez<llintknd> =+  g1int_isltez_llint++implement g1int_isgtz<llintknd> =+  g1int_isgtz_llint++implement g1int_isgtez<llintknd> =+  g1int_isgtez_llint++implement g1int_iseqz<llintknd> =+  g1int_iseqz_llint++implement g1int_isneqz<llintknd> =+  g1int_isneqz_llint++implement g1int_lt<llintknd> =+  g1int_lt_llint++implement g1int_lte<llintknd> =+  g1int_lte_llint++implement g1int_gt<llintknd> =+  g1int_gt_llint++implement g1int_gte<llintknd> =+  g1int_gte_llint++implement g1int_eq<llintknd> =+  g1int_eq_llint++implement g1int_neq<llintknd> =+  g1int_neq_llint++implement g1int_compare<llintknd> =+  g1int_compare_llint++implement g1int_max<llintknd> =+  g1int_max_llint++implement g1int_min<llintknd> =+  g1int_min_llint++//+(* ****** ****** *)+//+implement g0uint_succ<ulintknd> =+  g0uint_succ_ulint++implement g0uint_pred<ulintknd> =+  g0uint_pred_ulint++implement g0uint_half<ulintknd> =+  g0uint_half_ulint++implement g0uint_add<ulintknd> =+  g0uint_add_ulint++implement g0uint_sub<ulintknd> =+  g0uint_sub_ulint++implement g0uint_mul<ulintknd> =+  g0uint_mul_ulint++implement g0uint_div<ulintknd> =+  g0uint_div_ulint++implement g0uint_mod<ulintknd> =+  g0uint_mod_ulint++implement g0uint_lsl<ulintknd> =+  g0uint_lsl_ulint++implement g0uint_lsr<ulintknd> =+  g0uint_lsr_ulint++implement g0uint_lnot<ulintknd> =+  g0uint_lnot_ulint++implement g0uint_lor<ulintknd> =+  g0uint_lor_ulint++implement g0uint_lxor<ulintknd> =+  g0uint_lxor_ulint++implement g0uint_land<ulintknd> =+  g0uint_land_ulint++implement g0uint_isgtz<ulintknd> =+  g0uint_isgtz_ulint++implement g0uint_iseqz<ulintknd> =+  g0uint_iseqz_ulint++implement g0uint_isneqz<ulintknd> =+  g0uint_isneqz_ulint++implement g0uint_lt<ulintknd> =+  g0uint_lt_ulint++implement g0uint_lte<ulintknd> =+  g0uint_lte_ulint++implement g0uint_gt<ulintknd> =+  g0uint_gt_ulint++implement g0uint_gte<ulintknd> =+  g0uint_gte_ulint++implement g0uint_eq<ulintknd> =+  g0uint_eq_ulint++implement g0uint_neq<ulintknd> =+  g0uint_neq_ulint++implement g0uint_compare<ulintknd> =+  g0uint_compare_ulint++implement g0uint_max<ulintknd> =+  g0uint_max_ulint++implement g0uint_min<ulintknd> =+  g0uint_min_ulint++//+implement fprint_val<ulint> (out, x) =+  fprint_ulint((out, x))++//+implement g1uint_succ<ulintknd> =+  g1uint_succ_ulint++implement g1uint_pred<ulintknd> =+  g1uint_pred_ulint++implement g1uint_half<ulintknd> =+  g1uint_half_ulint++implement g1uint_add<ulintknd> =+  g1uint_add_ulint++implement g1uint_sub<ulintknd> =+  g1uint_sub_ulint++implement g1uint_mul<ulintknd> =+  g1uint_mul_ulint++implement g1uint_div<ulintknd> =+  g1uint_div_ulint++implement g1uint_mod<ulintknd> =+  g1uint_mod_ulint++implement g1uint_isgtz<ulintknd> =+  g1uint_isgtz_ulint++implement g1uint_iseqz<ulintknd> =+  g1uint_iseqz_ulint++implement g1uint_isneqz<ulintknd> =+  g1uint_isneqz_ulint++implement g1uint_lt<ulintknd> =+  g1uint_lt_ulint++implement g1uint_lte<ulintknd> =+  g1uint_lte_ulint++implement g1uint_gt<ulintknd> =+  g1uint_gt_ulint++implement g1uint_gte<ulintknd> =+  g1uint_gte_ulint++implement g1uint_eq<ulintknd> =+  g1uint_eq_ulint++implement g1uint_neq<ulintknd> =+  g1uint_neq_ulint++implement g1uint_compare<ulintknd> =+  g1uint_compare_ulint++implement g1uint_max<ulintknd> =+  g1uint_max_ulint++implement g1uint_min<ulintknd> =+  g1uint_min_ulint++//+(* ****** ****** *)+//+implement g0uint_succ<ullintknd> =+  g0uint_succ_ullint++implement g0uint_pred<ullintknd> =+  g0uint_pred_ullint++implement g0uint_half<ullintknd> =+  g0uint_half_ullint++implement g0uint_add<ullintknd> =+  g0uint_add_ullint++implement g0uint_sub<ullintknd> =+  g0uint_sub_ullint++implement g0uint_mul<ullintknd> =+  g0uint_mul_ullint++implement g0uint_div<ullintknd> =+  g0uint_div_ullint++implement g0uint_mod<ullintknd> =+  g0uint_mod_ullint++implement g0uint_lsl<ullintknd> =+  g0uint_lsl_ullint++implement g0uint_lsr<ullintknd> =+  g0uint_lsr_ullint++implement g0uint_lnot<ullintknd> =+  g0uint_lnot_ullint++implement g0uint_lor<ullintknd> =+  g0uint_lor_ullint++implement g0uint_lxor<ullintknd> =+  g0uint_lxor_ullint++implement g0uint_land<ullintknd> =+  g0uint_land_ullint++implement g0uint_isgtz<ullintknd> =+  g0uint_isgtz_ullint++implement g0uint_iseqz<ullintknd> =+  g0uint_iseqz_ullint++implement g0uint_isneqz<ullintknd> =+  g0uint_isneqz_ullint++implement g0uint_lt<ullintknd> =+  g0uint_lt_ullint++implement g0uint_lte<ullintknd> =+  g0uint_lte_ullint++implement g0uint_gt<ullintknd> =+  g0uint_gt_ullint++implement g0uint_gte<ullintknd> =+  g0uint_gte_ullint++implement g0uint_eq<ullintknd> =+  g0uint_eq_ullint++implement g0uint_neq<ullintknd> =+  g0uint_neq_ullint++implement g0uint_compare<ullintknd> =+  g0uint_compare_ullint++implement g0uint_max<ullintknd> =+  g0uint_max_ullint++implement g0uint_min<ullintknd> =+  g0uint_min_ullint++//+implement fprint_val<ullint> (out, x) =+  fprint_ullint((out, x))++//+implement g1uint_succ<ullintknd> =+  g1uint_succ_ullint++implement g1uint_pred<ullintknd> =+  g1uint_pred_ullint++implement g1uint_half<ullintknd> =+  g1uint_half_ullint++implement g1uint_add<ullintknd> =+  g1uint_add_ullint++implement g1uint_sub<ullintknd> =+  g1uint_sub_ullint++implement g1uint_mul<ullintknd> =+  g1uint_mul_ullint++implement g1uint_div<ullintknd> =+  g1uint_div_ullint++implement g1uint_mod<ullintknd> =+  g1uint_mod_ullint++implement g1uint_isgtz<ullintknd> =+  g1uint_isgtz_ullint++implement g1uint_iseqz<ullintknd> =+  g1uint_iseqz_ullint++implement g1uint_isneqz<ullintknd> =+  g1uint_isneqz_ullint++implement g1uint_lt<ullintknd> =+  g1uint_lt_ullint++implement g1uint_lte<ullintknd> =+  g1uint_lte_ullint++implement g1uint_gt<ullintknd> =+  g1uint_gt_ullint++implement g1uint_gte<ullintknd> =+  g1uint_gte_ullint++implement g1uint_eq<ullintknd> =+  g1uint_eq_ullint++implement g1uint_neq<ullintknd> =+  g1uint_neq_ullint++implement g1uint_compare<ullintknd> =+  g1uint_compare_ullint++implement g1uint_max<ullintknd> =+  g1uint_max_ullint++implement g1uint_min<ullintknd> =+  g1uint_min_ullint++//+(* ****** ****** *)+//+implement nmod_g1int_int1<lintknd> (x, y) =+  g1i2i(g1int_nmod<lintknd>(x, g1i2i(y)))++implement nmod_g1int_int1<llintknd> (x, y) =+  g1i2i(g1int_nmod<llintknd>(x, g1i2i(y)))++//+(* ****** ****** *)+(* end of [integer_long.dats] *)

@@ -0,0 +1,231 @@+(***********************************************************************)+(*                                                                     *)+(*                         Applied Type System                         *)+(*                                                                     *)+(***********************************************************************)+(*+** ATS/Postiats - Unleashing the Potential of Types!+** Copyright (C) 2010-2015 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.+*)+(* ****** ****** *)+(* Author: Hongwei Xi *)+(* Authoremail: gmhwxiATgmailDOTcom *)+(* Start time: February, 2014 *)+(* ****** ****** *)+(*+** Source:+** $PATSHOME/prelude/DATS/CODEGEN/integer_ptr.atxt+** Time of generation: Thu Jan 11 11:00:14 2018+*)+(* ****** ****** *)+#define ATS_DYNLOADFLAG 0++// no dynloading+(* ****** ****** *)+//+staload UN = "prelude/SATS/unsafe.sats"++//+(* ****** ****** *)+implement g0int2int<intknd,intptrknd> =+  g0int2int_int_intptr++implement g0int2int<lintknd,intptrknd> =+  g0int2int_lint_intptr++(* ****** ****** *)+implement g0uint2uint<uintknd,uintptrknd> =+  g0uint2uint_uint_uintptr++implement g0uint2uint<ulintknd,uintptrknd> =+  g0uint2uint_ulint_uintptr++(* ****** ****** *)+//+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 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] *)

@@ -0,0 +1,235 @@+(***********************************************************************)+(*                                                                     *)+(*                         Applied Type System                         *)+(*                                                                     *)+(***********************************************************************)+(*+** ATS/Postiats - Unleashing the Potential of Types!+** Copyright (C) 2010-2015 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.+*)+(* ****** ****** *)+(* Author: Hongwei Xi *)+(* Authoremail: gmhwxiATgmailDOTcom *)+(* Start time: February, 2014 *)+(* ****** ****** *)+(*+** Source:+** $PATSHOME/prelude/DATS/CODEGEN/integer_short.atxt+** Time of generation: Thu Jan 11 11:00:12 2018+*)+(* ****** ****** *)+#define ATS_DYNLOADFLAG 0++// no dynloading+(* ****** ****** *)+//+staload UN = "prelude/SATS/unsafe.sats"++//+(* ****** ****** *)+//+implement g0int2int<sintknd,intknd> =+  g0int2int_sint_int++implement g0int2uint<sintknd,uintknd> =+  g0int2uint_sint_uint++//+(* ****** ****** *)+//+implement g0uint2int<usintknd,intknd> =+  g0uint2int_usint_int++implement g0uint2uint<usintknd,uintknd> =+  g0uint2uint_usint_uint++//+(* ****** ****** *)+//+implement g0int_neg<sintknd> =+  g0int_neg_sint++implement g0int_abs<sintknd> =+  g0int_abs_sint++implement g0int_succ<sintknd> =+  g0int_succ_sint++implement g0int_pred<sintknd> =+  g0int_pred_sint++implement g0int_half<sintknd> =+  g0int_half_sint++implement g0int_add<sintknd> =+  g0int_add_sint++implement g0int_sub<sintknd> =+  g0int_sub_sint++implement g0int_mul<sintknd> =+  g0int_mul_sint++implement g0int_div<sintknd> =+  g0int_div_sint++implement g0int_mod<sintknd> =+  g0int_mod_sint++implement g0int_asl<sintknd> =+  g0int_asl_sint++implement g0int_asr<sintknd> =+  g0int_asr_sint++implement g0int_isltz<sintknd> =+  g0int_isltz_sint++implement g0int_isltez<sintknd> =+  g0int_isltez_sint++implement g0int_isgtz<sintknd> =+  g0int_isgtz_sint++implement g0int_isgtez<sintknd> =+  g0int_isgtez_sint++implement g0int_iseqz<sintknd> =+  g0int_iseqz_sint++implement g0int_isneqz<sintknd> =+  g0int_isneqz_sint++implement g0int_lt<sintknd> =+  g0int_lt_sint++implement g0int_lte<sintknd> =+  g0int_lte_sint++implement g0int_gt<sintknd> =+  g0int_gt_sint++implement g0int_gte<sintknd> =+  g0int_gte_sint++implement g0int_eq<sintknd> =+  g0int_eq_sint++implement g0int_neq<sintknd> =+  g0int_neq_sint++implement g0int_compare<sintknd> =+  g0int_compare_sint++implement g0int_max<sintknd> =+  g0int_max_sint++implement g0int_min<sintknd> =+  g0int_min_sint++//+implement fprint_val<sint> (out, x) =+  fprint_sint((out, x))++//+implement g0uint_succ<usintknd> =+  g0uint_succ_usint++implement g0uint_pred<usintknd> =+  g0uint_pred_usint++implement g0uint_half<usintknd> =+  g0uint_half_usint++implement g0uint_add<usintknd> =+  g0uint_add_usint++implement g0uint_sub<usintknd> =+  g0uint_sub_usint++implement g0uint_mul<usintknd> =+  g0uint_mul_usint++implement g0uint_div<usintknd> =+  g0uint_div_usint++implement g0uint_mod<usintknd> =+  g0uint_mod_usint++implement g0uint_lsl<usintknd> =+  g0uint_lsl_usint++implement g0uint_lsr<usintknd> =+  g0uint_lsr_usint++implement g0uint_lnot<usintknd> =+  g0uint_lnot_usint++implement g0uint_lor<usintknd> =+  g0uint_lor_usint++implement g0uint_lxor<usintknd> =+  g0uint_lxor_usint++implement g0uint_land<usintknd> =+  g0uint_land_usint++implement g0uint_isgtz<usintknd> =+  g0uint_isgtz_usint++implement g0uint_iseqz<usintknd> =+  g0uint_iseqz_usint++implement g0uint_isneqz<usintknd> =+  g0uint_isneqz_usint++implement g0uint_lt<usintknd> =+  g0uint_lt_usint++implement g0uint_lte<usintknd> =+  g0uint_lte_usint++implement g0uint_gt<usintknd> =+  g0uint_gt_usint++implement g0uint_gte<usintknd> =+  g0uint_gte_usint++implement g0uint_eq<usintknd> =+  g0uint_eq_usint++implement g0uint_neq<usintknd> =+  g0uint_neq_usint++implement g0uint_compare<usintknd> =+  g0uint_compare_usint++implement g0uint_max<usintknd> =+  g0uint_max_usint++implement g0uint_min<usintknd> =+  g0uint_min_usint++//+implement fprint_val<usint> (out, x) =+  fprint_usint((out, x))++//+(* ****** ****** *)+(* end of [integer_short.dats] *)

@@ -0,0 +1,450 @@+(***********************************************************************)+(*                                                                     *)+(*                         Applied Type System                         *)+(*                                                                     *)+(***********************************************************************)+(*+** ATS/Postiats - Unleashing the Potential of Types!+** Copyright (C) 2010-2015 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.+*)+(* ****** ****** *)+(* Author: Hongwei Xi *)+(* Authoremail: gmhwxiATgmailDOTcom *)+(* Start time: May, 2012 *)+(* ****** ****** *)+(*+** Source:+** $PATSHOME/prelude/DATS/CODEGEN/integer_size.atxt+** Time of generation: Thu Jan 11 11:00:12 2018+*)+(* ****** ****** *)+#define ATS_DYNLOADFLAG 0++// no dynloading+(* ****** ****** *)+//+staload UN = "prelude/SATS/unsafe.sats"++//+(* ****** ****** *)+//+implement g0int2uint<intknd,sizeknd> =+  g0int2uint_int_size++implement g1int2uint<intknd,sizeknd> =+  g1int2uint_int_size++//+implement g0uint2uint<uintknd,sizeknd> =+  g0uint2uint_uint_size++implement g1uint2uint<uintknd,sizeknd> =+  g1uint2uint_uint_size++//+(* ****** ****** *)+//+implement g0int2int<intknd,ssizeknd> =+  g0int2int_int_ssize++implement g1int2int<intknd,ssizeknd> =+  g1int2int_int_ssize++//+implement g0uint2int<uintknd,ssizeknd> =+  g0uint2int_uint_ssize++implement g1uint2int<uintknd,ssizeknd> =+  g1uint2int_uint_ssize++//+(* ****** ****** *)+//+implement g0uint2int<sizeknd,intknd> =+  g0uint2int_size_int++implement g1uint2int<sizeknd,intknd> =+  g1uint2int_size_int++//+implement g0uint2uint<sizeknd,uintknd> =+  g0uint2uint_size_uint++implement g1uint2uint<sizeknd,uintknd> =+  g1uint2uint_size_uint++//+implement g0uint2uint<sizeknd,sizeknd> =+  g0uint2uint_size_size++implement g1uint2uint<sizeknd,sizeknd> =+  g1uint2uint_size_size++//+(* ****** ****** *)+//+implement g0int2int<ssizeknd,intknd> =+  g0int2int_ssize_int++implement g1int2int<ssizeknd,intknd> =+  g1int2int_ssize_int++//+implement g0int2uint<ssizeknd,uintknd> =+  g0int2uint_ssize_uint++implement g1int2uint<ssizeknd,uintknd> =+  g1int2uint_ssize_uint++//+implement g0int2int<ssizeknd,ssizeknd> =+  g0int2int_ssize_ssize++implement g1int2int<ssizeknd,ssizeknd> =+  g1int2int_ssize_ssize++//+(* ****** ****** *)+//+implement g0uint2int<sizeknd,ssizeknd> =+  g0uint2int_size_ssize++implement g1uint2int<sizeknd,ssizeknd> =+  g1uint2int_size_ssize++//+implement g0int2uint<ssizeknd,sizeknd> =+  g0int2uint_ssize_size++implement g1int2uint<ssizeknd,sizeknd> =+  g1int2uint_ssize_size++//+(* ****** ****** *)+//+implement g0uint_succ<sizeknd> =+  g0uint_succ_size++implement g0uint_pred<sizeknd> =+  g0uint_pred_size++implement g0uint_half<sizeknd> =+  g0uint_half_size++implement g0uint_add<sizeknd> =+  g0uint_add_size++implement g0uint_sub<sizeknd> =+  g0uint_sub_size++implement g0uint_mul<sizeknd> =+  g0uint_mul_size++implement g0uint_div<sizeknd> =+  g0uint_div_size++implement g0uint_mod<sizeknd> =+  g0uint_mod_size++implement g0uint_lsl<sizeknd> =+  g0uint_lsl_size++implement g0uint_lsr<sizeknd> =+  g0uint_lsr_size++implement g0uint_lnot<sizeknd> =+  g0uint_lnot_size++implement g0uint_lor<sizeknd> =+  g0uint_lor_size++implement g0uint_lxor<sizeknd> =+  g0uint_lxor_size++implement g0uint_land<sizeknd> =+  g0uint_land_size++implement g0uint_isgtz<sizeknd> =+  g0uint_isgtz_size++implement g0uint_iseqz<sizeknd> =+  g0uint_iseqz_size++implement g0uint_isneqz<sizeknd> =+  g0uint_isneqz_size++implement g0uint_lt<sizeknd> =+  g0uint_lt_size++implement g0uint_lte<sizeknd> =+  g0uint_lte_size++implement g0uint_gt<sizeknd> =+  g0uint_gt_size++implement g0uint_gte<sizeknd> =+  g0uint_gte_size++implement g0uint_eq<sizeknd> =+  g0uint_eq_size++implement g0uint_neq<sizeknd> =+  g0uint_neq_size++implement g0uint_compare<sizeknd> =+  g0uint_compare_size++implement g0uint_max<sizeknd> =+  g0uint_max_size++implement g0uint_min<sizeknd> =+  g0uint_min_size++//+implement fprint_val<size_t> (out, x) =+  fprint_size((out, x))++//+implement g1uint_succ<sizeknd> =+  g1uint_succ_size++implement g1uint_pred<sizeknd> =+  g1uint_pred_size++implement g1uint_half<sizeknd> =+  g1uint_half_size++implement g1uint_add<sizeknd> =+  g1uint_add_size++implement g1uint_sub<sizeknd> =+  g1uint_sub_size++implement g1uint_mul<sizeknd> =+  g1uint_mul_size++implement g1uint_div<sizeknd> =+  g1uint_div_size++implement g1uint_mod<sizeknd> =+  g1uint_mod_size++implement g1uint_isgtz<sizeknd> =+  g1uint_isgtz_size++implement g1uint_iseqz<sizeknd> =+  g1uint_iseqz_size++implement g1uint_isneqz<sizeknd> =+  g1uint_isneqz_size++implement g1uint_lt<sizeknd> =+  g1uint_lt_size++implement g1uint_lte<sizeknd> =+  g1uint_lte_size++implement g1uint_gt<sizeknd> =+  g1uint_gt_size++implement g1uint_gte<sizeknd> =+  g1uint_gte_size++implement g1uint_eq<sizeknd> =+  g1uint_eq_size++implement g1uint_neq<sizeknd> =+  g1uint_neq_size++implement g1uint_compare<sizeknd> =+  g1uint_compare_size++implement g1uint_max<sizeknd> =+  g1uint_max_size++implement g1uint_min<sizeknd> =+  g1uint_min_size++//+(* ****** ****** *)+//+implement g0int_neg<ssizeknd> =+  g0int_neg_ssize++implement g0int_abs<ssizeknd> =+  g0int_abs_ssize++implement g0int_succ<ssizeknd> =+  g0int_succ_ssize++implement g0int_pred<ssizeknd> =+  g0int_pred_ssize++implement g0int_half<ssizeknd> =+  g0int_half_ssize++implement g0int_add<ssizeknd> =+  g0int_add_ssize++implement g0int_sub<ssizeknd> =+  g0int_sub_ssize++implement g0int_mul<ssizeknd> =+  g0int_mul_ssize++implement g0int_div<ssizeknd> =+  g0int_div_ssize++implement g0int_mod<ssizeknd> =+  g0int_mod_ssize++implement g0int_asl<ssizeknd> =+  g0int_asl_ssize++implement g0int_asr<ssizeknd> =+  g0int_asr_ssize++implement g0int_isltz<ssizeknd> =+  g0int_isltz_ssize++implement g0int_isltez<ssizeknd> =+  g0int_isltez_ssize++implement g0int_isgtz<ssizeknd> =+  g0int_isgtz_ssize++implement g0int_isgtez<ssizeknd> =+  g0int_isgtez_ssize++implement g0int_iseqz<ssizeknd> =+  g0int_iseqz_ssize++implement g0int_isneqz<ssizeknd> =+  g0int_isneqz_ssize++implement g0int_lt<ssizeknd> =+  g0int_lt_ssize++implement g0int_lte<ssizeknd> =+  g0int_lte_ssize++implement g0int_gt<ssizeknd> =+  g0int_gt_ssize++implement g0int_gte<ssizeknd> =+  g0int_gte_ssize++implement g0int_eq<ssizeknd> =+  g0int_eq_ssize++implement g0int_neq<ssizeknd> =+  g0int_neq_ssize++implement g0int_compare<ssizeknd> =+  g0int_compare_ssize++implement g0int_max<ssizeknd> =+  g0int_max_ssize++implement g0int_min<ssizeknd> =+  g0int_min_ssize++//+implement fprint_val<ssize_t> (out, x) =+  fprint_ssize((out, x))++//+implement g1int_neg<ssizeknd> =+  g1int_neg_ssize++implement g1int_abs<ssizeknd> =+  g1int_abs_ssize++implement g1int_succ<ssizeknd> =+  g1int_succ_ssize++implement g1int_pred<ssizeknd> =+  g1int_pred_ssize++implement g1int_half<ssizeknd> =+  g1int_half_ssize++implement g1int_add<ssizeknd> =+  g1int_add_ssize++implement g1int_sub<ssizeknd> =+  g1int_sub_ssize++implement g1int_mul<ssizeknd> =+  g1int_mul_ssize++implement g1int_div<ssizeknd> =+  g1int_div_ssize++implement g1int_nmod<ssizeknd> =+  g1int_nmod_ssize++implement g1int_isltz<ssizeknd> =+  g1int_isltz_ssize++implement g1int_isltez<ssizeknd> =+  g1int_isltez_ssize++implement g1int_isgtz<ssizeknd> =+  g1int_isgtz_ssize++implement g1int_isgtez<ssizeknd> =+  g1int_isgtez_ssize++implement g1int_iseqz<ssizeknd> =+  g1int_iseqz_ssize++implement g1int_isneqz<ssizeknd> =+  g1int_isneqz_ssize++implement g1int_lt<ssizeknd> =+  g1int_lt_ssize++implement g1int_lte<ssizeknd> =+  g1int_lte_ssize++implement g1int_gt<ssizeknd> =+  g1int_gt_ssize++implement g1int_gte<ssizeknd> =+  g1int_gte_ssize++implement g1int_eq<ssizeknd> =+  g1int_eq_ssize++implement g1int_neq<ssizeknd> =+  g1int_neq_ssize++implement g1int_compare<ssizeknd> =+  g1int_compare_ssize++implement g1int_max<ssizeknd> =+  g1int_max_ssize++implement g1int_min<ssizeknd> =+  g1int_min_ssize++//+(* ****** ****** *)+(* end of [integer_size.dats] *)