diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_basics.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_basics.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_basics.h @@ -0,0 +1,172 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: October, 2012 *) +*/ + +/* ****** ****** */ + +#ifndef PATS_CCOMP_BASICS_H +#define PATS_CCOMP_BASICS_H + +/* ****** ****** */ +// +// HX: boolean values +// +#define atsbool_true 1 +#define atsbool_false 0 +// +#define atsptr_null ((void*)0) +#define the_atsptr_null ((void*)0) +// +/* ****** ****** */ +// +#define ATSstruct struct +// +/* ****** ****** */ +/* +#define ATStypedef typedef +*/ +// +/* ****** ****** */ + +#ifndef \ +ATS_EXTERN_DEF__ +#define ATSextern() extern +#else +#define ATSextern() ATS_EXTERN_DEF__ +#endif // #ifndef + +/* ****** ****** */ + +#ifndef \ +ATS_STATIC_DEF__ +#define ATSstatic() static +#else +#define ATSstatic() ATS_STATIC_DEF__ +#endif // #ifndef + +/* ****** ****** */ + +#ifndef \ +ATS_INLINE_DEF__ +#define ATSinline() static inline +#else +#define ATSinline() ATS_INLINE_DEF__ +#endif // #ifndef + +/* ****** ****** */ +// +#define ATSdynload() +// +#define ATSdynloadflag_sta(flag) +#define ATSdynloadflag_ext(flag) ATSextern() int flag +// +#define ATSdynloadflag_init(flag) int flag = 0 +// +#define ATSdynloadflag_minit(flag) int flag = 0 +// +#define ATSdynloadset(flag) flag = 1 +#define ATSdynloadfcall(dynloadfun) dynloadfun() +// +/* ****** ****** */ + +#ifndef \ +_ATS_CCOMP_EXCEPTION_NONE_ +// +#define \ +ATSdynexn_dec(d2c) \ +atstype_exncon d2c = { 0, "__ATSEXNMSG__" } +// +#define \ +ATSdynexn_extdec(d2c) ATSextern() atstype_exncon d2c +// +#define \ +ATSdynexn_initize(d2c, exnmsg) the_atsexncon_initize(&(d2c), exnmsg) +// +#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] + +/* ****** ****** */ + +#define ATSassume(flag) void *flag = (void*)0 + +/* ****** ****** */ +// +#define ATSclosurerize_end(flab) +#define ATSclosurerize_beg(flab, tenvs, targs, tres) +// +/* ****** ****** */ + +#define ATSdyncst_mac(d2c) +#define ATSdyncst_castfn(d2c) +#define ATSdyncst_extfun(d2c, targs, tres) ATSextern() tres d2c targs +#define ATSdyncst_stafun(d2c, targs, tres) ATSstatic() tres d2c targs + +/* ****** ****** */ + +#define ATSdyncst_valimp(d2c, type) type d2c +#define ATSdyncst_valdec(d2c, type) ATSextern() type d2c + +/* ****** ****** */ +// +#define \ +ATSmainats_void_0(err) mainats_void_0() +#define \ +ATSmainats_argc_argv_0(argc, argv, err) mainats_argc_argv_0(argc, argv) +#define \ +ATSmainats_argc_argv_envp_0(argc, argv, envp, err) mainats_argc_argv_envp_0(argc, argv, envp) +// +#define \ +ATSmainats_void_int(err) err = mainats_void_int() +#define \ +ATSmainats_argc_argv_int(argc, argv, err) err = mainats_argc_argv_int(argc, argv) +#define \ +ATSmainats_argc_argv_envp_int(argc, argv, envp, err) err = mainats_argc_argv_envp_int(argc, argv, envp) +// +/* ****** ****** */ +// +extern +void atsruntime_raise (void *exn) ; +extern +void atsruntime_handle_uncaughtexn (void *exn0) ; +extern +void atsruntime_handle_unmatchedval (char *msg0) ; +extern +void atsruntime_handle_unmatchedarg (char *msg0) ; +// +/* ****** ****** */ + +#endif /* PATS_CCOMP_BASICS_H */ + +/* ****** ****** */ + +/* end of [pats_ccomp_basics.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_config.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_config.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_config.h @@ -0,0 +1,49 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: January, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef PATS_CCOMP_CONFIG_H +#define PATS_CCOMP_CONFIG_H + +/* ****** ****** */ + +// HX: it is yet empty + +/* ****** ****** */ + +#endif /* PATS_CCOMP_CONFIG_H */ + +/* end of [pats_ccomp_config.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_exception.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_exception.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_exception.h @@ -0,0 +1,179 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: June, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef PATS_CCOMP_EXCEPTION_H +#define PATS_CCOMP_EXCEPTION_H + +/* ****** ****** */ + +/* +use -D_XOPEN_SOURCE +*/ +#include + +/* ****** ****** */ + +#define atstype_jmp_buf jmp_buf +#define atspre_setjmp(env, mask) setjmp(env) +#define atspre_longjmp(env, ret) longjmp(env, ret) + +/* ****** ****** */ + +/* +#include +*/ +extern void *alloca (size_t bsz) ; + +/* ****** ****** */ + +/* +extern +atstype_exncon *atspre_AssertExn_make() ; +extern +atstype_exncon *atspre_NotFoundExn_make() ; +extern +atstype_exncon *atspre_IllegalArgExn_make(const char*) ; +extern +atstype_exncon *atspre_ListSubscriptExn_make() ; +extern +atstype_exncon *atspre_StreamSubscriptExn_make() ; +extern +atstype_exncon *atspre_ArraySubscriptExn_make() ; +extern +atstype_exncon *atspre_MatrixSubscriptExn_make() ; +// +extern atstype_exncon *atspre_NotSomeExn_make() ; +// +extern +atstype_bool atspre_isListSubscriptExn (const atstype_exncon*) ; +extern +atstype_bool atspre_isStreamSubscriptExn (const atstype_exncon*) ; +extern +atstype_bool atspre_isArraySubscriptExn (const atstype_exncon*) ; +extern +atstype_bool atspre_isMatrixSubscriptExn (const atstype_exncon*) ; +// +extern atstype_bool atspre_isNotSomeExn (const atstype_exncon*) ; +*/ + +/* ****** ****** */ + +typedef +struct atsexnframe +{ + atstype_jmp_buf env ; + atstype_exnconptr exn ; + struct atsexnframe *prev ; +} atsexnframe_t ; + +typedef +atsexnframe_t *atsexnframe_ptr ; + +/* ****** ****** */ + +#define \ +atsexnframe_alloc() alloca(sizeof(atsexnframe_t)) +#define \ +atsexnframe_mfree(frame) /* there-is-nothing-to-do */ + +/* ****** ****** */ + +extern +atsexnframe_ptr *my_atsexnframe_getref () ; + +/* ****** ****** */ + +static +inline +void my_atsexnframe_enter +( + atsexnframe_ptr frame +, atsexnframe_ptr *framep +) { + frame->prev = *framep ; *framep = frame ; return ; +} // end of [my_atsexnframe_enter] + +static +inline +void my_atsexnframe_leave +( + atsexnframe_ptr *framep +) { + atsexnframe_mfree(*framep) ; *framep = (*framep)->prev ; return ; +} // end of [my_atsexnframe_leave] + +/* ****** ****** */ + +/* +** HX: +** beg-of-WARNING: +** DO NOT USE THE FOLLOWING MACROS: +*/ + +#define \ +ATStrywith_try(tmpexn) \ +do { \ + int flag ; \ + atsexnframe_ptr frame ; \ + atsexnframe_ptr *framep ; \ + frame = atsexnframe_alloc() ; \ + framep = my_atsexnframe_getref() ; \ + my_atsexnframe_enter(frame, framep) ; \ + flag = atspre_setjmp(frame->env, 1) ; \ + if (flag==0) { /* normal */ + +#define \ +ATStrywith_with(tmpexn) \ + my_atsexnframe_leave(framep) ; \ + } else { /* flag<>0 : exceptional */ \ + tmpexn = (*framep)->exn ; \ + my_atsexnframe_leave(framep) ; + +#define \ +ATStrywith_end(tmpexn) \ + } \ +} while(0) ; /* end of [do] */ + +/* end-of-WARNING */ + +/* ****** ****** */ + +#endif /* PATS_CCOMP_EXCEPTION_H */ + +/* ****** ****** */ + +/* end of [pats_ccomp_exception.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_instrset.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_instrset.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_instrset.h @@ -0,0 +1,441 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: October, 2012 *) +*/ + +/* ****** ****** */ + +#ifndef PATS_CCOMP_INSTRSET_H +#define PATS_CCOMP_INSTRSET_H + +/* ****** ****** */ +// +// HX: boolean values +// +#define atsbool_true 1 +#define atsbool_false 0 +// +/* ****** ****** */ + +#define ATStysum() struct{ int contag; } +#define ATStyexn() struct{ int exntag; char *exnmsg; } +#define ATStylist(tyelt) struct{ tyelt head; void *tail; } +#define ATStyclo() struct{ void *cfun; } + +/* ****** ****** */ +// +// HX: for supporting lazy-evaluation +// +#define \ +ATStylazy(tyval) \ + struct{ int flag; union{ void* thunk; tyval saved; } lazy; } +// +/* ****** ****** */ + +#define ATSif(x) if(x) +#define ATSthen() +#define ATSelse() else + +/* ****** ****** */ + +#define ATSifthen(x) if(x) +#define ATSifnthen(x) if(!(x)) + +/* ****** ****** */ + +#define ATSdo() do +#define ATSwhile(x) while(x) +#define ATSbreak() break +#define ATScontinue() continue + +/* ****** ****** */ +// +// HX: handling for/while loops +// +#define \ +ATSloop_open(init, fini, cont) \ + do { init: +#define \ +ATSloop_close(init, fini, cont) \ + goto init ; fini: break ; } while(0) +// +#define ATSbreak2(fini) goto fini +#define ATScontinue2(cont) goto cont +// +/* ****** ****** */ + +#define ATSreturn(x) return(x) +#define ATSreturn_void(x) return + +/* ****** ****** */ + +#define ATSFCreturn(x) return(x) +#define ATSFCreturn_void(x) (x); return + +/* ****** ****** */ +// +#define ATSbranch_beg() +#define ATSbranch_end() break ; +// +#define ATScaseof_beg() do { +#define ATScaseof_end() } while(0) ; +// +/* ****** ****** */ + +#define ATSextcode_beg() +#define ATSextcode_end() + +/* ****** ****** */ + +#define ATSfunbody_beg() +#define ATSfunbody_end() + +/* ****** ****** */ + +#define ATSPMVint(i) i +#define ATSPMVintrep(rep) (rep) + +#define ATSPMVbool_true() atsbool_true +#define ATSPMVbool_false() atsbool_false +#define ATSPMVchar(c) (c) +#define ATSPMVfloat(rep) (rep) +#define ATSPMVstring(str) (str) + +#define ATSPMVi0nt(tok) (tok) +#define ATSPMVf0loat(tok) (tok) + +/* ****** ****** */ + +#define ATSCSTSPmyfil(info) info +#define ATSCSTSPmyloc(info) info + +/* ****** ****** */ +// +#define ATSPMVtop() atserror_top +// +#define ATSPMVempty() /*empty*/ +#define ATSPMVextval(name) (name) +// +/* ****** ****** */ + +#define ATSPMVptrof(lval) (&(lval)) +#define ATSPMVptrof_void(lval) ((void*)0) + +/* ****** ****** */ + +#define ATSPMVrefarg0(val) (val) +#define ATSPMVrefarg1(ref) (ref) + +/* ****** ****** */ + +#define ATSPMVvararg0() 0 +#define ATSPMVvararg1(...) __VA_ARGS__ + +/* ****** ****** */ + +#define ATSPMVtyrep(rep) (rep) + +/* ****** ****** */ + +#define ATSPMVsizeof(hit) (sizeof(hit)) + +/* ****** ****** */ +// +#define ATSPMVfunlab(flab) (flab) +// +// HX-2015-07-06: not yet in use: +// +#define ATSPMVfunlab2(flab, arity) (flab) +// +/* ****** ****** */ + +#define ATSPMVcfunlab(knd, flab, env) (flab##__closurerize)env + +/* ****** ****** */ + +// +// HX: castfn application +// +#define ATSPMVcastfn(d2c, hit, arg) ((hit)arg) +// +/* ****** ****** */ + +#define ATSfuncall(fun, funarg) (fun)funarg + +/* ****** ****** */ +// +#define ATSextfcall(fun, funarg) (fun)funarg +#define ATSextmcall(obj, mtd, funarg) (obj->mtd)funarg +// +/* ****** ****** */ +// +#define \ +ATSfunclo_fun(pmv, targs, tres) ((tres(*)targs)(pmv)) +#define \ +ATSfunclo_clo(pmv, targs, tres) ((tres(*)targs)(((ATStyclo()*)pmv)->cfun)) +// +/* ****** ****** */ +// +#define ATStmpdec(tmp, hit) hit tmp +#define ATStmpdec_void(tmp) +// +#define ATSstatmpdec(tmp, hit) static hit tmp +#define ATSstatmpdec_void(tmp) +// +/* ****** ****** */ + +#define ATSderef(pmv, hit) (*(hit*)pmv) + +/* ****** ****** */ +// +// HX: [ATSSELcon] is the same as [ATSSELboxrec] +// +#define ATSSELcon(pmv, tysum, lab) (((tysum*)pmv)->lab) +// +#define ATSSELrecsin(pmv, tyrec, lab) (pmv) +#define ATSSELfltrec(pmv, tyrec, lab) ((pmv).lab) +#define ATSSELboxrec(pmv, tyrec, lab) (((tyrec*)pmv)->lab) +#define ATSSELarrind(pmv, tyarr, lab) (((tyarr)pmv).lab) +#define ATSSELarrptrind(pmv, tyelt, lab) (((tyelt*)pmv)lab) +// +/* ****** ****** */ +// +#define ATSCKnot(x) ((x)==0) +// +#define ATSCKiseqz(x) ((x)==0) +#define ATSCKisneqz(x) ((x)!=0) +// +#define ATSCKptriscons(x) (0 != (void*)(x)) +#define ATSCKptrisnull(x) (0 == (void*)(x)) +// +/* ****** ****** */ +// +#define ATSCKpat_int(pmv, pat) ((pmv)==pat) +#define ATSCKpat_bool(pmv, pat) ((pmv)==pat) +#define ATSCKpat_char(pmv, pat) ((pmv)==pat) +#define ATSCKpat_float(pmv, pat) ((pmv)==pat) +#define ATSCKpat_string(pmv, pat) (atspre_string_equal(pmv, pat)) +// +/* +** a datatype should not contain more than 1024 constructors! +*/ +#define ATS_DATACONMAX 1024 +// +#define ATSCKpat_con0(pmv, tag) ((pmv)==(void*)tag) +#define ATSCKpat_con1(pmv, tag) \ + ((pmv)>=(void*)ATS_DATACONMAX && ((ATStysum()*)(pmv))->contag==tag) +// +#define ATSCKpat_exn0(pmv, d2con) ((pmv)==(void*)(&(d2con))) +#define ATSCKpat_exn1(pmv, d2con) (((ATStyexn()*)(pmv))->exntag==(&(d2con))->exntag) +// +/* ****** ****** */ +// +#define ATSINSlab(lab) lab +#define ATSINSgoto(lab) goto lab +// +#define ATSINSflab(flab) flab +#define ATSINSfgoto(flab) goto flab +// +/* ****** ****** */ + +#define ATSINSfreeclo(cloptr) ATS_MFREE(cloptr) +#define ATSINSfreecon(datconptr) ATS_MFREE(datconptr) + +/* ****** ****** */ + +#define ATSINSmove(tmp, val) (tmp = val) +#define ATSINSpmove(tmp, hit, val) (*(hit*)tmp = val) + +/* ****** ****** */ +/* +** HX-2013-01-20: +** Do not have parentheses around [command] +*/ +#define ATSINSmove_void(tmp, command) command +#define ATSINSpmove_void(tmp, hit, command) command + +/* ****** ****** */ + +#define ATSINSmove_ptralloc(tmp, hit) (tmp = ATS_MALLOC(sizeof(hit))) + +/* ****** ****** */ +// +#define \ +ATSINSmove_nil(tmp) (tmp = ((void*)0)) +// +#define \ +ATSINSmove_con0(tmp, tag) (tmp = ((void*)tag)) +// +#define ATSINSmove_con1_beg() +#define ATSINSmove_con1_end() +#define ATSINSmove_con1_new(tmp, tysum) (tmp = ATS_MALLOC(sizeof(tysum))) +#define ATSINSstore_con1_tag(tmp, val) (((ATStysum()*)(tmp))->contag = val) +#define ATSINSstore_con1_ofs(tmp, tysum, lab, val) (((tysum*)(tmp))->lab = val) +// +/* ****** ****** */ +// +#define ATSINSmove_exn0(tmp, d2con) (tmp = &(d2con)) +// +#define ATSINSmove_exn1_beg() +#define ATSINSmove_exn1_end() +#define ATSINSmove_exn1_new(tmp, tyexn) (tmp = ATS_MALLOC(sizeof(tyexn))) +#define ATSINSstore_exn1_tag(tmp, d2con) (((ATStyexn()*)tmp)->exntag = (&(d2con))->exntag) +#define ATSINSstore_exn1_msg(tmp, d2con) (((ATStyexn()*)tmp)->exnmsg = (&(d2con))->exnmsg) +// +/* ****** ****** */ +// +#define ATStailcal_beg() do { +#define ATStailcal_end() } while(0) ; +// +#define ATSINSmove_tlcal(apy, tmp) (apy = tmp) +#define ATSINSargmove_tlcal(arg, apy) (arg = apy) +// +/* ****** ****** */ + +#define ATSINSmove_fltrec_beg() +#define ATSINSmove_fltrec_end() +#define ATSINSstore_fltrec_ofs(tmp, tyrec, lab, val) ((tmp).lab = val) + +/* ****** ****** */ + +#define ATSINSmove_boxrec_beg() +#define ATSINSmove_boxrec_end() +#define ATSINSmove_boxrec_new(tmp, tyrec) (tmp = ATS_MALLOC(sizeof(tyrec))) +#define ATSINSstore_boxrec_ofs(tmp, tyrec, lab, val) (((tyrec*)(tmp))->lab = val) + +/* ****** ****** */ + +#define ATSINSload(tmp, pmv) (tmp = pmv) +#define ATSINSstore(pmv1, pmv2) (pmv1 = pmv2) +#define ATSINSxstore(tmp, pmv1, pmv2) (tmp = pmv1, pmv1 = pmv2, pmv2 = tmp) + +/* ****** ****** */ +// +#define ATSINSmove_list_nil(tmp) (tmp = (void*)0) +#define ATSINSmove_list_phead(tmp1, tmp2, tyelt) (tmp1 = &(((ATStylist(tyelt)*)(*(void**)tmp2))->head)) +#define ATSINSmove_list_ptail(tmp1, tmp2, tyelt) (tmp1 = &(((ATStylist(tyelt)*)(*(void**)tmp2))->tail)) +#define ATSINSpmove_list_nil(tmp) (*(void**)tmp = (void*)0) +#define ATSINSpmove_list_cons(tmp, tyelt) (*(void**)tmp = ATS_MALLOC(sizeof(ATStylist(tyelt)))) +// +/* ****** ****** */ +// +#define ATSINSstore_arrpsz_asz(tmp, asz) ((tmp).size = asz) +#define ATSINSstore_arrpsz_ptr(tmp, tyelt, asz) ((tmp).ptr = ATS_MALLOC(asz*sizeof(tyelt))) +// +#define ATSINSmove_arrpsz_ptr(tmp, psz) (tmp = (psz).ptr) +// +#define ATSINSupdate_ptrinc(tmp, tyelt) (tmp = (tyelt*)(tmp) + 1) +#define ATSINSupdate_ptrdec(tmp, tyelt) (tmp = (tyelt*)(tmp) - 1) +// +/* ****** ****** */ + +#define ATSINSextvar_assign(var, pmv) var = (pmv) +#define ATSINSdyncst_valbind(d2cst, pmv) d2cst = (pmv) + +/* ****** ****** */ + +#define ATSINSclosure_initize(flab, tmpenv) (flab##__closureinit)tmpenv + +/* ****** ****** */ +// +#define ATSINSraise_exn(tmp, pmv) atsruntime_raise(pmv) +// +/* ****** ****** */ +// +#define ATSINScaseof_fail(msg) atsruntime_handle_unmatchedval(msg) +#define ATSINSfunarg_fail(msg) atsruntime_handle_unmatchedarg(msg) +// +/* ****** ****** */ + +#define \ +ATSINSmove_delay(tmpret, tyval, pmv_thk) \ +do { \ + tmpret = \ + ATS_MALLOC(sizeof(ATStylazy(tyval))) ; \ + (*(ATStylazy(tyval)*)tmpret).flag = 0 ; \ + (*(ATStylazy(tyval)*)tmpret).lazy.thunk = pmv_thk ; \ +} while(0) ; /* end of [do ... while ...] */ + +#define \ +ATSINSmove_lazyeval(tmpret, tyval, pmv_lazy) \ +do { \ + if ( \ + (*(ATStylazy(tyval)*)pmv_lazy).flag==0 \ + ) { \ + (*(ATStylazy(tyval)*)pmv_lazy).flag += 1 ; \ + atstype_cloptr __thunk = (*(ATStylazy(tyval)*)pmv_lazy).lazy.thunk ; \ + tmpret = ATSfuncall(ATSfunclo_clo(__thunk, (atstype_cloptr), tyval), (__thunk)) ; \ + (*(ATStylazy(tyval)*)pmv_lazy).lazy.saved = tmpret ; \ + } else { \ + tmpret = (*(ATStylazy(tyval)*)pmv_lazy).lazy.saved ; \ + } /* end of [if] */ \ +} while(0) /* end of [do ... while ...] */ + +/* ****** ****** */ + +#define \ +ATSINSmove_ldelay(tmpret, tyval, __thunk) \ +do { \ + ATSINSmove(tmpret, __thunk) ; \ +} while(0) /* end of [do ... while ...] */ + +#define \ +ATSINSmove_llazyeval(tmpret, tyval, __thunk) \ +do { \ + tmpret = \ + ATSfuncall(ATSfunclo_clo(__thunk, (atstype_cloptr, atstype_bool), tyval), (__thunk, atsbool_true)) ; \ + ATS_MFREE(__thunk) ; \ +} while(0) /* end of [do ... while ...] */ + +/* ****** ****** */ + +#define \ +atspre_lazy_vt_free(__thunk) \ +do { \ + ATSfuncall(ATSfunclo_clo(__thunk, (atstype_cloptr, atstype_bool), void), (__thunk, atsbool_false)) ; \ + ATS_MFREE(__thunk) ; \ +} while(0) /* atspre_lazy_vt_free */ + +/* ****** ****** */ +// +// HX-2014-10: +// +#define atspre_lazy2cloref(pmv_lazy) ((*(ATStylazy(atstype_ptr)*)pmv_lazy).lazy.thunk) +// +/* ****** ****** */ + +#endif /* PATS_CCOMP_INSTRSET_H */ + +/* ****** ****** */ + +/* end of [pats_ccomp_instrset.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc.h @@ -0,0 +1,132 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: October, 2012 *) +*/ + +/* ****** ****** */ + +#ifndef PATS_CCOMP_MEMALLOC_H +#define PATS_CCOMP_MEMALLOC_H + +/* ****** ****** */ +// +// HX: for size_t +// +#include +// +/* ****** ****** */ +// +extern +void atsruntime_mfree_undef (void *ptr) ; +// +extern +void *atsruntime_malloc_undef (size_t bsz) ; +extern +void *atsruntime_calloc_undef (size_t asz, size_t tsz) ; +extern +void *atsruntime_realloc_undef (void *ptr, size_t bsz) ; +// +/* ****** ****** */ + +#ifdef ATS_MEMALLOC_FLAG +#undef ATS_MEMALLOC_FLAG +#endif // ifdef(ATS_MEMALLOC_FLAG) + +/* ****** ****** */ + +#ifdef ATS_MEMALLOC_LIBC +// +#define ATS_MEMALLOC_FLAG +// +#include "pats_ccomp_memalloc_libc.h" +// +#define ATS_MINIT atsruntime_minit_libc +#define ATS_MFREE atsruntime_mfree_libc +#define ATS_MALLOC atsruntime_malloc_libc_exn +#define ATS_CALLOC atsruntime_calloc_libc_exn +#define ATS_REALLOC atsruntime_realloc_libc_exn +// +#endif // end of [ATS_MEMALLOC_LIBC] + +/* ****** ****** */ + +#ifdef ATS_MEMALLOC_GCBDW +// +#define ATS_MEMALLOC_FLAG +// +#include "pats_ccomp_memalloc_gcbdw.h" +// +#define ATS_MINIT atsruntime_minit_gcbdw +#define ATS_MFREE atsruntime_mfree_gcbdw +#define ATS_MALLOC atsruntime_malloc_gcbdw_exn +#define ATS_CALLOC atsruntime_calloc_gcbdw_exn +#define ATS_REALLOC atsruntime_realloc_gcbdw_exn +// +#endif // end of [ATS_MEMALLOC_GCBDW] + +/* ****** ****** */ + +#ifdef ATS_MEMALLOC_USER +// +#define ATS_MEMALLOC_FLAG +// +#include "pats_ccomp_memalloc_user.h" +// +#define ATS_MINIT atsruntime_minit_user +#define ATS_MFREE atsruntime_mfree_user +#define ATS_MALLOC atsruntime_malloc_user +#define ATS_CALLOC atsruntime_calloc_user +#define ATS_REALLOC atsruntime_realloc_user +// +#endif // end of [ATS_MEMALLOC_USER] + +/* ****** ****** */ + +#ifndef ATS_MEMALLOC_FLAG +#define ATS_MEMALLOC_FLAG +// +#define ATS_MINIT atsruntime_minit_undef +#define ATS_MFREE atsruntime_mfree_undef +#define ATS_MALLOC atsruntime_malloc_undef +#define ATS_CALLOC atsruntime_calloc_undef +#define ATS_REALLOC atsruntime_realloc_undef +// +#endif // end of [ATS_MEMALLOC_FLAG] + +/* ****** ****** */ + +#endif /* PATS_CCOMP_MEMALLOC_H */ + +/* ****** ****** */ + +/* end of [pats_ccomp_memalloc.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_gcbdw.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_gcbdw.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_gcbdw.h @@ -0,0 +1,146 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: March, 2013 *) +*/ + +/* ****** ****** */ +// +#include +/* +extern +int fprintf (FILE *stream, const char *format, ...) ; +*/ +/* ****** ****** */ +/* +#include +*/ +extern void exit (int code) ; + +/* ****** ****** */ +/* +#include +*/ +extern void GC_init () ; +extern void GC_free (void *ptr) ; +extern void *GC_malloc(size_t bsz) ; +extern void *GC_realloc(void *ptr, size_t bsz) ; + +/* ****** ****** */ + +ATSinline() +atsvoid_t0ype +atsruntime_minit_gcbdw + (/*void*/) { GC_init() ; return ; } +// end of [atsruntime_minit_gcbdw] + +/* ****** ****** */ + +ATSinline() +atsvoid_t0ype +atsruntime_mfree_gcbdw + (void *ptr) { GC_free(ptr) ; return ; } +// end of [atsruntime_mfree_gcbdw] + +/* ****** ****** */ + +ATSinline() +atstype_ptr +atsruntime_malloc_gcbdw + (size_t bsz) { return GC_malloc(bsz) ; } +// end of [atsruntime_malloc_gcbdw] + +ATSinline() +atstype_ptr +atsruntime_malloc_gcbdw_exn + (size_t bsz) +{ + void *ptr ; + ptr = atsruntime_malloc_gcbdw(bsz) ; + if (!ptr) + { + fprintf( + stderr, "exit(ATS): atsruntime_malloc_gcbdw_exn: [malloc] failed.\n" + ) ; exit(1) ; + } // end of [if] + return (ptr) ; +} /* end of [atsruntime_malloc_gcbdw_exn] */ + +/* ****** ****** */ +// +// HX: +// [GC_malloc] already +// clears the allocated region! +// +ATSinline() +atstype_ptr +atsruntime_calloc_gcbdw + (size_t asz, size_t tsz) +{ + return atsruntime_malloc_gcbdw (asz*tsz) ; +} // end of [atsruntime_calloc_gcbdw] + +ATSinline() +atstype_ptr +atsruntime_calloc_gcbdw_exn + (size_t asz, size_t tsz) +{ + return atsruntime_malloc_gcbdw_exn (asz*tsz) ; +} // end of [atsruntime_calloc_gcbdw_exn] + +/* ****** ****** */ + +ATSinline() +atstype_ptr +atsruntime_realloc_gcbdw + (void *ptr, size_t bsz) { return GC_realloc(ptr, bsz) ; } +// end of [atsruntime_realloc_gcbdw] + +ATSinline() +atstype_ptr +atsruntime_realloc_gcbdw_exn + (void *ptr, size_t bsz) +{ + void *ptr2 ; + ptr2 = atsruntime_realloc_gcbdw(ptr, bsz) ; + if (!ptr2) + { + fprintf( + stderr, "exit(ATS): atsruntime_realloc_gcbdw_exn: [realloc] failed.\n" + ) ; exit(1) ; + } // end of [if] + return (ptr2) ; +} /* end of [atsruntime_realloc_gcbdw_exn] */ + +/* ****** ****** */ + +/* end of [pats_ccomp_memalloc_gcbdw.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_user.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_user.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_user.h @@ -0,0 +1,74 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: March, 2013 *) +*/ + +/* ****** ****** */ +// +#include +/* +extern +int fprintf (FILE *stream, const char *format, ...) ; +*/ +/* ****** ****** */ +// +// stdlib.h +// +extern void exit (int code) ; +// +/* ****** ****** */ + +extern void atsruntime_mfree_user (void *ptr) ; +extern void *atsruntime_malloc_user (size_t bsz) ; +extern void *atsruntime_calloc_user (size_t asz, size_t tsz) ; +extern void *atsruntime_realloc_user (void *ptr, size_t bsz) ; + +/* ****** ****** */ + +ATSinline() +atstype_ptr +atsruntime_malloc_user_exn + (atstype_size bsz) +{ + atstype_ptr p ; + p = atsruntime_malloc_user(bsz) ; + if (!p) { + fprintf(stderr, "exit(ATS): atsruntime_malloc_user_exn: [malloc] failed.\n") ; + exit(1) ; + } // end of [if] + return (p) ; +} /* end of [atsruntime_malloc_user_exn] */ + +/* ****** ****** */ + +/* end of [pats_ccomp_memalloc_user.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_user2.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_user2.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_user2.h @@ -0,0 +1,58 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: March, 2013 *) +*/ + +/* ****** ****** */ +// +#include +/* +extern +int fprintf (FILE *stream, const char *format, ...) ; +*/ +/* ****** ****** */ +// +// stdlib.h +// +extern void exit (int code) ; +// +/* ****** ****** */ + +extern void atsruntime_mfree_user2 (void *ptr) ; +extern void *atsruntime_malloc_user2 (size_t bsz) ; +extern void *atsruntime_calloc_user2 (size_t asz, size_t tsz) ; +extern void *atsruntime_realloc_user2 (void *ptr, size_t bsz) ; + +/* ****** ****** */ + +/* end of [pats_ccomp_memalloc_user2.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloca.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloca.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloca.h @@ -0,0 +1,69 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: March, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef PATS_CCOMP_MEMALLOCA_H +#define PATS_CCOMP_MEMALLOCA_H + +/* ****** ****** */ +// +// alloca.h +// +extern void *alloca (size_t bsz) ; +// +/* ****** ****** */ +// +// HX: [afree] matches [alloca] +// +ATSinline() +atsvoid_t0ype +atsruntime_afree_libc + (atstype_ptr ptr) { return ; } +// end of [atsruntime_afree_libc] + +ATSinline() +atstype_ptr +atsruntime_alloca_libc + (atstype_size bsz) { return alloca(bsz) ; } +// end of [atsruntime_alloca_libc] + +/* ****** ****** */ + +#endif /* PATS_CCOMP_MEMALLOCA_H */ + +/* ****** ****** */ + +/* end of [pats_ccomp_memalloca.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime.c b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime.c new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime.c @@ -0,0 +1,166 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: April, 2013 *) +*/ + +/* ****** ****** */ +// +#include +// +extern void exit (int) ; // in [stdlib.h] +// +/* ****** ****** */ + +#include "pats_ccomp_basics.h" +#include "pats_ccomp_typedefs.h" + +/* ****** ****** */ +// +// HX-2013-04: some pre-initialized exceptions +// +/* ****** ****** */ + +#ifndef \ +_ATS_CCOMP_EXCEPTION_NONE_ +// +atstype_exncon +ATSLIB_056_prelude__AssertExn = { 10, "AssertException" } ; +atstype_exncon +ATSLIB_056_prelude__GenerallyExn = { 20, "GenerallyException" } ; +atstype_exncon +ATSLIB_056_prelude__IllegalArgExn = { 30, "IllegalArgException" } ; +// +#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] + +/* ****** ****** */ + +#ifndef \ +_ATS_CCOMP_EXCEPTION_NONE_ +// +atstype_exncon +ATSLIB_056_prelude__NotSomeExn = { 40, "NotSomeException" } ; +atstype_exncon +ATSLIB_056_prelude__NotFoundExn = { 41, "NotFoundException" } ; +// +atstype_exncon +ATSLIB_056_prelude__ListSubscriptExn = { 50, "ListSubscriptException" } ; +atstype_exncon +ATSLIB_056_prelude__StreamSubscriptExn = { 51, "StreamSubscriptException" } ; +// +atstype_exncon +ATSLIB_056_prelude__ArraySubscriptExn = { 60, "ArraySubscriptException" } ; +atstype_exncon +ATSLIB_056_prelude__MatrixSubscriptExn = { 61, "MatrixSubscriptException" } ; +// +#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] + +/* ****** ****** */ + +#ifndef \ +_ATS_CCOMP_EXCEPTION_NONE_ +// +extern +void +the_atsexncon_initize +( + atstype_exncon *d2c, char* exnmsg +) +{ +// + static int the_atsexntag = 1024 ; +// + if (!d2c->exntag) + { + d2c->exntag = the_atsexntag ; + the_atsexntag = the_atsexntag + 1 ; + } + d2c->exnmsg = exnmsg ; + return ; +} // end of [the_atsexncon_initize] +// +#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] + +/* ****** ****** */ +// +// HX-2013: +// for reporting pattern matching failure +// +extern +void +atsruntime_handle_unmatchedval + (char *msg0) +{ + fprintf + ( stderr + , "exit(ATS): unmatched value at run-time:\n%s\n", msg0 + ) ; exit(1) ; + return ; // deadcode +} /* end of [atsruntime_handle_unmatchedval] */ +// +/* ****** ****** */ +// +// HX-2014-06: +// for reporting funarg-pattern matching failure +// +extern +void +atsruntime_handle_unmatchedarg + (char *msg0) +{ + fprintf + ( stderr + , "exit(ATS): unmatched funarg at run-time:\n%s\n", msg0 + ) ; exit(1) ; + return ; // deadcode +} /* end of [atsruntime_handle_unmatchedarg] */ +// +/* ****** ****** */ +// +// HX-2014-06: +// for reporting failure due to uncaught exception +// +extern +void +atsruntime_handle_uncaughtexn_rest + (atstype_exncon *exn0) +{ + fprintf + ( stderr + , "exit(ATS): uncaught exception at run-time:\n%s(%d)\n", exn0->exnmsg, exn0->exntag + ) ; exit(1) ; + return ; // deadcode +} /* end of [atsruntime_handle_uncaughtexn_rest] */ +// +/* ****** ****** */ + +/* end of [pats_ccomp_runtime.c] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime2_dats.c b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime2_dats.c new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime2_dats.c @@ -0,0 +1,390 @@ +/* +** +** The C code is generated by ATS/Postiats +** The compilation time is: 2014-8-4: 12h:36m +** +*/ +/* +typedefs-for-tyrecs-and-tysums(beg) +*/ +typedef +ATSstruct { +int exntag ; +char *exnmsg ; +atstkind_type(atstype_ptrk) atslab__0; +} pats_ccomp_runtime2_tyexn ; +/* +typedefs-for-tyrecs-and-tysums(end) +*/ +/* +dynconlst-declaration(beg) +*/ +/* +dynconlst-declaration(end) +*/ +/* +dyncstlst-declaration(beg) +*/ +ATSdyncst_mac(atspre_prerr_string) +ATSdyncst_mac(atspre_prerr_newline) +ATSdyncst_mac(atspre_exit) +ATSdyncst_extfun(atsruntime_handle_uncaughtexn_rest, (atstype_exnconptr), atsvoid_t0ype) ; +/* +dyncstlst-declaration(end) +*/ +/* +dynvalist-implementation(beg) +*/ +/* +dynvalist-implementation(end) +*/ +/* +exnconlst-declaration(beg) +*/ +/* +assumelst-declaration(beg) +*/ +/* +assumelst-declaration(end) +*/ +/* +extypelst-declaration(beg) +*/ +/* +extypelst-declaration(end) +*/ + +/* ****** ****** */ + +/* +/home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1541(line=43, offs=3) -- 2287(line=72, offs=4) +*/ +/* +local: +global: atsruntime_handle_uncaughtexn$0$0(level=0) +local: +global: +*/ +ATSextern() +atsvoid_t0ype +atsruntime_handle_uncaughtexn(void *arg0) +{ +/* tmpvardeclst(beg) */ +ATStmpdec_void(tmpret0) ; +ATStmpdec(tmp1, atstkind_type(atstype_ptrk)) ; +ATStmpdec(tmp2, atstkind_type(atstype_ptrk)) ; +ATStmpdec_void(tmp3) ; +ATStmpdec_void(tmp4) ; +ATStmpdec_void(tmp5) ; +ATStmpdec_void(tmp6) ; +ATStmpdec_void(tmp7) ; +ATStmpdec_void(tmp8) ; +ATStmpdec_void(tmp9) ; +ATStmpdec_void(tmp10) ; +ATStmpdec_void(tmp11) ; +ATStmpdec_void(tmp12) ; +ATStmpdec_void(tmp13) ; +ATStmpdec_void(tmp14) ; +ATStmpdec_void(tmp15) ; +ATStmpdec_void(tmp16) ; +/* tmpvardeclst(end) */ +/* funbodyinstrlst(beg) */ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1509(line=42, offs=1) -- 2287(line=72, offs=4) +*/ +ATSINSflab(__patsflab_atsruntime_handle_uncaughtexn): +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1641(line=51, offs=1) -- 2280(line=70, offs=65) +*/ +ATScaseof_beg() +/* +** ibranchlst-beg +*/ +ATSbranch_beg() +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1659(line=53, offs=3) -- 1672(line=53, offs=16) +*/ +ATSINSlab(__atstmplab0): +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1542(line=43, offs=4) -- 1545(line=43, offs=7) +*/ +ATSifnthen(ATSCKpat_exn0(arg0, ATSLIB_056_prelude__AssertExn)) { ATSINSgoto(__atstmplab2) ; } ; +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1672(line=53, offs=16) -- 1672(line=53, offs=16) +*/ +ATSINSlab(__atstmplab1): +/* +emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0) +*/ +/* +ibranch-mbody: +*/ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1676(line=53, offs=20) -- 1761(line=56, offs=6) +*/ +/* +letpush(beg) +*/ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1693(line=54, offs=14) -- 1706(line=54, offs=27) +*/ +ATSINSmove_void(tmp3, atspre_prerr_string(ATSPMVstring("exit(ATS): uncaught exception at run-time"))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1720(line=55, offs=14) -- 1744(line=55, offs=38) +*/ +ATSINSmove_void(tmp4, atspre_prerr_string(ATSPMVstring(": AssertExn"))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1720(line=55, offs=14) -- 1744(line=55, offs=38) +*/ +ATSINSmove_void(tmp5, atspre_prerr_newline()) ; + +/* +letpush(end) +*/ + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1748(line=55, offs=42) -- 1754(line=55, offs=48) +*/ +ATSINSmove_void(tmpret0, atspre_exit(ATSPMVi0nt(1))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1676(line=53, offs=20) -- 1761(line=56, offs=6) +*/ +/* +INSletpop() +*/ +ATSbranch_end() + +ATSbranch_beg() +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1788(line=57, offs=3) -- 1803(line=57, offs=18) +*/ +ATSINSlab(__atstmplab2): +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1542(line=43, offs=4) -- 1545(line=43, offs=7) +*/ +ATSifnthen(ATSCKpat_exn0(arg0, ATSLIB_056_prelude__NotFoundExn)) { ATSINSgoto(__atstmplab4) ; } ; +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1803(line=57, offs=18) -- 1803(line=57, offs=18) +*/ +ATSINSlab(__atstmplab3): +/* +emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0) +*/ +/* +ibranch-mbody: +*/ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1807(line=57, offs=22) -- 1894(line=60, offs=6) +*/ +/* +letpush(beg) +*/ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1824(line=58, offs=14) -- 1837(line=58, offs=27) +*/ +ATSINSmove_void(tmp6, atspre_prerr_string(ATSPMVstring("exit(ATS): uncaught exception at run-time"))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1851(line=59, offs=14) -- 1877(line=59, offs=40) +*/ +ATSINSmove_void(tmp7, atspre_prerr_string(ATSPMVstring(": NotFoundExn"))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1851(line=59, offs=14) -- 1877(line=59, offs=40) +*/ +ATSINSmove_void(tmp8, atspre_prerr_newline()) ; + +/* +letpush(end) +*/ + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1881(line=59, offs=44) -- 1887(line=59, offs=50) +*/ +ATSINSmove_void(tmpret0, atspre_exit(ATSPMVi0nt(1))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1807(line=57, offs=22) -- 1894(line=60, offs=6) +*/ +/* +INSletpop() +*/ +ATSbranch_end() + +ATSbranch_beg() +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1921(line=61, offs=3) -- 1940(line=61, offs=22) +*/ +ATSINSlab(__atstmplab4): +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1542(line=43, offs=4) -- 1545(line=43, offs=7) +*/ +ATSifnthen(ATSCKpat_exn1(arg0, ATSLIB_056_prelude__GenerallyExn)) { ATSINSgoto(__atstmplab6) ; } ; +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1940(line=61, offs=22) -- 1940(line=61, offs=22) +*/ +ATSINSlab(__atstmplab5): +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1936(line=61, offs=18) -- 1939(line=61, offs=21) +*/ +ATSINSmove(tmp1, ATSSELcon(arg0, pats_ccomp_runtime2_tyexn, atslab__0)) ; +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1921(line=61, offs=3) -- 2039(line=64, offs=6) +*/ +/* +ATSINSfreecon(arg0) ; +*/ +/* +emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0) +*/ +/* +ibranch-mbody: +*/ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1944(line=61, offs=26) -- 2039(line=64, offs=6) +*/ +/* +letpush(beg) +*/ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1961(line=62, offs=14) -- 1974(line=62, offs=27) +*/ +ATSINSmove_void(tmp9, atspre_prerr_string(ATSPMVstring("exit(ATS): uncaught exception at run-time"))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1988(line=63, offs=14) -- 2022(line=63, offs=48) +*/ +ATSINSmove_void(tmp10, atspre_prerr_string(ATSPMVstring(": GenerallyExn: "))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1988(line=63, offs=14) -- 2022(line=63, offs=48) +*/ +ATSINSmove_void(tmp11, atspre_prerr_string(tmp1)) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1988(line=63, offs=14) -- 2022(line=63, offs=48) +*/ +ATSINSmove_void(tmp12, atspre_prerr_newline()) ; + +/* +letpush(end) +*/ + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2026(line=63, offs=52) -- 2032(line=63, offs=58) +*/ +ATSINSmove_void(tmpret0, atspre_exit(ATSPMVi0nt(1))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1944(line=61, offs=26) -- 2039(line=64, offs=6) +*/ +/* +INSletpop() +*/ +ATSbranch_end() + +ATSbranch_beg() +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2066(line=65, offs=3) -- 2086(line=65, offs=23) +*/ +ATSINSlab(__atstmplab6): +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 1542(line=43, offs=4) -- 1545(line=43, offs=7) +*/ +ATSifnthen(ATSCKpat_exn1(arg0, ATSLIB_056_prelude__IllegalArgExn)) { ATSINSgoto(__atstmplab8) ; } ; +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2086(line=65, offs=23) -- 2086(line=65, offs=23) +*/ +ATSINSlab(__atstmplab7): +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2082(line=65, offs=19) -- 2085(line=65, offs=22) +*/ +ATSINSmove(tmp2, ATSSELcon(arg0, pats_ccomp_runtime2_tyexn, atslab__0)) ; +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2066(line=65, offs=3) -- 2186(line=68, offs=6) +*/ +/* +ATSINSfreecon(arg0) ; +*/ +/* +emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0) +*/ +/* +ibranch-mbody: +*/ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2090(line=65, offs=27) -- 2186(line=68, offs=6) +*/ +/* +letpush(beg) +*/ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2107(line=66, offs=14) -- 2120(line=66, offs=27) +*/ +ATSINSmove_void(tmp13, atspre_prerr_string(ATSPMVstring("exit(ATS): uncaught exception at run-time"))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2134(line=67, offs=14) -- 2169(line=67, offs=49) +*/ +ATSINSmove_void(tmp14, atspre_prerr_string(ATSPMVstring(": IllegalArgExn: "))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2134(line=67, offs=14) -- 2169(line=67, offs=49) +*/ +ATSINSmove_void(tmp15, atspre_prerr_string(tmp2)) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2134(line=67, offs=14) -- 2169(line=67, offs=49) +*/ +ATSINSmove_void(tmp16, atspre_prerr_newline()) ; + +/* +letpush(end) +*/ + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2173(line=67, offs=53) -- 2179(line=67, offs=59) +*/ +ATSINSmove_void(tmpret0, atspre_exit(ATSPMVi0nt(1))) ; + +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2090(line=65, offs=27) -- 2186(line=68, offs=6) +*/ +/* +INSletpop() +*/ +ATSbranch_end() + +ATSbranch_beg() +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2219(line=70, offs=4) -- 2219(line=70, offs=4) +*/ +ATSINSlab(__atstmplab8): +/* +emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0) +*/ +/* +ibranch-mbody: +*/ +/* +emit_instr: loc0 = /home/hwxi/research/Postiats/git/ccomp/runtime/pats_ccomp_runtime2.dats: 2240(line=70, offs=25) -- 2279(line=70, offs=64) +*/ +ATSINSmove_void(tmpret0, atsruntime_handle_uncaughtexn_rest(arg0)) ; + +ATSbranch_end() + +/* +** ibranchlst-end +*/ +ATScaseof_end() + +/* funbodyinstrlst(end) */ +ATSreturn_void(tmpret0) ; +} /* end of [atsruntime_handle_uncaughtexn] */ + +/* ****** ****** */ + +/* end of [pats_ccomp_runtime2_dats.c] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime_trywith.c b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime_trywith.c new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime_trywith.c @@ -0,0 +1,86 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: April, 2013 *) +*/ + +/* ****** ****** */ +// +#include "pats_ccomp_basics.h" +#include "pats_ccomp_typedefs.h" +#include "pats_ccomp_exception.h" +// +/* ****** ****** */ +// +// HX-2013-06: +// it is only for single-threaded programs +// +/* ****** ****** */ + +extern +atsexnframe_ptr +*my_atsexnframe_getref () +{ +// +static +atsexnframe_t *my_atsexnframe = (void*)0 ; +// +return &(my_atsexnframe) ; +// +} // end of [my_atsexnframe_getref] + +/* ****** ****** */ + +extern +void +atsruntime_raise + (void *exn0) +{ +// + atsexnframe_t *frame ; + frame = *(my_atsexnframe_getref()) ; +// + do { + if (!frame) break ; + (frame)->exn = (atstype_exnconptr)exn0 ; + atspre_longjmp((frame)->env, 1/*retval*/) ; + } while (0) ; // end of [do] +// + atsruntime_handle_uncaughtexn(exn0) ; +// + return ; +// +} /* end of [atsruntime_raise] */ + +/* ****** ****** */ + +/* end of [pats_ccomp_runtime_trywith.c] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_typedefs.h b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_typedefs.h new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_typedefs.h @@ -0,0 +1,225 @@ +/* ******************************************************************* */ +/* */ +/* Applied Type System */ +/* */ +/* ******************************************************************* */ + +/* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-20?? 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: October, 2012 *) +*/ + +/* ****** ****** */ + +#ifndef PATS_CCOMP_TYPEDEFS_H +#define PATS_CCOMP_TYPEDEFS_H + +/* ****** ****** */ + +/* +** HX: +** of indefinite size +*/ +struct atstype_struct ; + +/* ****** ****** */ + +typedef void atstype_void ; +typedef void atsvoid_t0ype ; + +/* ****** ****** */ + +typedef int atstype_int ; +typedef unsigned int atstype_uint ; + +typedef long int atstype_lint ; +typedef unsigned long int atstype_ulint ; + +typedef long long int atstype_llint ; +typedef unsigned long long int atstype_ullint ; + +typedef short int atstype_sint ; +typedef unsigned short int atstype_usint ; + +/* ****** ****** */ + +typedef atstype_lint atstype_ssize ; +typedef atstype_ulint atstype_size ; + +/* ****** ****** */ +// +// HX: true/false: 1/0 +// +typedef int atstype_bool ; +// +/* ****** ****** */ + +typedef unsigned char atstype_byte ; + +/* ****** ****** */ + +typedef char atstype_char ; +typedef signed char atstype_schar ; +typedef unsigned char atstype_uchar ; + +/* ****** ****** */ + +typedef char *atstype_string ; +typedef char *atstype_stropt ; +typedef char *atstype_strptr ; + +/* ****** ****** */ + +typedef float atstype_float ; +typedef double atstype_double ; +typedef long double atstype_ldouble ; + +/* ****** ****** */ +/* +** HX: for pointers +*/ +typedef void *atstype_ptr ; +typedef void *atstype_ptrk ; +/* +** HX: for references +*/ +typedef void *atstype_ref ; +/* +** HX: for boxed values +*/ +typedef void* atstype_boxed ; +/* +** HX: for [datconptr] +*/ +typedef void* atstype_datconptr ; +/* +** HX: for [datcontyp] +*/ +typedef void* atstype_datcontyp ; + +/* ****** ****** */ + +#ifdef \ +_ATS_CCOMP_EXCEPTION_NONE_ +// +// HX: should a message be issued? +// +#else +// +typedef struct +{ + atstype_int exntag ; + atstype_string exnmsg ; +} atstype_exncon ; +// +typedef +atstype_exncon *atstype_exnconptr ; +// +#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] + +/* ****** ****** */ +/* +** HX: for pointers to arrays +*/ +typedef void* atstype_arrptr ; +/* +** HX: for arrays plus size info +*/ +typedef +struct { + atstype_arrptr ptr ; atstype_size size ; +} atstype_arrpsz ; + +/* ****** ****** */ + +typedef void* atstype_funptr ; +typedef void* atstype_cloptr ; + +/* ****** ****** */ + +#define atstkind_type(tk) tk +#define atstkind_t0ype(tk) tk + +/* ****** ****** */ +// +// HX-2014-09-16: +// making it unusable unless +// _ATS_ARRAY_FIELD is defined +// +#ifdef _ATS_ARRAY_FIELD_ +#define atstyarr_field(fname) fname[] +#else +#define atstyarr_field(fname) atstyarr_field_undef(fname) +#endif // end of [_ATS_ARRAY_FIELD_] +// +/* ****** ****** */ +// +// HX-2014-05: +// making it not usable!!! +// +#ifdef _ATSTYPE_VAR_SIZE_ +// HX: it is set by the user +#else +#define _ATSTYPE_VAR_SIZE_ 0X10000 +#endif // end of [#ifdef] +// +// HX-2014-05: +// for 8-bit or 16-bit march, +// _ATSTYPE_VAR_SIZE can be set to 0X100 +// +typedef +struct{char _[_ATSTYPE_VAR_SIZE_];} atstype_var[0] ; +// +/* ****** ****** */ + +#define atstyvar_type(a) atstype_var + +/* ****** ****** */ + +#define atstybox_type(hit) atstype_boxed + +/* ****** ****** */ + +#define atstyclo_top struct{ void *cfun; } +#define atstyclo_type(flab) flab##__closure_t0ype + +/* ****** ****** */ + +#define atsvararg_type(hit) ... + +/* ****** ****** */ + +#define atsrefarg0_type(hit) hit +#define atsrefarg1_type(hit) atstype_ref + +/* ****** ****** */ + +#endif /* PATS_CCOMP_TYPEDEFS_H */ + +/* ****** ****** */ + +/* end of [pats_ccomp_typedefs.h] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/alloca.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/alloca.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/alloca.cats @@ -0,0 +1,61 @@ +/***********************************************************************/ +/* */ +/* 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 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_ALLOCA +#define ATSLIB_LIBATS_LIBC_CATS_ALLOCA + +/* ****** ****** */ + +#include + +/* ****** ****** */ +// +#define atslib_libats_libc_alloca(bsz) alloca(bsz) +// +/* ****** ****** */ +// +#define atslib_libats_libc_ptr_alloca_tsz(tsz) alloca(tsz) +// +#define atslib_libats_libc_array_ptr_alloca_tsz(asz, tsz) alloca((asz)*(tsz)) +// +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_ALLOCA + +/* ****** ****** */ + +/* end of [alloca.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/dirent.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/dirent.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/dirent.cats @@ -0,0 +1,120 @@ +/***********************************************************************/ +/* */ +/* 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: March, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_DIRENT +#define ATSLIB_LIBATS_LIBC_CATS_DIRENT + +/* ****** ****** */ + +#include +#include // HX: after sys/types + +/* ****** ****** */ + +#include "share/H/pats_atslib.h" + +/* ****** ****** */ +// +typedef DIR atslib_libats_libc_DIR_type ; +// +typedef +struct dirent atslib_libats_libc_dirent_type ; +// +/* ****** ****** */ + +#define \ +atslib_libats_libc_dirent_get_d_ino(ent) \ +(((atslib_libats_libc_dirent_type*)ent)->d_ino) +#define \ +atslib_libats_libc_dirent_get_d_name(ent) \ +(((atslib_libats_libc_dirent_type*)ent)->d_name) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_direntp_get_d_name(entp) \ +(((atslib_libats_libc_dirent_type*)entp)->d_name) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_direntp_free(x) atspre_mfree_gc(x) + +/* ****** ****** */ + +#define atslib_libats_libc_alphasort alphasort +#define atslib_libats_libc_versionsort versionsort + +/* ****** ****** */ + +#define atslib_libats_libc_opendir opendir + +/* ****** ****** */ + +#define atslib_libats_libc_closedir closedir + +/* ****** ****** */ + +#define \ +atslib_libats_libc_readdir readdir +#define \ +atslib_libats_libc_readdir_r(dirp, ent, res) \ + readdir_r((DIR*)dirp, (struct dirent*)ent, (struct dirent**)res) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_scandir(dirp, namelst, filter, compar) \ + scandir((char*)dirp, (struct dirent***)namelst, (void*)filter, (void*)compar) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_rewinddir rewinddir + +/* ****** ****** */ + +#define atslib_libats_libc_seekdir seekdir +#define atslib_libats_libc_telldir telldir + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_DIRENT + +/* ****** ****** */ + +/* end of [dirent.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/dlfcn.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/dlfcn.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/dlfcn.cats @@ -0,0 +1,75 @@ +/***********************************************************************/ +/* */ +/* 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: December, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_DLFCN +#define ATSLIB_LIBATS_LIBC_CATS_DLFCN + +/* ****** ****** */ + +#include + +/* ****** ****** */ + +#define \ +atslib_libats_libc_dlopen dlopen + +/* ****** ****** */ + +#define \ +atslib_libats_libc_dlclose dlclose + +/* ****** ****** */ + +#define \ +atslib_libats_libc_dlerror dlerror + +/* ****** ****** */ + +#define atslib_libats_libc_dlsym dlsym + +/* ****** ****** */ + +#define atslib_libats_libc_dladdr dladdr +#define atslib_libats_libc_dlvsym dlvsym + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_DLFCN + +/* ****** ****** */ + +/* end of [dlfcn.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/errno.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/errno.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/errno.cats @@ -0,0 +1,85 @@ +/***********************************************************************/ +/* */ +/* 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/libc/CATS/CODEGEN/errno.atxt +** Time of generation: Mon Sep 5 20:36:41 2016 +*/ + +/* ****** ****** */ + +/* +(* Author: Hongwei Xi *) +(* Authoremail: gmhwxiATgmailDOTcom *) +(* Start time: February, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_ERRNO +#define ATSLIB_LIBATS_LIBC_CATS_ERRNO + +/* ****** ****** */ + +#include + +/* ****** ****** */ + +typedef int errno_t ; + +/* ****** ****** */ + +#define ENONE 0 + +/* ****** ****** */ + +#define \ +atslib_libats_libc_the_errno_get() (errno) +#define \ +atslib_libats_libc_the_errno_set(x) (errno = (x)) +#define \ +atslib_libats_libc_the_errno_reset() (errno = ENONE) + +/* ****** ****** */ + +ATSinline() +atstype_bool +atslib_libats_libc_the_errno_test(errno_t x) +{ + return (errno==(x)) ? atsbool_true : atsbool_false ; +} /* end of [atslib_libats_libc_the_errno_test] */ + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_ERRNO + +/* ****** ****** */ + +/* end of [errno.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/fcntl.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/fcntl.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/fcntl.cats @@ -0,0 +1,85 @@ +/***********************************************************************/ +/* */ +/* 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, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_FCNTL +#define ATSLIB_LIBATS_LIBC_CATS_FCNTL + +/* ****** ****** */ + +#include +#include // HX: after sys/types + +/* ****** ****** */ + +#define atslib_libats_libc_fildes_get_int(fd) (fd) + +/* ****** ****** */ + +ATSinline() +atstype_bool +atslib_libats_libc_fildes_isgtez + (atstype_int fd) +{ + return (fd >= 0 ? atsbool_true : atsbool_false) ; +} // end of [atslib_libats_libc_fildes_isgtez] + +/* ****** ****** */ + +#define \ +atslib_libats_libc_fcntlflags_lor(x1, x2) ((x1)|(x2)) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_fcntl_getfl(fd) fcntl(fd, F_GETFL) +#define \ +atslib_libats_libc_fcntl_setfl(fd, flags) fcntl(fd, F_SETFL, flags) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_open_flags(path, flags) open((char*)path, flags) +#define \ +atslib_libats_libc_open_flags_mode(path, flags, mode) open((char*)path, flags, mode) + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_FCNTL + +/* ****** ****** */ + +/* end of [fcntl.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/float.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/float.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/float.cats @@ -0,0 +1,51 @@ +/***********************************************************************/ +/* */ +/* 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: October, 2014 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_FLOAT +#define ATSLIB_LIBATS_LIBC_CATS_FLOAT + +/* ****** ****** */ + +#include + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_FLOAT + +/* ****** ****** */ + +/* end of [float.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/fnmatch.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/fnmatch.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/fnmatch.cats @@ -0,0 +1,58 @@ +/***********************************************************************/ +/* */ +/* 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: hwxi AT cs DOT bu DOT edu *) +(* Start time: March, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_FNMATCH +#define ATSLIB_LIBATS_LIBC_CATS_FNMATCH + +/* ****** ****** */ + +#include + +/* ****** ****** */ + +#define \ +atslib_libats_libc_fnmatch_null(pat, str) fnmatch((char*)pat, (char*)str, 0) +#define \ +atslib_libats_libc_fnmatch_flags(pat, str, flags) fnmatch((char*)pat, (char*)str, flags) + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_FNMATCH + +/* ****** ****** */ + +/* end of [fnmatch.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/malloc.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/malloc.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/malloc.cats @@ -0,0 +1,60 @@ +/***********************************************************************/ +/* */ +/* 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: March, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_MALLOC +#define ATSLIB_LIBATS_LIBC_CATS_MALLOC + +/* ****** ****** */ + +#include + +/* ****** ****** */ + +#define atslib_libats_libc_mallopt mallopt +#define atslib_libats_libc_malloc_trim malloc_trim +#define atslib_libats_libc_malloc_usable_size malloc_usable_size +#define atslib_libats_libc_malloc_stats malloc_stats +#define atslib_libats_libc_malloc_get_state malloc_get_state +#define atslib_libats_libc_malloc_set_state malloc_set_state + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_MALLOC + +/* ****** ****** */ + +/* end of [malloc.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/signal.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/signal.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/signal.cats @@ -0,0 +1,125 @@ +/***********************************************************************/ +/* */ +/* 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: April, 2014 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_SIGNAL +#define ATSLIB_LIBATS_LIBC_CATS_SIGNAL + +/* ****** ****** */ + +#include + +/* ****** ****** */ +// +typedef int signum_t ; +// +typedef +void (*sighandler_t)(signum_t) ; +// +/* ****** ****** */ + +typedef +struct sigaction +atslib_libats_libc_sigaction_struct ; + +/* ****** ****** */ + +#define atslib_libats_libc_signal signal + +/* ****** ****** */ + +#define atslib_libats_libc_sigaddset sigaddset +#define atslib_libats_libc_sigdelset sigdelset +#define atslib_libats_libc_sigemptyset sigemptyset +#define atslib_libats_libc_sigfillset sigfillset + +/* ****** ****** */ + +#define \ +atslib_libats_libc_sigaction sigaction +#define \ +atslib_libats_libc_sigaction_null(sgn, act) \ +atslib_libats_libc_sigaction(sgn, act, (atslib_libats_libc_sigaction_struct*)0) + +/* ****** ****** */ + +#define atslib_libats_libc_kill kill +#define atslib_libats_libc_killpg killpg +#define atslib_libats_libc_raise raise + +/* ****** ****** */ + +#define atslib_libats_libc_sigset sigset +#define atslib_libats_libc_sighold sighold +#define atslib_libats_libc_sigignore sigignore +#define atslib_libats_libc_sigrelse sigrelse + +/* ****** ****** */ + +#define atslib_libats_libc_sigwait sigwait + +/* ****** ****** */ + +#define atslib_libats_libc_sigpause sigpause +#define atslib_libats_libc_sigsuspend sigsuspend + +/* ****** ****** */ + +#define atslib_libats_libc_sigpending sigpending +#define atslib_libats_libc_siginterrupt siginterrupt + +/* ****** ****** */ + +#define atslib_libats_libc_psignal psignal + +/* ****** ****** */ + +/* +// +// declared in +// +extern +char* strsignal (int signum) ; +*/ +#define atslib_libats_libc_strsignal strsignal + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_SIGNAL + +/* ****** ****** */ + +/* end of [signal.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/stdlib.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/stdlib.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/stdlib.cats @@ -0,0 +1,206 @@ +/***********************************************************************/ +/* */ +/* 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, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef \ +ATSLIB_LIBATS_LIBC_CATS_STDLIB +#define \ +ATSLIB_LIBATS_LIBC_CATS_STDLIB + +/* ****** ****** */ + +#include + +/* ****** ****** */ + +#define \ +atslib_libats_libc_abort abort + +/* ****** ****** */ + +#define \ +atslib_libats_libc__Exit _Exit + +/* ****** ****** */ + +#define \ +atslib_libats_libc_atexit atexit + +/* ****** ****** */ + +#define atslib_libats_libc_abs abs +#define atslib_libats_libc_labs labs +#define atslib_libats_libc_llabs llabs + +/* ****** ****** */ + +#define atslib_libats_libc_div div +#define atslib_libats_libc_ldiv ldiv +#define atslib_libats_libc_lldiv lldiv + +/* ****** ****** */ + +#define atslib_libats_libc_a64l a64l +#define atslib_libats_libc_l64a l64a + +/* ****** ****** */ + +#define atslib_libats_libc_atoi atoi +#define atslib_libats_libc_atol atol +#define atslib_libats_libc_atoll atoll + +/* ****** ****** */ + +#define atslib_libats_libc_atof atof + +/* ****** ****** */ + +#define \ +atslib_libats_libc_strtol0(nptr, base) \ +atslib_libats_libc_strtol_unsafe(nptr, 0, base) +#define \ +atslib_libats_libc_strtol1(nptr, endptr, base) \ +atslib_libats_libc_strtol_unsafe(nptr, endptr, base) +#define \ +atslib_libats_libc_strtol_unsafe(nptr, endptr, base) \ +strtol((char*)(nptr), (char**)(endptr), base) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_strtoll0(nptr, base) \ +atslib_libats_libc_strtoll_unsafe(nptr, 0, base) +#define \ +atslib_libats_libc_strtoll1(nptr, endptr, base) \ +atslib_libats_libc_strtoll_unsafe(nptr, endptr, base) +#define \ +atslib_libats_libc_strtoll_unsafe(nptr, endptr, base) \ +strtoll((char*)(nptr), (char**)(endptr), base) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_strtof0(nptr) \ +atslib_libats_libc_strtof_unsafe(nptr, 0) +#define \ +atslib_libats_libc_strtof1(nptr, endptr) \ +atslib_libats_libc_strtof_unsafe(nptr, endptr) +#define \ +atslib_libats_libc_strtof_unsafe(nptr, endptr) \ +strtof((char*)(nptr), (char**)(endptr)) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_strtod0(nptr) \ +atslib_libats_libc_strtod_unsafe(nptr, 0) +#define \ +atslib_libats_libc_strtod1(nptr, endptr) \ +atslib_libats_libc_strtod_unsafe(nptr, endptr) +#define \ +atslib_libats_libc_strtod_unsafe(nptr, endptr) \ +strtod((char*)(nptr), (char**)(endptr)) + +/* ****** ****** */ + +#define atslib_libats_libc_getenv getenv +#define atslib_libats_libc_putenv putenv +#define atslib_libats_libc_setenv setenv +#define atslib_libats_libc_unsetenv unsetenv + +/* ****** ****** */ + +#define atslib_libats_libc_rand rand +#define atslib_libats_libc_srand srand +#define atslib_libats_libc_rand_r rand_r + +/* ****** ****** */ + +#define atslib_libats_libc_random random +#define atslib_libats_libc_srandom srandom + +/* ****** ****** */ +// +#define atslib_libats_libc_seed48 seed48 +#define atslib_libats_libc_srand48 srand48 +// +#define atslib_libats_libc_drand48 drand48 +#define atslib_libats_libc_erand48 erand48 +#define atslib_libats_libc_lrand48 lrand48 +#define atslib_libats_libc_nrand48 nrand48 +#define atslib_libats_libc_mrand48 mrand48 +#define atslib_libats_libc_jrand48 jrand48 +#define atslib_libats_libc_lcong48 lcong48 +// +/* ****** ****** */ + +#define \ +atslib_libats_libc_qsort\ +(base, nmemb, size, compar) \ +qsort(base, nmemb, size, (void*)compar) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_bsearch\ +(key, base, nmemb, size, compar) \ +bsearch(key, base, nmemb, size, (void*)compar) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_mkstemp mkstemp +#define \ +atslib_libats_libc_mkostemp mkostemp + +/* ****** ****** */ + +#define \ +atslib_libats_libc_mfree_libc free +#define \ +atslib_libats_libc_malloc_libc malloc + +/* ****** ****** */ + +#define atslib_libats_libc_system system + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_STDLIB + +/* ****** ****** */ + +/* end of [stdlib.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/string.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/string.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/string.cats @@ -0,0 +1,139 @@ +/***********************************************************************/ +/* */ +/* 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, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_STRING +#define ATSLIB_LIBATS_LIBC_CATS_STRING + +/* ****** ****** */ + +#include +#include + +/* ****** ****** */ + +#define atslib_libats_libc_strcmp strcmp +#define atslib_libats_libc_strncmp strncmp + +/* ****** ****** */ + +#define atslib_libats_libc_strcoll strcoll + +/* ****** ****** */ + +#define atslib_libats_libc_strspn strspn +#define atslib_libats_libc_strcspn strcspn + +/* ****** ****** */ + +#define atslib_libats_libc_strlen strlen +#define atslib_libats_libc_strnlen strnlen + +/* ****** ****** */ + +#define atslib_libats_libc_strcat strcat +#define atslib_libats_libc_strcat_unsafe strcat +#define atslib_libats_libc_strncat_unsafe strncat + +/* ****** ****** */ + +#define atslib_libats_libc_strcpy strcpy +#define atslib_libats_libc_strcpy_unsafe strcpy +#define atslib_libats_libc_strncpy_unsafe strncpy + +/* ****** ****** */ + +#define atslib_libats_libc_strdup strdup +#define atslib_libats_libc_strndup strndup +#define atslib_libats_libc_strdup_free atsruntime_mfree_libc + +#define atslib_libats_libc_strdupa strdupa +#define atslib_libats_libc_strndupa strndupa +#define atslib_libats_libc_strdupa_free atsruntime_afree_libc + +/* ****** ****** */ + +#define atslib_libats_libc_strfry strfry + +/* ****** ****** */ + +#define atslib_libats_libc_memcpy memcpy +#define atslib_libats_libc_memcpy_unsafe memcpy + +/* ****** ****** */ + +#define atslib_libats_libc_memccpy_unsafe memccpy + +/* ****** ****** */ + +#define atslib_libats_libc_mempcpy mempcpy +#define atslib_libats_libc_mempcpy_unsafe mempcpy + +/* ****** ****** */ + +#define atslib_libats_libc_memset_unsafe memset + +/* ****** ****** */ + +#define atslib_libats_libc_memmove_unsafe memmove + +/* ****** ****** */ + +#define atslib_libats_libc_strerror strerror +#define atslib_libats_libc_strerror_r strerror_r + +/* ****** ****** */ + +ATSinline() +atstype_ptr +atslib_libats_libc_strdup_gc + (atstype_string src) +{ + char *dst ; + size_t len, len1 ; + len = atslib_libats_libc_strlen((char*)src) ; + len1 = len + 1; + dst = atspre_malloc_gc(len1) ; + return atslib_libats_libc_memcpy(dst, src, len1) ; +} // end of [atslib_libats_libc_strdup_gc] + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_STRING + +/* ****** ****** */ + +/* end of [string.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/strings.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/strings.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/strings.cats @@ -0,0 +1,64 @@ +/***********************************************************************/ +/* */ +/* 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, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_STRINGS +#define ATSLIB_LIBATS_LIBC_CATS_STRINGS + +/* ****** ****** */ + +#include + +/* ****** ****** */ + +#define atslib_libats_libc_index_int index +#define atslib_libats_libc_index_char(c) index((int)c) + +#define atslib_libats_libc_rindex_int rindex +#define atslib_libats_libc_rindex_char(c) rindex((int)c) + +/* ****** ****** */ + +#define atslib_libats_libc_strcasecmp strcasecmp +#define atslib_libats_libc_strncasecmp strncasecmp + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_STRINGS + +/* ****** ****** */ + +/* end of [strings.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/mman.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/mman.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/mman.cats @@ -0,0 +1,59 @@ +/***********************************************************************/ +/* */ +/* 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: October, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_SYS_MMAN +#define ATSLIB_LIBATS_LIBC_CATS_SYS_MMAN + +/* ****** ****** */ +// +#include +#include +// +#include +// +/* ****** ****** */ + +#define atslib_libats_libc_shm_open shm_open +#define atslib_libats_libc_shm_unlink shm_unlink + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_SYS_MMAN + +/* ****** ****** */ + +/* end of [mman.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/socket.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/socket.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/socket.cats @@ -0,0 +1,135 @@ +/***********************************************************************/ +/* */ +/* 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: November, 2014 *) +*/ + +/* ****** ****** */ + +#ifndef \ +ATSLIB_LIBATS_LIBC_CATS_SYS_SOCKET +#define \ +ATSLIB_LIBATS_LIBC_CATS_SYS_SOCKET + +/* ****** ****** */ +// +#include +#include +// +/* ****** ****** */ +// +/* +// +// socket address family +// +typedef +unsigned short int sa_family_t; +*/ +// +// socket protocol family +// +typedef +unsigned short int sp_family_t; +// +/* ****** ****** */ + +#define \ +atslib_libats_libc_socket_AF_type socket_AF_type +#define \ +atslib_libats_libc_socket_PF_type socket_PF_type + +/* ****** ****** */ +// +#define \ +atslib_libats_libc_bind_err(fd, sa, len) \ + bind(fd, (const struct sockaddr*)sa, len) +// +extern +void +atslib_libats_libc_bind_exn +( + int sockfd, atstype_ptr sa, socklen_t salen +); // end of [atslib_libats_libc_bind_exn] +// +/* ****** ****** */ +// +#define \ +atslib_libats_libc_listen_err(fd, qsz) listen(fd, qsz) +// +extern +void +atslib_libats_libc_listen_exn(int sockfd, int listenqsz); +// +/* ****** ****** */ +// +#define \ +atslib_libats_libc_connect_err(fd, sa, len) \ + connect(fd, (const struct sockaddr*)sa, len) +// +extern +void +atslib_libats_libc_connect_exn +( + int sockfd, atstype_ptr sa, socklen_t salen +); // end of [atslib_libats_libc_connect_exn] +// +/* ****** ****** */ +// +#define \ +atslib_libats_libc_accept_err(fd, sa, len) \ + accept(fd, (struct sockaddr*)sa, (socklen_t*)len) +// +#define \ +atslib_libats_libc_accept_null_err(fd) atslib_libats_libc_accept_err(fd, 0, 0) +// +/* ****** ****** */ + +#define atslib_libats_libc_socket_close(fd) close(fd) + +/* ****** ****** */ + +#define atslib_libats_libc_shutdown(fd, how) shutdown(fd, how) + +/* ****** ****** */ + +#define \ +atslib_libats_libc_socket_read(fd, bufp, bsz) read(fd, (char*)bufp, bsz) +#define \ +atslib_libats_libc_socket_write(fd, bufp, bsz) write(fd, (const char*)bufp, bsz) + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_SYS_SOCKET + +/* ****** ****** */ + +/* end of [socket.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/socket_in.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/socket_in.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/socket_in.cats @@ -0,0 +1,78 @@ +/***********************************************************************/ +/* */ +/* 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: November, 2014 *) +*/ + +/* ****** ****** */ + +#ifndef \ +ATSLIB_LIBATS_LIBC_CATS_SYS_SOCKET_IN +#define \ +ATSLIB_LIBATS_LIBC_CATS_SYS_SOCKET_IN + +/* ****** ****** */ +// +#include +#include +// +/* ****** ****** */ +// +#ifdef memset +#else +extern +void *memset (void *p, int c, size_t n) ; +#endif // ifdef(memset) +// +/* ****** ****** */ + +ATSinline() +atsvoid_t0ype +atslib_libats_libc_sockaddr_in_init +( + atstype_ptr sa +, sa_family_t af, in_addr_t inp, in_port_t port +) { + struct sockaddr_in *sa2 = sa ; + (void)memset(sa2, 0, sizeof(struct sockaddr_in)) ; + sa2->sin_family = af ; + sa2->sin_addr.s_addr = inp ; + sa2->sin_port = port ; +} // end of [atslib_libats_libc_sockaddr_in_init] + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_SYS_SOCKET_IN + +/* ****** ****** */ + +/* end of [socket_in.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/time.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/time.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/time.cats @@ -0,0 +1,94 @@ +/***********************************************************************/ +/* */ +/* 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: August, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef \ +ATSLIB_LIBATS_LIBC_CATS_SYS_TIME +#define \ +ATSLIB_LIBATS_LIBC_CATS_SYS_TIME + +/* ****** ****** */ + +#include + +/* ****** ****** */ +// +typedef +struct timeval +atslib_libats_libc_timeval_type ; +typedef +struct timezone +atslib_libats_libc_timezone_type ; +// +typedef +struct itimerval +atslib_libats_libc_itimerval_type ; +// +/* ****** ****** */ + +#define \ +atslib_libats_libc_gettimeofday_tv(tv) gettimeofday(tv, NULL) +#define \ +atslib_libats_libc_gettimeofday_tz(tz) gettimeofday(NULL, tz) + +#define \ +atslib_libats_libc_settimeofday_tv(tv) settimeofday(tv, NULL) +#define \ +atslib_libats_libc_settimeofday_tz(tz) settimeofday(NULL, tz) +#define \ +atslib_libats_libc_settimeofday_tvtz(tv, tz) settimeofday(tv, tz) + +/* ****** ****** */ + +#define atslib_libats_libc_utimes utimes +#define atslib_libats_libc_futimes futimes +#define atslib_libats_libc_futimesat futimesat + +/* ****** ****** */ +// +#define atslib_libats_libc_getitimer getitimer +// +#define atslib_libats_libc_setitimer setitimer +#define \ +atslib_libats_libc_setitimer_null(which, itval) setitimer(which, itval, NULL) +// +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_SYS_TIME + +/* ****** ****** */ + +/* end of [time.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/wait.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/wait.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/wait.cats @@ -0,0 +1,60 @@ +/***********************************************************************/ +/* */ +/* 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: October, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef \ +ATSLIB_LIBATS_LIBC_CATS_SYS_WAIT +#define \ +ATSLIB_LIBATS_LIBC_CATS_SYS_WAIT + +/* ****** ****** */ +// +#include +// +/* ****** ****** */ +// +#define \ +atslib_libats_libc_wait_void() wait((int*)0) +#define \ +atslib_libats_libc_wait_status(x) wait((int*)x) +// +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_SYS_WAIT + +/* ****** ****** */ + +/* end of [wait.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/time.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/time.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/time.cats @@ -0,0 +1,206 @@ +/***********************************************************************/ +/* */ +/* 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: March, 2013 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_TIME +#define ATSLIB_LIBATS_LIBC_CATS_TIME + +/* ****** ****** */ + +#include + +/* ****** ****** */ +// +typedef +time_t +atslib_libats_libc_time_type ; +// +typedef +struct tm +atslib_libats_libc_tm_struct_type ; +// +/* ****** ****** */ + +typedef +clock_t +atslib_libats_libc_clock_type ; + +/* ****** ****** */ + +typedef +struct timespec +atslib_libats_libc_timespec_type ; + +/* ****** ****** */ + +#define \ +atslib_libats_libc_difftime difftime + +/* ****** ****** */ + +#define \ +atslib_libats_libc_time_get() time((time_t*)0) + +ATSinline() +atstype_bool +atslib_libats_libc_time_getset +( + atstype_ref tval +) { + return (time((time_t*)tval) >= 0 ? atsbool_true : atsbool_false) ; +} // end of [atslib_libats_libc_time_getset] + +/* ****** ****** */ + +#define \ +atslib_libats_libc_ctime ctime +#define \ +atslib_libats_libc_ctime_r ctime_r + +/* ****** ****** */ + +ATSinline() +atstype_int +atslib_libats_libc_tm_get_sec + (atstype_ptr tm) { + return ((struct tm*)tm)->tm_sec ; +} // end of [atslib_libats_libc_tm_get_sec] + +ATSinline() +atstype_int +atslib_libats_libc_tm_get_min + (atstype_ptr tm) { + return ((struct tm*)tm)->tm_min ; +} // end of [atslib_libats_libc_tm_get_min] + +ATSinline() +atstype_int +atslib_libats_libc_tm_get_hour + (atstype_ptr tm) { + return ((struct tm*)tm)->tm_hour ; +} // end of [atslib_libats_libc_tm_get_hour] + +ATSinline() +atstype_int +atslib_libats_libc_tm_get_mday + (atstype_ptr tm) { + return ((struct tm*)tm)->tm_mday ; +} // end of [atslib_libats_libc_tm_get_mday] + +ATSinline() +atstype_int +atslib_libats_libc_tm_get_mon + (atstype_ptr tm) { + return ((struct tm*)tm)->tm_mon ; +} // end of [atslib_libats_libc_tm_get_mon] + +ATSinline() +atstype_int +atslib_libats_libc_tm_get_year + (atstype_ptr tm) { + return ((struct tm*)tm)->tm_year ; +} // end of [atslib_libats_libc_tm_get_year] + +ATSinline() +atstype_int +atslib_libats_libc_tm_get_wday + (atstype_ptr tm) { + return ((struct tm*)tm)->tm_wday ; +} // end of [atslib_libats_libc_tm_get_wday] + +ATSinline() +atstype_int +atslib_libats_libc_tm_get_yday + (atstype_ptr tm) { + return ((struct tm*)tm)->tm_yday ; +} // end of [atslib_libats_libc_tm_get_yday] + +ATSinline() +atstype_int +atslib_libats_libc_tm_get_isdst + (atstype_ptr tm) { + return ((struct tm*)tm)->tm_isdst ; +} // end of [atslib_libats_libc_tm_get_isdst] + +/* ****** ****** */ + +#define \ +atslib_libats_libc_mktime mktime + +/* ****** ****** */ + +#define \ +atslib_libats_libc_asctime asctime + +/* ****** ****** */ + +#define \ +atslib_libats_libc_gmtime gmtime +#define \ +atslib_libats_libc_gmtime_r gmtime_r + +/* ****** ****** */ + +#define \ +atslib_libats_libc_localtime localtime +#define \ +atslib_libats_libc_localtime_r localtime_r + +/* ****** ****** */ + +#define atslib_libats_libc_tzset tzset + +/* ****** ****** */ + +#define atslib_libats_libc_clock clock + +#define \ +atslib_libats_libc_clock_getres clock_getres + +/* ****** ****** */ + +#define \ +atslib_libats_libc_clock_gettime clock_gettime +#define \ +atslib_libats_libc_clock_settime clock_settime + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_TIME + +/* ****** ****** */ + +/* end of [time.cats] */ diff --git a/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/unistd.cats b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/unistd.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/unistd.cats @@ -0,0 +1,174 @@ +/***********************************************************************/ +/* */ +/* 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: April, 2012 *) +*/ + +/* ****** ****** */ + +#ifndef ATSLIB_LIBATS_LIBC_CATS_UNISTD +#define ATSLIB_LIBATS_LIBC_CATS_UNISTD + +/* ****** ****** */ + +#include + +/* ****** ****** */ + +#define atslib_libats_libc_close close +#define atslib_libats_libc_close0 atslib_libats_libc_close +#define atslib_libats_libc_close1 atslib_libats_libc_close +#define atslib_libats_libc_close0_exn atslib_libats_libc_close_exn +#define atslib_libats_libc_close1_exn atslib_libats_libc_close_exn + +/* ****** ****** */ + +#define atslib_libats_libc_dup dup +#define atslib_libats_libc_dup_fildes dup +#define atslib_libats_libc_dup2 dup2 +#define atslib_libats_libc_dup3 dup3 + +/* ****** ****** */ + +#define atslib_libats_libc_execv(path, argv) execv((char*)path, (char**)argv) +#define atslib_libats_libc_execvp(path, argv) execvp((char*)path, (char**)argv) + +/* ****** ****** */ + +#define atslib_libats_libc_encrypt encrypt + +/* ****** ****** */ + +#define atslib_libats_libc_fork fork + +/* ****** ****** */ + +#define atslib_libats_libc_getcwd getcwd + +/* ****** ****** */ + +#define atslib_libats_libc_getlogin getlogin +#define atslib_libats_libc_getlogin_r getlogin_r + +/* ****** ****** */ + +#define atslib_libats_libc_getpid getpid +#define atslib_libats_libc_getppid getppid + +/* ****** ****** */ + +#define atslib_libats_libc_getuid getuid +#define atslib_libats_libc_setuid setuid +#define atslib_libats_libc_geteuid geteuid +#define atslib_libats_libc_seteuid seteuid + +/* ****** ****** */ + +#define atslib_libats_libc_getgid getgid +#define atslib_libats_libc_setgid setgid +#define atslib_libats_libc_getegid getegid +#define atslib_libats_libc_setegid setegid + +/* ****** ****** */ + +#define atslib_libats_libc_setreuid setreuid +#define atslib_libats_libc_setregid setregid +#define atslib_libats_libc_setresuid setresuid +#define atslib_libats_libc_setresgid setresgid + +/* ****** ****** */ + +#define atslib_libats_libc_setfsuid setfsuid +#define atslib_libats_libc_setfsgid setfsgid + +/* ****** ****** */ + +#define atslib_libats_libc_pause pause + +/* ****** ****** */ + +#define atslib_libats_libc_read_err read +#define atslib_libats_libc_write_err write + +/* ****** ****** */ + +#define atslib_libats_libc_pread pread +#define atslib_libats_libc_pwrite pwrite + +/* ****** ****** */ + +#define atslib_libats_libc_alarm alarm +#define atslib_libats_libc_alarm_set alarm +#define atslib_libats_libc_alarm_cancel() alarm(0) + +/* ****** ****** */ + +#define atslib_libats_libc_sleep_int sleep +#define atslib_libats_libc_sleep_uint sleep + +/* ****** ****** */ + +#define atslib_libats_libc_usleep_int usleep +#define atslib_libats_libc_usleep_uint usleep + +/* ****** ****** */ + +#define atslib_libats_libc_rmdir rmdir + +/* ****** ****** */ + +#define atslib_libats_libc_link link +#define atslib_libats_libc_unlink unlink + +/* ****** ****** */ + +#define atslib_libats_libc_symlink symlink +#define atslib_libats_libc_readlink readlink + +/* ****** ****** */ + +#define atslib_libats_libc_sync sync +#define atslib_libats_libc_fsync fsync +#define atslib_libats_libc_fdatasync fdatasync + +/* ****** ****** */ + +#define atslib_libats_libc_truncate truncate +#define atslib_libats_libc_ftruncate ftruncate + +/* ****** ****** */ + +#endif // ifndef ATSLIB_LIBATS_LIBC_CATS_UNISTD + +/* ****** ****** */ + +/* end of [unistd.cats] */ diff --git a/.atspkg/contrib/atscntrb-hx-intinf/mydepies.hats b/.atspkg/contrib/atscntrb-hx-intinf/mydepies.hats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/atscntrb-hx-intinf/mydepies.hats @@ -0,0 +1,25 @@ +(* ****** ****** *) +// +// HX-2017-01-21: +// For handling dependencies +// +(* ****** ****** *) +// +local +// +#define +LIBGMP_targetloc +"\ +$PATSHOME/contrib\ +/atscntrb/atscntrb-hx-libgmp" +// +in (*in-of-local*) +// +#staload +GMP = "{$LIBGMP}/SATS/gmp.sats" +// +end // end of [local] +// +(* ****** ****** *) + +(* end of [mydepies.hats] *) diff --git a/.atspkg/contrib/atscntrb-hx-intinf/mylibies.hats b/.atspkg/contrib/atscntrb-hx-intinf/mylibies.hats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/atscntrb-hx-intinf/mylibies.hats @@ -0,0 +1,26 @@ +(* ****** ****** *) +// +// HX-2017-01-28: +// For downstream staloading +// +(* ****** ****** *) +// +#staload +INTINF = "./SATS/intinf.sats" +#staload +INTINF_t = "./SATS/intinf_t.sats" +#staload +INTINF_vt = "./SATS/intinf_vt.sats" +// +(* ****** ****** *) +// +#staload +_(*INTINF_t*) = "./DATS/intinf_t.dats" +#staload +_(*INTINF_vt*) = "./DATS/intinf_vt.dats" +// +#staload GINTINF_t = "./DATS/gintinf_t.dats" +// +(* ****** ****** *) + +(* end of [mylibies.hats] *) diff --git a/.atspkg/contrib/atscntrb-hx-libgmp/CATS/gmp.cats b/.atspkg/contrib/atscntrb-hx-libgmp/CATS/gmp.cats new file mode 100644 --- /dev/null +++ b/.atspkg/contrib/atscntrb-hx-libgmp/CATS/gmp.cats @@ -0,0 +1,331 @@ +/* ****** ****** */ +// +// API in ATS for libgmp +// +/* ****** ****** */ + +/* +(* +** ATS/Postiats - Unleashing the Potential of Types! +** Copyright (C) 2011-2013 Hongwei Xi, ATS Trustful Software, Inc. +** All rights reserved +** +** Permission to use, copy, modify, and distribute this software for any +** purpose with or without fee is hereby granted, provided that the above +** copyright notice and this permission notice appear in all copies. +** +** THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES +** WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF +** MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR +** ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES +** WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN +** ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF +** OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. +*) +*/ + +/* ****** ****** */ + +/* +** Author: Hongwei Xi +** Authoremail: gmhwxiATgmailDOTcom +*/ + +/* ****** ****** */ + +#ifndef ATSCNTRB_LIBGMP_GMP_CATS +#define ATSCNTRB_LIBGMP_GMP_CATS + +/* ****** ****** */ + +#include + +/* ****** ****** */ + +typedef +__mpz_struct atscntrb_gmp_mpz ; +typedef atscntrb_gmp_mpz *ptrmpz; + +/* ****** ****** */ +// +// init/clear/realloc +// +#define atscntrb_gmp_mpz_init mpz_init +#define atscntrb_gmp_mpz_init2 mpz_init2 +#define atscntrb_gmp_mpz_clear mpz_clear +#define atscntrb_gmp_mpz_realloc2 mpz_realloc2 +// +/* ****** ****** */ +// +// get-functions +// +#define atscntrb_gmp_mpz_get_int mpz_get_si +#define atscntrb_gmp_mpz_get_uint mpz_get_ui +#define atscntrb_gmp_mpz_get_lint mpz_get_si +#define atscntrb_gmp_mpz_get_ulint mpz_get_ui +#define atscntrb_gmp_mpz_get_double mpz_get_d +#define atscntrb_gmp_mpz_get_str mpz_get_str +#define atscntrb_gmp_mpz_get_str_null(base, mpz) mpz_get_str((char*)0, base, mpz) +// +/* ****** ****** */ +// +// set-functions +// +#define atscntrb_gmp_mpz_set_int mpz_set_si +#define atscntrb_gmp_mpz_set_uint mpz_set_ui +#define atscntrb_gmp_mpz_set_lint mpz_set_si +#define atscntrb_gmp_mpz_set_ulint mpz_set_ui +#define atscntrb_gmp_mpz_set_mpz mpz_set +// +/* ****** ****** */ +// +// init-set functions +// +#define atscntrb_gmp_mpz_init_set_mpz mpz_init_set +#define atscntrb_gmp_mpz_init_set_int mpz_init_set_si +#define atscntrb_gmp_mpz_init_set_uint mpz_init_set_ui +#define atscntrb_gmp_mpz_init_set_lint mpz_init_set_si +#define atscntrb_gmp_mpz_init_set_ulint mpz_init_set_ui +// +/* ****** ****** */ + +#define atscntrb_gmp_mpz_size mpz_size + +/* ****** ****** */ +// +// input-output-functions +// +#define atscntrb_gmp_mpz_inp_str mpz_inp_str +#define atscntrb_gmp_mpz_out_str mpz_out_str +// +/* ****** ****** */ + +ATSinline() +atsvoid_t0ype +atscntrb_gmp_fprint_mpz_base +( + atstype_ref out, atstype_ptr x, atstype_int base +) { + size_t ndigit ; + ndigit = mpz_out_str ((FILE*)out, base, (ptrmpz)x) ; + return ; +} // end of [atscntrb_gmp_fprint_mpz_base] + +#define atscntrb_gmp_fprint_mpz(out, x) \ + atscntrb_gmp_fprint_mpz_base(out, x, 10) + +/* ****** ****** */ +// +#define atscntrb_gmp_mpz_inp_raw mpz_inp_raw +#define atscntrb_gmp_mpz_out_raw mpz_out_raw +// +/* ****** ****** */ + +#define atscntrb_gmp_mpz_odd_p(x) mpz_odd_p((ptrmpz)x) +#define atscntrb_gmp_mpz_even_p(x) mpz_even_p((ptrmpz)x) + +/* ****** ****** */ + +#define atscntrb_gmp_mpz_neg1(x) mpz_neg(x, x) +#define atscntrb_gmp_mpz_neg2(x, y) mpz_neg(x, y) + +/* ****** ****** */ + +#define atscntrb_gmp_mpz_abs1(x) mpz_abs(x, x) +#define atscntrb_gmp_mpz_abs2(x, y) mpz_abs(x, y) + +/* ****** ****** */ +// +// addition-functions +// +ATSinline() +atsvoid_t0ype +mpz_add_si +( + mpz_t rop +, mpz_t op1, atstype_lint op2 +) +{ + if (op2 >= 0) + mpz_add_ui (rop, op1, op2) ; + else + mpz_add_ui (rop, op1, -op2) ; + // end of [if] +} /* end of [mpz_add_si] */ +// +// x := x+y // y+z +// +#define atscntrb_gmp_mpz_add2_mpz(x, y) mpz_add(x, x, y) +#define atscntrb_gmp_mpz_add2_int(x, y) mpz_add_si(x, x, y) +#define atscntrb_gmp_mpz_add2_uint(x, y) mpz_add_ui(x, x, y) +#define atscntrb_gmp_mpz_add2_lint(x, y) mpz_add_si(x, x, y) +#define atscntrb_gmp_mpz_add2_ulint(x, y) mpz_add_ui(x, x, y) +#define atscntrb_gmp_mpz_add3_mpz(x, y, z) mpz_add(x, y, z) +#define atscntrb_gmp_mpz_add3_int(x, y, z) mpz_add_si(x, y, z) +#define atscntrb_gmp_mpz_add3_uint(x, y, z) mpz_add_ui(x, y, z) +#define atscntrb_gmp_mpz_add3_lint(x, y, z) mpz_add_si(x, y, z) +#define atscntrb_gmp_mpz_add3_ulint(x, y, z) mpz_add_ui(x, y, z) +// +/* ****** ****** */ +// +// subtraction-functions +// +ATSinline() +atsvoid_t0ype +mpz_sub_si +( + mpz_t rop +, mpz_t op1, atstype_lint op2 +) +{ + if (op2 >= 0) + mpz_sub_ui (rop, op1, op2) ; + else + mpz_sub_ui (rop, op1, -op2) ; + // end of [if] +} /* end of [mpz_sub_si] */ +// +#define atscntrb_gmp_mpz_sub2_mpz(x, y) mpz_sub(x, x, y) +#define atscntrb_gmp_mpz_sub2_int(x, y) mpz_sub_si(x, x, y) +#define atscntrb_gmp_mpz_sub2_uint(x, y) mpz_sub_ui(x, x, y) +#define atscntrb_gmp_mpz_sub2_lint(x, y) mpz_sub_si(x, x, y) +#define atscntrb_gmp_mpz_sub2_ulint(x, y) mpz_sub_ui(x, x, y) +#define atscntrb_gmp_mpz_sub3_mpz(x, y, z) mpz_sub(x, y, z) +#define atscntrb_gmp_mpz_sub3_int(x, y, z) mpz_sub_si(x, y, z) +#define atscntrb_gmp_mpz_sub3_uint(x, y, z) mpz_sub_ui(x, y, z) +#define atscntrb_gmp_mpz_sub3_lint(x, y, z) mpz_sub_si(x, y, z) +#define atscntrb_gmp_mpz_sub3_ulint(x, y, z) mpz_sub_ui(x, y, z) +// +/* ****** ****** */ +// +// multiplication-functions +// +// x := x * y // y * z +// +#define atscntrb_gmp_mpz_mul2_mpz(x, y) mpz_mul(x, x, y) +#define atscntrb_gmp_mpz_mul2_int(x, y) mpz_mul_si(x, x, y) +#define atscntrb_gmp_mpz_mul2_uint(x, y) mpz_mul_ui(x, x, y) +#define atscntrb_gmp_mpz_mul2_lint(x, y) mpz_mul_si(x, x, y) +#define atscntrb_gmp_mpz_mul2_ulint(x, y) mpz_mul_ui(x, x, y) +#define atscntrb_gmp_mpz_mul3_mpz(x, y, z) mpz_mul(x, y, z) +#define atscntrb_gmp_mpz_mul3_int(x, y, z) mpz_mul_si(x, y, z) +#define atscntrb_gmp_mpz_mul3_uint(x, y, z) mpz_mul_ui(x, y, z) +#define atscntrb_gmp_mpz_mul3_lint(x, y, z) mpz_mul_si(x, y, z) +#define atscntrb_gmp_mpz_mul3_ulint(x, y, z) mpz_mul_ui(x, y, z) +// +#define atscntrb_gmp_mpz_mul3_2exp(x, y, z) mpz_mul_2exp(x, y, z) +// +/* ****** ****** */ +// +// trunc-division-functions +// +#define atscntrb_gmp_mpz_tdiv2_q_mpz(x, y) mpz_tdiv_q(x, x, y) +#define atscntrb_gmp_mpz_tdiv2_q_uint(x, y) mpz_tdiv_q_ui(x, x, y) +#define atscntrb_gmp_mpz_tdiv2_q_ulint(x, y) mpz_tdiv_q_ui(x, x, y) +#define atscntrb_gmp_mpz_tdiv3_q_mpz(x, y, z) mpz_tdiv_q(x, y, z) +#define atscntrb_gmp_mpz_tdiv3_q_uint(x, y, z) mpz_tdiv_q_ui(x, y, z) +#define atscntrb_gmp_mpz_tdiv3_q_ulint(x, y, z) mpz_tdiv_q_ui(x, y, z) +// +#define atscntrb_gmp_mpz_tdiv2_r_mpz(x, y) mpz_tdiv_r(x, x, y) +#define atscntrb_gmp_mpz_tdiv2_r_uint(x, y) mpz_tdiv_r_ui(x, x, y) +#define atscntrb_gmp_mpz_tdiv2_r_ulint(x, y) mpz_tdiv_r_ui(x, x, y) +#define atscntrb_gmp_mpz_tdiv3_r_mpz(x, y, z) mpz_tdiv_r(x, y, z) +#define atscntrb_gmp_mpz_tdiv3_r_uint(x, y, z) mpz_tdiv_r_ui(x, y, z) +#define atscntrb_gmp_mpz_tdiv3_r_ulint(x, y, z) mpz_tdiv_r_ui(x, y, z) +// +#define atscntrb_gmp_mpz_tdiv3_qr_mpz(xq, xr, y) mpz_tdiv_qr(xq, xr, xq, y) +#define atscntrb_gmp_mpz_tdiv3_qr_uint(xq, xr, y) mpz_tdiv_qr_ui(xq, xr, xq, y) +#define atscntrb_gmp_mpz_tdiv3_qr_ulint(xq, xr, y) mpz_tdiv_qr_ui(xq, xr, xq, y) +#define atscntrb_gmp_mpz_tdiv4_qr_mpz(xq, xr, y, z) mpz_tdiv_qr(xq, xr, y, z) +#define atscntrb_gmp_mpz_tdiv4_qr_uint(xq, xr, y, z) mpz_tdiv_qr_ui(xq, xr, y, z) +#define atscntrb_gmp_mpz_tdiv4_qr_ulint(xq, xr, y, z) mpz_tdiv_qr_ui(xq, xr, y, z) +// +/* ****** ****** */ +// +// floor-division-functions +// +#define atscntrb_gmp_mpz_fdiv_uint(x, y) mpz_fdiv_ui(x, y) +#define atscntrb_gmp_mpz_fdiv_ulint(x, y) mpz_fdiv_ui(x, y) +// +#define atscntrb_gmp_mpz_fdiv2_q_mpz(x, y) mpz_fdiv_q(x, x, y) +#define atscntrb_gmp_mpz_fdiv2_q_uint(x, y) mpz_fdiv_q_ui(x, x, y) +#define atscntrb_gmp_mpz_fdiv2_q_ulint(x, y) mpz_fdiv_q_ui(x, x, y) +#define atscntrb_gmp_mpz_fdiv3_q_mpz(x, y, z) mpz_fdiv_q(x, y, z) +#define atscntrb_gmp_mpz_fdiv3_q_uint(x, y, z) mpz_fdiv_q_ui(x, y, z) +#define atscntrb_gmp_mpz_fdiv3_q_ulint(x, y, z) mpz_fdiv_q_ui(x, y, z) +// +#define atscntrb_gmp_mpz_fdiv4_qr_mpz(q, r, dd, dr) mpz_fdiv_qr(q, r, dd, dr) +#define atscntrb_gmp_mpz_fdiv4_qr_ulint(q, r, dd, dr) mpz_fdiv_qr_ui(q, r, dd, dr) +// +/* ****** ****** */ +// +// ceiling-division-functions +// +#define atscntrb_gmp_mpz_cdiv_uint(x, y) mpz_cdiv_ui(x, y) +#define atscntrb_gmp_mpz_cdiv_ulint(x, y) mpz_cdiv_ui(x, y) +// +#define atscntrb_gmp_mpz_cdiv2_q_mpz(x, y) mpz_cdiv_q(x, x, y) +#define atscntrb_gmp_mpz_cdiv2_q_uint(x, y) mpz_cdiv_q_ui(x, x, y) +#define atscntrb_gmp_mpz_cdiv2_q_ulint(x, y) mpz_cdiv_q_ui(x, x, y) +#define atscntrb_gmp_mpz_cdiv3_q_mpz(x, y, z) mpz_cdiv_q(x, y, z) +#define atscntrb_gmp_mpz_cdiv3_q_uint(x, y, z) mpz_cdiv_q_ui(x, y, z) +#define atscntrb_gmp_mpz_cdiv3_q_ulint(x, y, z) mpz_cdiv_q_ui(x, y, z) +// +/* ****** ****** */ +// +// modulo-functions +// +// x := x mod y // y mod z +// +#define atscntrb_gmp_mpz_mod2_mpz(x, y) mpz_mod(x, x, y) +#define atscntrb_gmp_mpz_mod2_uint(x, y) mpz_mod_ui(x, x, y) +#define atscntrb_gmp_mpz_mod2_ulint(x, y) mpz_mod_ui(x, x, y) +#define atscntrb_gmp_mpz_mod3_mpz(x, y, z) mpz_mod(x, y, z) +#define atscntrb_gmp_mpz_mod3_uint(x, y, z) mpz_mod_ui(x, y, z) +#define atscntrb_gmp_mpz_mod3_ulint(x, y, z) mpz_mod_ui(x, y, z) +// +/* ****** ****** */ +// +#define atscntrb_gmp_mpz_addmul3_mpz(x, y, z) mpz_addmul(x, y, z) +#define atscntrb_gmp_mpz_addmul3_uint(x, y, z) mpz_addmul_ui(x, y, z) +#define atscntrb_gmp_mpz_addmul3_ulint(x, y, z) mpz_addmul_ui(x, y, z) +// +#define atscntrb_gmp_mpz_submul3_mpz(x, y, z) mpz_submul(x, y, z) +#define atscntrb_gmp_mpz_submul3_uint(x, y, z) mpz_submul_ui(x, y, z) +#define atscntrb_gmp_mpz_submul3_ulint(x, y, z) mpz_submul_ui(x, y, z) +// +/* ****** ****** */ +// +// comparison-functions +// +#define atscntrb_gmp_mpz_cmp_mpz(x, y) mpz_cmp((ptrmpz)x, y) +#define atscntrb_gmp_mpz_cmp_int(x, y) mpz_cmp_si((ptrmpz)x, y) +#define atscntrb_gmp_mpz_cmp_uint(x, y) mpz_cmp_ui((ptrmpz)x, y) +#define atscntrb_gmp_mpz_cmp_lint(x, y) mpz_cmp_si((ptrmpz)x, y) +#define atscntrb_gmp_mpz_cmp_ulint(x, y) mpz_cmp_ui((ptrmpz)x, y) +// +/* ****** ****** */ +// +// power-functions +// +#define atscntrb_gmp_mpz_pow_uint(pow, base, exp) mpz_pow_ui(pow, base, exp) +#define atscntrb_gmp_mpz_pow_ulint(pow, base, exp) mpz_pow_ui(pow, base, exp) +// +#define atscntrb_gmp_mpz_ui_pow_ui(pow, base, exp) mpz_ui_pow_ui(pow, base, exp) +// +/* ****** ****** */ + +#define atscntrb_gmp_mpz_fac_uint(res, n) mpz_fac_ui(res, n) + +/* ****** ****** */ +// +#define atscntrb_gmp_mpz_fib_uint(res, n) mpz_fib_ui(res, n) +#define atscntrb_gmp_mpz_fib2_uint(res1, res2, n) mpz_fib2_ui(res1, res2, n) +// +/* ****** ****** */ + +#endif // ifndef ATSCNTRB_LIBGMP_GMP_CATS + +/* ****** ****** */ + +/* end of [gmp.cats] */ diff --git a/cbits/combinatorics.c b/cbits/combinatorics.c --- a/cbits/combinatorics.c +++ b/cbits/combinatorics.c @@ -1,7 +1,7 @@ /* ** ** The C code is generated by [ATS/Postiats-0-3-10] -** The starting compilation time is: 2018-5-13: 17h:59m +** The starting compilation time is: 2018-5-13: 18h:15m ** */ diff --git a/cbits/number-theory.c b/cbits/number-theory.c --- a/cbits/number-theory.c +++ b/cbits/number-theory.c @@ -1,7 +1,7 @@ /* ** ** The C code is generated by [ATS/Postiats-0-3-10] -** The starting compilation time is: 2018-5-13: 17h:59m +** The starting compilation time is: 2018-5-13: 18h:15m ** */ diff --git a/cbits/numerics.c b/cbits/numerics.c --- a/cbits/numerics.c +++ b/cbits/numerics.c @@ -1,7 +1,7 @@ /* ** ** The C code is generated by [ATS/Postiats-0-3-10] -** The starting compilation time is: 2018-5-13: 17h:59m +** The starting compilation time is: 2018-5-13: 18h:15m ** */ diff --git a/fast-arithmetic.cabal b/fast-arithmetic.cabal --- a/fast-arithmetic.cabal +++ b/fast-arithmetic.cabal @@ -1,6 +1,6 @@ cabal-version: 1.18 name: fast-arithmetic -version: 0.6.0.4 +version: 0.6.0.5 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2018 Vanessa McHale @@ -16,38 +16,13 @@ extra-source-files: atspkg.dhall pkg.dhall - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/basics.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/integer.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/pointer.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/integer_long.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/integer_size.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/integer_short.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/bool.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/char.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/float.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/integer_ptr.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/integer_fixed.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/memory.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/string.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/strptr.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/fprintf.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/filebas.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/list.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/option.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/array.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/arrayptr.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/arrayref.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/matrix.cats - .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/matrixptr.cats - .atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/stdio.cats - .atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/types.cats - .atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/stat.cats - .atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/types.cats - .atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/stdio.cats - .atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/types.cats - .atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/math.cats - .atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_memalloc_libc.h - .atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/pats_ccomp_runtime_memalloc.c + .atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/*.h + .atspkg/contrib/ats-includes-0.3.10/ccomp/runtime/*.c + .atspkg/contrib/ats-includes-0.3.10/prelude/CATS/*.cats + .atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/*.cats + .atspkg/contrib/ats-includes-0.3.10/libats/libc/CATS/sys/*.cats + .atspkg/contrib/atscntrb-hx-intinf/*.hats + .atspkg/contrib/atscntrb-hx-libgmp/CATS/*.cats extra-doc-files: README.md source-repository head @@ -76,7 +51,7 @@ .atspkg/contrib/ats-includes-0.3.10/ .atspkg/contrib ghc-options: -Wall -optc-mtune=native -optc-flto -optc-O3 build-depends: - base >=4.6 && <5, + base >=4.7 && <5, composition-prelude >=1.2.0.0, gmpint -any