starting from the Fibonacci example online I tried to make a verified
function for fibonorials. I’m stuck on an error message that I can’t seem
to make sense of. I would very much appreciate hints about what my mistake
is and what techniques one should use to explore this kind of error.
The error I am getting is:
Fibonorial.dats: 1849(line=85, offs=3) – 1900(line=85, offs=54): error(3):
unsolved constraint: C3NSTRprop(main; S2Eeqeq(S2Evar(i(3847));
S2Evar(n(3846))))
typechecking has failed: there are some unsolved constraints: please
inspect the above reported error message(s) for information.
exit(ATS): uncaught exception:
_2home_2fac2_2hwxi_2research_2ATS_2IMPLEMENT_2Postiats_2git_2src_2pats_error_2esats__FatalErrorExn(1025)
It works!On Tuesday, December 2, 2014 1:14:59 PM UTC-5, gmhwxi wrote:
I think that the cause of the type-error is that
you did not have a return type for the ‘loop’ function.
On Tuesday, December 2, 2014 11:38:21 AM UTC-5, Marko Schütz-Schmuck wrote:
Dear All,
starting from the Fibonacci example online I tried to make a verified
function for fibonorials. I’m stuck on an error message that I can’t seem
to make sense of. I would very much appreciate hints about what my mistake
is and what techniques one should use to explore this kind of error.
The error I am getting is:
Fibonorial.dats: 1849(line=85, offs=3) – 1900(line=85, offs=54):
error(3): unsolved constraint: C3NSTRprop(main; S2Eeqeq(S2Evar(i(3847));
S2Evar(n(3846))))
typechecking has failed: there are some unsolved constraints: please
inspect the above reported error message(s) for information.
exit(ATS): uncaught exception:
_2home_2fac2_2hwxi_2research_2ATS_2IMPLEMENT_2Postiats_2git_2src_2pats_error_2esats__FatalErrorExn(1025)
I have patscc:
ATS/Postiats version 0.1.4 with Copyright (c) 2011-2014 Hongwei Xi
gcc (Ubuntu/Linaro 4.7.2-2ubuntu1) 4.7.2
When I try to compile from the command line using patscc -o Fibonorial Fibonorial.dats I get an error:
Fibonorial1_dats.c:770:1: warning: data definition has no type or storage
class [enabled by default]
Fibonorial1_dats.c:770:1: warning: type defaults to ?int? in declaration of
?ats2jspre_the_print_store_clear? [enabled by default]
Fibonorial1_dats.c:771:1: warning: data definition has no type or storage
class [enabled by default]
Fibonorial1_dats.c:771:1: warning: type defaults to ?int? in declaration of
?my_dynload? [enabled by default]
Fibonorial1_dats.c:772:7: error: unknown type name
?ats2jspre_the_print_store_join?
I suspect it’s from println!, but didn’t find how to fix it.
Best regards,
MarkoOn Tuesday, December 2, 2014 2:50:47 PM UTC-4, gmhwxi wrote:
On Tuesday, December 2, 2014 1:14:59 PM UTC-5, gmhwxi wrote:
I think that the cause of the type-error is that
you did not have a return type for the ‘loop’ function.
On Tuesday, December 2, 2014 11:38:21 AM UTC-5, Marko Schütz-Schmuck wrote:
Dear All,
starting from the Fibonacci example online I tried to make a verified
function for fibonorials. I’m stuck on an error message that I can’t seem
to make sense of. I would very much appreciate hints about what my mistake
is and what techniques one should use to explore this kind of error.
The error I am getting is:
Fibonorial.dats: 1849(line=85, offs=3) – 1900(line=85, offs=54):
error(3): unsolved constraint: C3NSTRprop(main; S2Eeqeq(S2Evar(i(3847));
S2Evar(n(3846))))
typechecking has failed: there are some unsolved constraints: please
inspect the above reported error message(s) for information.
exit(ATS): uncaught exception:
_2home_2fac2_2hwxi_2research_2ATS_2IMPLEMENT_2Postiats_2git_2src_2pats_error_2esats__FatalErrorExn(1025)
I think that the cause of the type-error is that
you did not have a return type for the ‘loop’ function.On Tuesday, December 2, 2014 11:38:21 AM UTC-5, Marko Schütz-Schmuck wrote:
Dear All,
starting from the Fibonacci example online I tried to make a verified
function for fibonorials. I’m stuck on an error message that I can’t seem
to make sense of. I would very much appreciate hints about what my mistake
is and what techniques one should use to explore this kind of error.
The error I am getting is:
Fibonorial.dats: 1849(line=85, offs=3) – 1900(line=85, offs=54):
error(3): unsolved constraint: C3NSTRprop(main; S2Eeqeq(S2Evar(i(3847));
S2Evar(n(3846))))
typechecking has failed: there are some unsolved constraints: please
inspect the above reported error message(s) for information.
exit(ATS): uncaught exception:
_2home_2fac2_2hwxi_2research_2ATS_2IMPLEMENT_2Postiats_2git_2src_2pats_error_2esats__FatalErrorExn(1025)
I have patscc:
ATS/Postiats version 0.1.4 with Copyright (c) 2011-2014 Hongwei Xi
gcc (Ubuntu/Linaro 4.7.2-2ubuntu1) 4.7.2
When I try to compile from the command line using patscc -o Fibonorial Fibonorial.dats I get an error:
Fibonorial1_dats.c:770:1: warning: data definition has no type or storage
class [enabled by default]
Fibonorial1_dats.c:770:1: warning: type defaults to ?int? in declaration
of ?ats2jspre_the_print_store_clear? [enabled by default]
Fibonorial1_dats.c:771:1: warning: data definition has no type or storage
class [enabled by default]
Fibonorial1_dats.c:771:1: warning: type defaults to ?int? in declaration
of ?my_dynload? [enabled by default]
Fibonorial1_dats.c:772:7: error: unknown type name
?ats2jspre_the_print_store_join?
I suspect it’s from println!, but didn’t find how to fix it.
Best regards,
Marko
On Tuesday, December 2, 2014 2:50:47 PM UTC-4, gmhwxi wrote:
On Tuesday, December 2, 2014 1:14:59 PM UTC-5, gmhwxi wrote:
I think that the cause of the type-error is that
you did not have a return type for the ‘loop’ function.
On Tuesday, December 2, 2014 11:38:21 AM UTC-5, Marko Schütz-Schmuck wrote:
Dear All,
starting from the Fibonacci example online I tried to make a verified
function for fibonorials. I’m stuck on an error message that I can’t seem
to make sense of. I would very much appreciate hints about what my mistake
is and what techniques one should use to explore this kind of error.
The error I am getting is:
Fibonorial.dats: 1849(line=85, offs=3) – 1900(line=85, offs=54):
error(3): unsolved constraint: C3NSTRprop(main; S2Eeqeq(S2Evar(i(3847));
S2Evar(n(3846))))
typechecking has failed: there are some unsolved constraints: please
inspect the above reported error message(s) for information.
exit(ATS): uncaught exception: 2home_2fac2_2hwxi_2research
2ATS_2IMPLEMENT_2Postiats_2git_2src_2pats_error_2esats__
FatalErrorExn(1025)