matti:ATS-Postiats Matti$ make all
autoheader configure.ac; touch config.h.in
aclocal
automake --add-missing --foreign || true
configure.ac:58: installing './compile'
configure.ac:56: installing './install-sh'
configure.ac:56: installing './missing'
automake: error: no 'Makefile.am' found for any configure output
autoconf
touch config.mk config.h
./configure; touch config.status
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... ./install-sh -c -d
checking for gawk... no
checking for mawk... no
checking for nawk... no
checking for awk... awk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking for style of include used by make... GNU
checking dependency style of gcc... none
checking whether ln -s works... yes
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking gmp.h usability... yes
checking gmp.h presence... yes
checking for gmp.h... yes
checking size of void*... 8
checking for posix_memalign... yes
checking for memalign... no
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating config.mk
config.status: creating bin/patscc_env.sh
config.status: creating bin/patsopt_env.sh
config.status: creating config.h
config.status: executing depfiles commands
./config.status config.mk; touch config.mk
config.status: creating config.mk
\
  make -j4 -C src/CBOOT CCOMP=gcc GCFLAG=-D_ATS_GCATS patsopt
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_main_dats.o pats_main_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_error_sats.o pats_error_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_intinf_sats.o pats_intinf_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_counter_sats.o pats_counter_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_utils_sats.o pats_utils_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_global_sats.o pats_global_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_basics_sats.o pats_basics_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_stamp_sats.o pats_stamp_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_symbol_sats.o pats_symbol_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_filename_sats.o pats_filename_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_location_sats.o pats_location_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_errmsg_sats.o pats_errmsg_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_reader_sats.o pats_reader_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lexbuf_sats.o pats_lexbuf_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lexing_sats.o pats_lexing_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_label_sats.o pats_label_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_effect_sats.o pats_effect_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_fixity_sats.o pats_fixity_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_syntax_sats.o pats_syntax_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_depgen_sats.o pats_depgen_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_taggen_sats.o pats_taggen_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_tokbuf_sats.o pats_tokbuf_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_sats.o pats_parsing_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_symmap_sats.o pats_symmap_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_symenv_sats.o pats_symenv_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp1_sats.o pats_staexp1_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp1_sats.o pats_dynexp1_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_sats.o pats_trans1_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_env_sats.o pats_trans1_env_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_e1xpval_sats.o pats_e1xpval_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_sats.o pats_staexp2_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_stacst2_sats.o pats_stacst2_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_util_sats.o pats_staexp2_util_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_error_sats.o pats_staexp2_error_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_solve_sats.o pats_staexp2_solve_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_patcst2_sats.o pats_patcst2_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp2_sats.o pats_dynexp2_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dyncst2_sats.o pats_dyncst2_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp2_util_sats.o pats_dynexp2_util_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_sats.o pats_trans2_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_namespace_sats.o pats_namespace_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_env_sats.o pats_trans2_env_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp3_sats.o pats_dynexp3_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_sats.o pats_trans3_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_sats.o pats_trans3_env_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dmacro2_sats.o pats_dmacro2_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lintprgm_sats.o pats_lintprgm_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_constraint3_sats.o pats_constraint3_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_histaexp_sats.o pats_histaexp_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_hidynexp_sats.o pats_hidynexp_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_typerase_sats.o pats_typerase_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_sats.o pats_ccomp_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_comarg_sats.o pats_comarg_sats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_error_dats.o pats_error_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_intinf_dats.o pats_intinf_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_counter_dats.o pats_counter_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_utils_dats.o pats_utils_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_global_dats.o pats_global_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_basics_dats.o pats_basics_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_stamp_dats.o pats_stamp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_symbol_dats.o pats_symbol_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_filename_dats.o pats_filename_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_location_dats.o pats_location_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_errmsg_dats.o pats_errmsg_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_reader_dats.o pats_reader_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lexbuf_dats.o pats_lexbuf_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lexing_dats.o pats_lexing_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lexing_print_dats.o pats_lexing_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lexing_error_dats.o pats_lexing_error_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lexing_token_dats.o pats_lexing_token_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_label_dats.o pats_label_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_effect_dats.o pats_effect_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_fixity_prec_dats.o pats_fixity_prec_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_fixity_fxty_dats.o pats_fixity_fxty_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_syntax_dats.o pats_syntax_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_syntax_print_dats.o pats_syntax_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_depgen_dats.o pats_depgen_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_taggen_dats.o pats_taggen_dats.c
WARNING: While resolving call to function 'f_49' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_tokbuf_dats.o pats_tokbuf_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_dats.o pats_parsing_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_error_dats.o pats_parsing_error_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_util_dats.o pats_parsing_util_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_kwds_dats.o pats_parsing_kwds_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_base_dats.o pats_parsing_base_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_e0xp_dats.o pats_parsing_e0xp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_sort_dats.o pats_parsing_sort_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_staexp_dats.o pats_parsing_staexp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_p0at_dats.o pats_parsing_p0at_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_dynexp_dats.o pats_parsing_dynexp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_decl_dats.o pats_parsing_decl_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_parsing_toplevel_dats.o pats_parsing_toplevel_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_symmap_dats.o pats_symmap_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_symenv_dats.o pats_symenv_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp1_dats.o pats_staexp1_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp1_print_dats.o pats_staexp1_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp1_dats.o pats_dynexp1_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp1_print_dats.o pats_dynexp1_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_env_dats.o pats_trans1_env_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_e1xpval_dats.o pats_e1xpval_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_e1xpval_error_dats.o pats_e1xpval_error_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_e1xpval_2esats__v1al_is_err' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_16' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_filename_reloc_dats.o pats_filename_reloc_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_error_dats.o pats_trans1_error_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_e0xp_dats.o pats_trans1_e0xp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_effect_dats.o pats_trans1_effect_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__e0xp_tr' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_sort_dats.o pats_trans1_sort_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0rt_tr' arguments were dropped!
WARNING: While resolving call to function 'd0atsrtcon_tr_23' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__a0msrt_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__a0srt_tr' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_staexp_dats.o pats_trans1_staexp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_p0at_dats.o pats_trans1_p0at_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_syndef_dats.o pats_trans1_syndef_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__p0at_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__labp0at_tr' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_dynexp_dats.o pats_trans1_dynexp_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__a0typ_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0arg_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0exp_tr' arguments were dropped!
WARNING: While resolving call to function 's0qua_tr_18' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__labs0exp_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__labs0exp_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0exp_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0exp_tr' arguments were dropped!
WARNING: While resolving call to function 'aux_extarg_23' arguments were dropped!
WARNING: While resolving call to function 'aux_extarg_23' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans1_decl_dats.o pats_trans1_decl_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__q0marg_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0qualst_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0vararg_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0marg_tr' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_dats.o pats_staexp2_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__d0exp_tr' arguments were dropped!
WARNING: While resolving call to function 's0expdarg_tr_13' arguments were dropped!
WARNING: While resolving call to function 'i0nvarg_tr_23' arguments were dropped!
WARNING: While resolving call to function 'c0lau_tr_29' arguments were dropped!
WARNING: While resolving call to function 'sc0lau_tr_31' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__d0ecl_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__labd0exp_tr' arguments were dropped!
WARNING: While resolving call to function 'v0ardec_tr_28' arguments were dropped!
WARNING: While resolving call to function 'v0aldec_tr_25' arguments were dropped!
WARNING: While resolving call to function 'm0acdef_tr_24' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__e0xndec_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__d0atdec_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0expdef_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0expdef_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0tacon_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0tacst_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans1_2esats__s0rtdef_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_staexp2_2esats__s2exp_var' arguments were dropped!
WARNING: While resolving call to function 'gm0at_tr_27' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_stacst2_dats.o pats_stacst2_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_print_dats.o pats_staexp2_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_pprint_dats.o pats_staexp2_pprint_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_sort_dats.o pats_staexp2_sort_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_scst_dats.o pats_staexp2_scst_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_svar_dats.o pats_staexp2_svar_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_svvar_dats.o pats_staexp2_svvar_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_hole_dats.o pats_staexp2_hole_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_ctxt_dats.o pats_staexp2_ctxt_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_dcon_dats.o pats_staexp2_dcon_dats.c
WARNING: While resolving call to function '__ats_fun_106' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_skexp_dats.o pats_staexp2_skexp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_szexp_dats.o pats_staexp2_szexp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_util1_dats.o pats_staexp2_util1_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_util2_dats.o pats_staexp2_util2_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_util3_dats.o pats_staexp2_util3_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_error_dats.o pats_staexp2_error_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_staexp2_solve_dats.o pats_staexp2_solve_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_patcst2_dats.o pats_patcst2_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp2_dats.o pats_dynexp2_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_patcst2_2esats__p2at2cst' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_9' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dyncst2_dats.o pats_dyncst2_dats.c
WARNING: While resolving call to function '__ats_fun_64' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_patcst2_2esats__p2at2cst' arguments were dropped!
WARNING: While resolving call to function 'f_24' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_7' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_9' arguments were dropped!
WARNING: While resolving call to function 'p2at_svs_add_svar_1' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp2_print_dats.o pats_dynexp2_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp2_dcst_dats.o pats_dynexp2_dcst_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp2_dvar_dats.o pats_dynexp2_dvar_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp2_dmac_dats.o pats_dynexp2_dmac_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp2_util_dats.o pats_dynexp2_util_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_namespace_dats.o pats_namespace_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_env_dats.o pats_trans2_env_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_error_dats.o pats_trans2_error_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_sort_dats.o pats_trans2_sort_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_env_2esats__the_s2expenv_add_svar' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_env_2esats__the_d2expenv_add_dmacvar' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_env_2esats__the_d2expenv_add_dvar' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_staexp_dats.o pats_trans2_staexp_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1rt_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__a1srt_tr_srt' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_p1at_dats.o pats_trans2_p1at_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_dynexp_dats.o pats_trans2_dynexp_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__p1at_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__p1at_tr' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_impdec_dats.o pats_trans2_impdec_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__labp1at_tr' arguments were dropped!
WARNING: While resolving call to function 'f_17' arguments were dropped!
WARNING: While resolving call to function 'f_77' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__t1mpmarg_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1exp_trup' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1exparg_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1exp_trdn_impred' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1exp_trdn_bool' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__d1exp_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1exp_trdn_addr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1arg_trup' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1exp_trdn_int' arguments were dropped!
WARNING: While resolving call to function 'gm1at_tr_37' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1explst_trdn_vt0ype' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__labd1exp_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1explst_trdn_vt0ype' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1explst_trdn_vt0ype' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1exp_trdn_vt0ype' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans2_decl_dats.o pats_trans2_decl_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__s1exp_trup_hnfize' arguments were dropped!
WARNING: While resolving call to function 'f_48' arguments were dropped!
WARNING: While resolving call to function 'v1aldec_tr_99' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp3_dats.o pats_dynexp3_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__d1ecl_tr' arguments were dropped!
WARNING: While resolving call to function 'f_4' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_31' arguments were dropped!
WARNING: While resolving call to function 'f2_33' arguments were dropped!
WARNING: While resolving call to function 'f_39' arguments were dropped!
WARNING: While resolving call to function 'f_69' arguments were dropped!
WARNING: While resolving call to function 'm1acarg_tr_88' arguments were dropped!
WARNING: While resolving call to function 'trans2_env_add_m2acarg_85' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_101' arguments were dropped!
WARNING: While resolving call to function 'v1ardec_tr_105' arguments were dropped!
WARNING: While resolving call to function 'f_107' arguments were dropped!
WARNING: While resolving call to function 'prv1ardec_tr_111' arguments were dropped!
WARNING: While resolving call to function 'f_113' arguments were dropped!
WARNING: While resolving call to function 's1tacst_tr_21' arguments were dropped!
WARNING: While resolving call to function 's1rtdef_tr_20' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans2_2esats__d1ecl_tr' arguments were dropped!
WARNING: While resolving call to function 'f_90' arguments were dropped!
WARNING: While resolving call to function 'f_89' arguments were dropped!
WARNING: While resolving call to function 'f1_32' arguments were dropped!
WARNING: While resolving call to function 'f_48' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_dynexp3_2esats__d3exp_get_type' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dynexp3_print_dats.o pats_dynexp3_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_error_dats.o pats_trans3_error_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_util_dats.o pats_trans3_util_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_dats.o pats_trans3_env_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_print_dats.o pats_trans3_env_print_dats.c
WARNING: While resolving call to function 'f_23' arguments were dropped!
WARNING: While resolving call to function 'f_15' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_2esats__d2exp_syn_type' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_scst_dats.o pats_trans3_env_scst_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_env_2esats__trans3_env_add_svar' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_env_2esats__trans3_env_add_sVar' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_env_2esats__d3exp_open_and_add' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_svar_dats.o pats_trans3_env_svar_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_termet_dats.o pats_trans3_env_termet_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_effect_dats.o pats_trans3_env_effect_dats.c
WARNING: While resolving call to function 'f_7' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_19' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_dvar_dats.o pats_trans3_env_dvar_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_lamlp_dats.o pats_trans3_env_lamlp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_pfman_dats.o pats_trans3_env_pfman_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_env_2esats__the_d2varenv_add_p3at' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_env_lstate_dats.o pats_trans3_env_lstate_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_env_2esats__the_pfmanenv_add_dvar' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_env_2esats__the_pfmanenv_add_p3at' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dmacro2_dats.o pats_dmacro2_dats.c
WARNING: While resolving call to function 'f_7' arguments were dropped!
WARNING: While resolving call to function 'f_12' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dmacro2_print_dats.o pats_dmacro2_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dmacro2_eval0_dats.o pats_dmacro2_eval0_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_dmacro2_eval1_dats.o pats_dmacro2_eval1_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_p2at_dats.o pats_trans3_p2at_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_patcon_dats.o pats_trans3_patcon_dats.c
WARNING: While resolving call to function 'auxpat2_15' arguments were dropped!
WARNING: While resolving call to function 'auxck_12' arguments were dropped!
WARNING: While resolving call to function 'auxpat_7' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_13' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_2esats__p2at_syn_type' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_syncst_dats.o pats_trans3_syncst_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_dynexp_up_dats.o pats_trans3_dynexp_up_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_dynexp_dn_dats.o pats_trans3_dynexp_dn_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_appsym_dats.o pats_trans3_appsym_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_2esats__d2exp_trup' arguments were dropped!
WARNING: While resolving call to function 'f_43' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_caseof_dats.o pats_trans3_caseof_dats.c
WARNING: While resolving call to function '__ats_fun_24' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_selab_dats.o pats_trans3_selab_dats.c
WARNING: While resolving call to function 'gm2at_trup_1' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_ptrof_dats.o pats_trans3_ptrof_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_viewat_dats.o pats_trans3_viewat_dats.c
WARNING: While resolving call to function 'aux_1' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_deref_dats.o pats_trans3_deref_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_assgn_dats.o pats_trans3_assgn_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_xchng_dats.o pats_trans3_xchng_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_lvalres_dats.o pats_trans3_lvalres_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_fldfrat_dats.o pats_trans3_fldfrat_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_looping_dats.o pats_trans3_looping_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_trans3_decl_dats.o pats_trans3_decl_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lintprgm_dats.o pats_lintprgm_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lintprgm_print_dats.o pats_lintprgm_print_dats.c
WARNING: While resolving call to function 'aux_6' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_40' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_2esats__d2ecl_tr' arguments were dropped!
WARNING: While resolving call to function 'f_17' arguments were dropped!
WARNING: While resolving call to function '__ats_fun_21' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_decl_2edats__f2undec_tr' arguments were dropped!
WARNING: While resolving call to function 'aux1_32' arguments were dropped!
WARNING: While resolving call to function 'aux2_33' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_decl_2edats__v2ardec_tr' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_trans3_decl_2edats__prv2ardec_tr' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lintprgm_myint_int_dats.o pats_lintprgm_myint_int_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lintprgm_myint_intinf_dats.o pats_lintprgm_myint_intinf_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_lintprgm_solve_dats.o pats_lintprgm_solve_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_constraint3_dats.o pats_constraint3_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_constraint3_init_dats.o pats_constraint3_init_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_constraint3_print_dats.o pats_constraint3_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_constraint3_simplify_dats.o pats_constraint3_simplify_dats.c
WARNING: While resolving call to function 'loop_3' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_constraint3_icnstr_dats.o pats_constraint3_icnstr_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_constraint3_solve_dats.o pats_constraint3_solve_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_histaexp_dats.o pats_histaexp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_histaexp_print_dats.o pats_histaexp_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_histaexp_funlab_dats.o pats_histaexp_funlab_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_hidynexp_dats.o pats_hidynexp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_hidynexp_print_dats.o pats_hidynexp_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_hidynexp_util_dats.o pats_hidynexp_util_dats.c
WARNING: While resolving call to function 'f_2' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_hidynexp_2esats__hidexp_get_type' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_hidynexp_2esats__hipat_is_wild' arguments were dropped!
WARNING: While resolving call to function 'labhipat_is_wild_17' arguments were dropped!
WARNING: While resolving call to function 'ftest_24' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_typerase_error_dats.o pats_typerase_error_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_typerase_staexp_dats.o pats_typerase_staexp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_typerase_dynexp_dats.o pats_typerase_dynexp_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_2esats__t2mpmarg_mhnfize' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_2esats__t2mpmarg_tyer' arguments were dropped!
WARNING: While resolving call to function 'f_2' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_typerase_decl_dats.o pats_typerase_decl_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_dynexp_2edats__c3lau_tyer' arguments were dropped!
WARNING: While resolving call to function 'f_7' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_2esats__d3lab_tyer' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_2esats__d3exp_tyer' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_2esats__d3exp_tyer' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_2esats__d3exp_tyer' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_2esats__d3exp_tyer' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_dats.o pats_ccomp_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_dynexp_2edats__gm3at_tyer' arguments were dropped!
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_typerase_2esats__d3exp_tyer' arguments were dropped!
WARNING: While resolving call to function 'v3aldec_tyer_23' arguments were dropped!
WARNING: While resolving call to function 'v3ardec_tyer_28' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_print_dats.o pats_ccomp_print_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_hitype_dats.o pats_ccomp_hitype_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_tmplab_dats.o pats_ccomp_tmplab_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_tmpvar_dats.o pats_ccomp_tmpvar_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_d2env_dats.o pats_ccomp_d2env_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_funlab_dats.o pats_ccomp_funlab_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_funent_dats.o pats_ccomp_funent_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_util_dats.o pats_ccomp_util_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_ccompenv_dats.o pats_ccomp_ccompenv_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_instrseq_dats.o pats_ccomp_instrseq_dats.c
WARNING: While resolving call to function '_2home_2hwxi_2research_2Postiats_2git_2src_2pats_ccomp_2esats__the_funlablst_add' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_hipat_dats.o pats_ccomp_hipat_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_dynexp_dats.o pats_ccomp_dynexp_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_caseof_dats.o pats_ccomp_caseof_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_claulst_dats.o pats_ccomp_claulst_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_lazyeval_dats.o pats_ccomp_lazyeval_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_trywith_dats.o pats_ccomp_trywith_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_looping_dats.o pats_ccomp_looping_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_decl_dats.o pats_ccomp_decl_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_subst_dats.o pats_ccomp_subst_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_environ_dats.o pats_ccomp_environ_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_template_dats.o pats_ccomp_template_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_emit_dats.o pats_ccomp_emit_dats.c
WARNING: While resolving call to function '__ats_fun_20' arguments were dropped!
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_emit2_dats.o pats_ccomp_emit2_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_emit3_dats.o pats_ccomp_emit3_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_ccomp_main_dats.o pats_ccomp_main_dats.c
gcc -O2 -I . -I ./ccomp/runtime -c -o pats_comarg_dats.o pats_comarg_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_basics_sta_sats.o prelude/basics_sta_sats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_basics_dyn_sats.o prelude/basics_dyn_sats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_ats_main_prelude_dats.o prelude/ats_main_prelude_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_basics_dats.o prelude/DATS_basics_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_bool_dats.o prelude/DATS_bool_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_char_dats.o prelude/DATS_char_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_float_dats.o prelude/DATS_float_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_integer_dats.o prelude/DATS_integer_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_sizetype_dats.o prelude/DATS_sizetype_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_pointer_dats.o prelude/DATS_pointer_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_reference_dats.o prelude/DATS_reference_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_string_dats.o prelude/DATS_string_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_lazy_dats.o prelude/DATS_lazy_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_lazy_vt_dats.o prelude/DATS_lazy_vt_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_printf_dats.o prelude/DATS_printf_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_filebas_dats.o prelude/DATS_filebas_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_list_dats.o prelude/DATS_list_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_list_vt_dats.o prelude/DATS_list_vt_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_list0_dats.o prelude/DATS_list0_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_option_dats.o prelude/DATS_option_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_option_vt_dats.o prelude/DATS_option_vt_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_option0_dats.o prelude/DATS_option0_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_array_dats.o prelude/DATS_array_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_array0_dats.o prelude/DATS_array0_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_matrix_dats.o prelude/DATS_matrix_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_matrix0_dats.o prelude/DATS_matrix0_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_ptrarr_dats.o prelude/DATS_ptrarr_dats.c
gcc -I . -I ./ccomp/runtime -c -o prelude_DATS_unsafe_dats.o prelude/DATS_unsafe_dats.c
gcc -I . -I ./ccomp/runtime -c -o libc_SATS_errno_sats.o libc/SATS_errno_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_SATS_fcntl_sats.o libc/SATS_fcntl_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_DATS_fcntl_dats.o libc/DATS_fcntl_dats.c
gcc -I . -I ./ccomp/runtime -c -o libc_SATS_stdarg_sats.o libc/SATS_stdarg_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_SATS_stdio_sats.o libc/SATS_stdio_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_SATS_stdlib_sats.o libc/SATS_stdlib_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_SATS_string_sats.o libc/SATS_string_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_SATS_time_sats.o libc/SATS_time_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_SATS_unistd_sats.o libc/SATS_unistd_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_DATS_unistd_dats.o libc/DATS_unistd_dats.c
gcc -I . -I ./ccomp/runtime -c -o libc_sys_SATS_stat_sats.o libc/sys_SATS_stat_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_sys_SATS_types_sats.o libc/sys_SATS_types_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_SATS_gmp_sats.o libc/SATS_gmp_sats.c
gcc -I . -I ./ccomp/runtime -c -o libc_DATS_gmp_dats.o libc/DATS_gmp_dats.c
gcc -I . -I ./ccomp/runtime -c -o libats_SATS_funmap_avltree_sats.o libats/SATS_funmap_avltree_sats.c
gcc -I . -I ./ccomp/runtime -c -o libats_DATS_funmap_avltree_dats.o libats/DATS_funmap_avltree_dats.c
gcc -I . -I ./ccomp/runtime -c -o libats_SATS_funset_avltree_sats.o libats/SATS_funset_avltree_sats.c
gcc -I . -I ./ccomp/runtime -c -o libats_DATS_funset_avltree_dats.o libats/DATS_funset_avltree_dats.c
gcc -I . -I ./ccomp/runtime -c -o libats_SATS_funset_listord_sats.o libats/SATS_funset_listord_sats.c
gcc -I . -I ./ccomp/runtime -c -o libats_DATS_funset_listord_dats.o libats/DATS_funset_listord_dats.c
gcc -I . -I ./ccomp/runtime -c -o libats_SATS_funmset_listord_sats.o libats/SATS_funmset_listord_sats.c
gcc -I . -I ./ccomp/runtime -c -o libats_DATS_funmset_listord_dats.o libats/DATS_funmset_listord_dats.c
gcc -I . -I ./ccomp/runtime -c -o libats_SATS_hashtable_chain_sats.o libats/SATS_hashtable_chain_sats.c
gcc -I . -I ./ccomp/runtime -c -o libats_DATS_hashtable_chain_dats.o libats/DATS_hashtable_chain_dats.c
gcc -I . -I ./ccomp/runtime -c -o libats_SATS_hashtable_linprb_sats.o libats/SATS_hashtable_linprb_sats.c
gcc -I . -I ./ccomp/runtime -c -o libats_DATS_hashtable_linprb_dats.o libats/DATS_hashtable_linprb_dats.c
gcc -I . -I ./ccomp/runtime -c -o libats_SATS_linqueue_arr_sats.o libats/SATS_linqueue_arr_sats.c
gcc -I . -I ./ccomp/runtime -c -o libats_DATS_linqueue_arr_dats.o libats/DATS_linqueue_arr_dats.c
gcc -I . -I ./ccomp/runtime -c -o libats_SATS_linqueue_lst_sats.o libats/SATS_linqueue_lst_sats.c
gcc -I . -I ./ccomp/runtime -c -o libats_DATS_linqueue_lst_dats.o libats/DATS_linqueue_lst_dats.c
gcc -I . -I ./ccomp/runtime -c -o libats_ngc_SATS_deque_arr_sats.o libats/ngc_SATS_deque_arr_sats.c
gcc -I . -I ./ccomp/runtime -c -o libats_ngc_DATS_deque_arr_dats.o libats/ngc_DATS_deque_arr_dats.c
\
  gcc -E -P -o gcats1.hats -x c ./ccomp/runtime/GCATS/gcats1_master.hats
gcc -O2 -I . -I ./ccomp/runtime -o gcats1_all_cats.o -c -x c gcats1_all.cats
ld -r -o prelude_libats.o prelude_basics_sta_sats.o prelude_basics_dyn_sats.o prelude_ats_main_prelude_dats.o prelude_DATS_basics_dats.o prelude_DATS_bool_dats.o prelude_DATS_char_dats.o prelude_DATS_float_dats.o prelude_DATS_integer_dats.o prelude_DATS_sizetype_dats.o prelude_DATS_pointer_dats.o prelude_DATS_reference_dats.o prelude_DATS_string_dats.o prelude_DATS_lazy_dats.o prelude_DATS_lazy_vt_dats.o prelude_DATS_printf_dats.o prelude_DATS_filebas_dats.o prelude_DATS_list_dats.o prelude_DATS_list_vt_dats.o prelude_DATS_list0_dats.o prelude_DATS_option_dats.o prelude_DATS_option_vt_dats.o prelude_DATS_option0_dats.o prelude_DATS_array_dats.o prelude_DATS_array0_dats.o prelude_DATS_matrix_dats.o prelude_DATS_matrix0_dats.o prelude_DATS_ptrarr_dats.o prelude_DATS_unsafe_dats.o
ld -r -o libc_libats.o libc_SATS_errno_sats.o libc_SATS_fcntl_sats.o libc_DATS_fcntl_dats.o libc_SATS_stdarg_sats.o libc_SATS_stdio_sats.o libc_SATS_stdlib_sats.o libc_SATS_string_sats.o libc_SATS_time_sats.o libc_SATS_unistd_sats.o libc_DATS_unistd_dats.o libc_sys_SATS_stat_sats.o libc_sys_SATS_types_sats.o libc_SATS_gmp_sats.o libc_DATS_gmp_dats.o
ld -r -o libats_libats.o libats_SATS_funmap_avltree_sats.o libats_DATS_funmap_avltree_dats.o libats_SATS_funset_avltree_sats.o libats_DATS_funset_avltree_dats.o libats_SATS_funset_listord_sats.o libats_DATS_funset_listord_dats.o libats_SATS_funmset_listord_sats.o libats_DATS_funmset_listord_dats.o libats_SATS_hashtable_chain_sats.o libats_DATS_hashtable_chain_dats.o libats_SATS_hashtable_linprb_sats.o libats_DATS_hashtable_linprb_dats.o libats_SATS_linqueue_arr_sats.o libats_DATS_linqueue_arr_dats.o libats_SATS_linqueue_lst_sats.o libats_DATS_linqueue_lst_dats.o libats_ngc_SATS_deque_arr_sats.o libats_ngc_DATS_deque_arr_dats.o
ld -r -o gcats.o gcats1_all_cats.o
\
  gcc -O2 -I . -D_ATS_GCATS -o patsopt ccomp/runtime/ats_prelude.c pats_main_dats.o pats_error_sats.o pats_intinf_sats.o pats_counter_sats.o pats_utils_sats.o pats_global_sats.o pats_basics_sats.o pats_stamp_sats.o pats_symbol_sats.o pats_filename_sats.o pats_location_sats.o pats_errmsg_sats.o pats_reader_sats.o pats_lexbuf_sats.o pats_lexing_sats.o pats_label_sats.o pats_effect_sats.o pats_fixity_sats.o pats_syntax_sats.o pats_depgen_sats.o pats_taggen_sats.o pats_tokbuf_sats.o pats_parsing_sats.o pats_symmap_sats.o pats_symenv_sats.o pats_staexp1_sats.o pats_dynexp1_sats.o pats_trans1_sats.o pats_trans1_env_sats.o pats_e1xpval_sats.o pats_staexp2_sats.o pats_stacst2_sats.o pats_staexp2_util_sats.o pats_staexp2_error_sats.o pats_staexp2_solve_sats.o pats_patcst2_sats.o pats_dynexp2_sats.o pats_dyncst2_sats.o pats_dynexp2_util_sats.o pats_trans2_sats.o pats_namespace_sats.o pats_trans2_env_sats.o pats_dynexp3_sats.o pats_trans3_sats.o pats_trans3_env_sats.o pats_dmacro2_sats.o pats_lintprgm_sats.o pats_constraint3_sats.o pats_histaexp_sats.o pats_hidynexp_sats.o pats_typerase_sats.o pats_ccomp_sats.o pats_comarg_sats.o pats_error_dats.o pats_intinf_dats.o pats_counter_dats.o pats_utils_dats.o pats_global_dats.o pats_basics_dats.o pats_stamp_dats.o pats_symbol_dats.o pats_filename_dats.o pats_location_dats.o pats_errmsg_dats.o pats_reader_dats.o pats_lexbuf_dats.o pats_lexing_dats.o pats_lexing_print_dats.o pats_lexing_error_dats.o pats_lexing_token_dats.o pats_label_dats.o pats_effect_dats.o pats_fixity_prec_dats.o pats_fixity_fxty_dats.o pats_syntax_dats.o pats_syntax_print_dats.o pats_depgen_dats.o pats_taggen_dats.o pats_tokbuf_dats.o pats_parsing_dats.o pats_parsing_error_dats.o pats_parsing_util_dats.o pats_parsing_kwds_dats.o pats_parsing_base_dats.o pats_parsing_e0xp_dats.o pats_parsing_sort_dats.o pats_parsing_staexp_dats.o pats_parsing_p0at_dats.o pats_parsing_dynexp_dats.o pats_parsing_decl_dats.o pats_parsing_toplevel_dats.o pats_symmap_dats.o pats_symenv_dats.o pats_staexp1_dats.o pats_staexp1_print_dats.o pats_dynexp1_dats.o pats_dynexp1_print_dats.o pats_trans1_env_dats.o pats_e1xpval_dats.o pats_e1xpval_error_dats.o pats_filename_reloc_dats.o pats_trans1_error_dats.o pats_trans1_e0xp_dats.o pats_trans1_effect_dats.o pats_trans1_sort_dats.o pats_trans1_staexp_dats.o pats_trans1_p0at_dats.o pats_trans1_syndef_dats.o pats_trans1_dynexp_dats.o pats_trans1_decl_dats.o pats_staexp2_dats.o pats_stacst2_dats.o pats_staexp2_print_dats.o pats_staexp2_pprint_dats.o pats_staexp2_sort_dats.o pats_staexp2_scst_dats.o pats_staexp2_svar_dats.o pats_staexp2_svvar_dats.o pats_staexp2_hole_dats.o pats_staexp2_ctxt_dats.o pats_staexp2_dcon_dats.o pats_staexp2_skexp_dats.o pats_staexp2_szexp_dats.o pats_staexp2_util1_dats.o pats_staexp2_util2_dats.o pats_staexp2_util3_dats.o pats_staexp2_error_dats.o pats_staexp2_solve_dats.o pats_patcst2_dats.o pats_dynexp2_dats.o pats_dyncst2_dats.o pats_dynexp2_print_dats.o pats_dynexp2_dcst_dats.o pats_dynexp2_dvar_dats.o pats_dynexp2_dmac_dats.o pats_dynexp2_util_dats.o pats_namespace_dats.o pats_trans2_env_dats.o pats_trans2_error_dats.o pats_trans2_sort_dats.o pats_trans2_staexp_dats.o pats_trans2_p1at_dats.o pats_trans2_dynexp_dats.o pats_trans2_impdec_dats.o pats_trans2_decl_dats.o pats_dynexp3_dats.o pats_dynexp3_print_dats.o pats_trans3_error_dats.o pats_trans3_util_dats.o pats_trans3_env_dats.o pats_trans3_env_print_dats.o pats_trans3_env_scst_dats.o pats_trans3_env_svar_dats.o pats_trans3_env_termet_dats.o pats_trans3_env_effect_dats.o pats_trans3_env_dvar_dats.o pats_trans3_env_lamlp_dats.o pats_trans3_env_pfman_dats.o pats_trans3_env_lstate_dats.o pats_dmacro2_dats.o pats_dmacro2_print_dats.o pats_dmacro2_eval0_dats.o pats_dmacro2_eval1_dats.o pats_trans3_p2at_dats.o pats_trans3_patcon_dats.o pats_trans3_syncst_dats.o pats_trans3_dynexp_up_dats.o pats_trans3_dynexp_dn_dats.o pats_trans3_appsym_dats.o pats_trans3_caseof_dats.o pats_trans3_selab_dats.o pats_trans3_ptrof_dats.o pats_trans3_viewat_dats.o pats_trans3_deref_dats.o pats_trans3_assgn_dats.o pats_trans3_xchng_dats.o pats_trans3_lvalres_dats.o pats_trans3_fldfrat_dats.o pats_trans3_looping_dats.o pats_trans3_decl_dats.o pats_lintprgm_dats.o pats_lintprgm_print_dats.o pats_lintprgm_myint_int_dats.o pats_lintprgm_myint_intinf_dats.o pats_lintprgm_solve_dats.o pats_constraint3_dats.o pats_constraint3_init_dats.o pats_constraint3_print_dats.o pats_constraint3_simplify_dats.o pats_constraint3_icnstr_dats.o pats_constraint3_solve_dats.o pats_histaexp_dats.o pats_histaexp_print_dats.o pats_histaexp_funlab_dats.o pats_hidynexp_dats.o pats_hidynexp_print_dats.o pats_hidynexp_util_dats.o pats_typerase_error_dats.o pats_typerase_staexp_dats.o pats_typerase_dynexp_dats.o pats_typerase_decl_dats.o pats_ccomp_dats.o pats_ccomp_print_dats.o pats_ccomp_hitype_dats.o pats_ccomp_tmplab_dats.o pats_ccomp_tmpvar_dats.o pats_ccomp_d2env_dats.o pats_ccomp_funlab_dats.o pats_ccomp_funent_dats.o pats_ccomp_util_dats.o pats_ccomp_ccompenv_dats.o pats_ccomp_instrseq_dats.o pats_ccomp_hipat_dats.o pats_ccomp_dynexp_dats.o pats_ccomp_caseof_dats.o pats_ccomp_claulst_dats.o pats_ccomp_lazyeval_dats.o pats_ccomp_trywith_dats.o pats_ccomp_looping_dats.o pats_ccomp_decl_dats.o pats_ccomp_subst_dats.o pats_ccomp_environ_dats.o pats_ccomp_template_dats.o pats_ccomp_emit_dats.o pats_ccomp_emit2_dats.o pats_ccomp_emit3_dats.o pats_ccomp_main_dats.o pats_comarg_dats.o prelude_libats.o libc_libats.o libats_libats.o gcats.o -lgmp
cp -f src/CBOOT/patsopt bin/patsopt
make -C utils/atscc patscc
"/Users/Matti/ATS-Postiats"/bin/patsopt --output patscc_dats.c --dynamic patscc.dats
Hello from ATS/Postiats!
make[1]: *** [patscc_dats.c] Bus error: 10
make[1]: *** Deleting file `patscc_dats.c'
make: *** [utl_atscc] Error 2