filter.pyでATSのエラーメッセージを整形してみた https://github.com/Hibou57/PostiATS-Utilities/blob/master/filter.py

unused.sh

$ make
/home/kiwamu/src/ATS-Postiats/bin/patscc main.dats
/home/kiwamu/src/practice-ats/gfarray_mergesort/main.dats: 3794(line=146, offs=30) -- 3799(line=146, offs=35): warning(3): the constraint [S2Eeqeq(S2Evar(xs(8541)); S2Eapp(S2Ecst(ilist_cons); S2EVar(4535->S2EVar(4538)), S2EVar(4531)))] cannot be translated into a form accepted by the constraint solver.
/home/kiwamu/src/practice-ats/gfarray_mergesort/main.dats: 3794(line=146, offs=30) -- 3799(line=146, offs=35): error(3): unsolved constraint: C3NSTRprop(C3TKmain(); S2Eeqeq(S2Evar(xs(8541)); S2Eapp(S2Ecst(ilist_cons); S2EVar(4535->S2EVar(4538)), S2EVar(4531))))
/home/kiwamu/src/practice-ats/gfarray_mergesort/main.dats: 3773(line=146, offs=9) -- 3812(line=146, offs=48): warning(3): the constraint [S2Eeqeq(S2Eapp(S2Ecst(ilist_cons); S2EVar(4535->S2EVar(4538)), S2EVar(4531)); S2Evar(xs(8541)))] cannot be translated into a form accepted by the constraint solver.
/home/kiwamu/src/practice-ats/gfarray_mergesort/main.dats: 3773(line=146, offs=9) -- 3812(line=146, offs=48): error(3): unsolved constraint for var preservation
typechecking has failed: there are some unsolved constraints: please inspect the above reported error message(s) for information.
exit(ATS): uncaught exception: _2home_2kiwamu_2src_2ATS_2dPostiats_2src_2pats_error_2esats__FatalErrorExn(1025)
Makefile:5: recipe for target 'all' failed
make: *** [all] Error 1

used.sh

$ make |& ~/src/PostiATS-Utilities/filter.py
/home/kiwamu/src/ATS-Postiats/bin/patscc main.dats

main.dats:146:30: the constraint [1] cannot be translated into a form accepted by the constraint solver.
[1]: (xs == ilist_cons(S2EVar(4535 -> S2EVar(4538)), S2EVar(4531)))

main.dats:146:30: unsolved constraint: [1]
[1]: (xs == ilist_cons(S2EVar(4535 -> S2EVar(4538)), S2EVar(4531)))

main.dats:146:9: the constraint [1] cannot be translated into a form accepted by the constraint solver.
[1]: (ilist_cons(S2EVar(4535 -> S2EVar(4538)), S2EVar(4531)) == xs)

main.dats:146:9: unsolved constraint for var preservation

typechecking has failed: there are some unsolved constraints: please inspect the above reported error message(s) for information.
exit(ATS): uncaught exception: _2home_2kiwamu_2src_2ATS_2dPostiats_2src_2pats_error_2esats__FatalErrorExn(1025)
Makefile:5: recipe for target 'all' failed
make: *** [all] Error 1

filter.pyは https://github.com/Hibou57/PostiATS-Utilities からダウンロードしてください

これはいいじゃまいか！