It’s been a long time, and after updating my ATS and ATS2 compiler
checkouts, my old code fails to compile. patsopt now barfs at me:
patsopt --output bin/demo_dats.c --dynamic demo.dats
Hello from ATS2(ATS/Postiats)!
/home/miller/workspace/ATS-Postiats/share/atspre_staload.hats: 334(line=23, offs=1) -- 375(line=23, offs=42): error(1): the file [{$PATSPRE}/DATS/basics.dats] is not available for staloading.
exit(ATS): uncaught exception: _2home_2miller_2workspace_2ATS_2dPostiats_2src_2pats_error_2esats__FatalErrorExn(1025)
Makefile:48: recipe for target 'bin/demo_dats.c' failed
I have followed the guide on configuring ATS’s environment1
Given that I am about to be off-line, I take a guess here.
ATS-0.2.11 can no longer build ATS2; you need ATS-0.2.12.
So my guess is that you might not have built ATS2 successfully;
instead you were using a quite old version of ATS2 when encountering
the reported issue.
I notied that I needed to update my ATS1 checkout and recompile while
updating ATS2.
$ patsopt -v
Hello from ATS2(ATS/Postiats)!
ATS/Postiats version 0.1.2 with Copyright (c) 2011-2014 Hongwei Xi
$ atsopt -v
ATS/Anairiats version 0.2.12 with Copyright (c) 2002-2014 Hongwei Xi
Given that I am about to be off-line, I take a guess here.
ATS-0.2.11 can no longer build ATS2; you need ATS-0.2.12.
So my guess is that you might not have built ATS2 successfully;
instead you were using a quite old version of ATS2 when encountering
the reported issue.On Thursday, April 16, 2015 at 1:53:19 AM UTC-4, gmhwxi wrote:
This one looks a bit mysterious to me.
If you do:
patsopt -v
what output do you see?
On Thursday, April 16, 2015 at 1:37:52 AM UTC-4, Alex Miller wrote:
Hello ats-lang-users,
It’s been a long time, and after updating my ATS and ATS2 compiler
checkouts, my old code fails to compile. patsopt now barfs at me:
patsopt --output bin/demo_dats.c --dynamic demo.dats
Hello from ATS2(ATS/Postiats)!
/home/miller/workspace/ATS-Postiats/share/atspre_staload.hats:
334(line=23, offs=1) – 375(line=23, offs=42): error(1): the file
[{$PATSPRE}/DATS/basics.dats] is not available for staloading.
exit(ATS): uncaught exception:
_2home_2miller_2workspace_2ATS_2dPostiats_2src_2pats_error_2esats__FatalErrorExn(1025)
Makefile:48: recipe for target 'bin/demo_dats.c' failed
I have followed the guide on configuring ATS’s environment1
what output do you see?On Thursday, April 16, 2015 at 1:37:52 AM UTC-4, Alex Miller wrote:
Hello ats-lang-users,
It’s been a long time, and after updating my ATS and ATS2 compiler
checkouts, my old code fails to compile. patsopt now barfs at me:
patsopt --output bin/demo_dats.c --dynamic demo.dats
Hello from ATS2(ATS/Postiats)!
/home/miller/workspace/ATS-Postiats/share/atspre_staload.hats:
334(line=23, offs=1) – 375(line=23, offs=42): error(1): the file
[{$PATSPRE}/DATS/basics.dats] is not available for staloading.
exit(ATS): uncaught exception:
_2home_2miller_2workspace_2ATS_2dPostiats_2src_2pats_error_2esats__FatalErrorExn(1025)
Makefile:48: recipe for target 'bin/demo_dats.c' failed
I have followed the guide on configuring ATS’s environment1