Hi all,
When compiling dynamic/socket-activate.dats 1 to
socket-activate_dats.o, I get the error at 2. I don’t know how to
parse it, how should I proceed?
~Shea
Throw a
#include "share/atspre_staload.hats"
at the top of your .dats file.
It has something to do with being unable to resolve overloads (= and ~ for
ints in your program).On Sat, Aug 30, 2014 at 10:47 PM, Shea Levy sh...@shealevy.com wrote:
Hi all,
When compiling dynamic/socket-activate.dats 1 to
socket-activate_dats.o, I get the error at 2. I don’t know how to
parse it, how should I proceed?~Shea
–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/20140831054725.GI7772%40nixos.hsd1.nh.comcast.net
.
Thanks! I still needed the ‘#include “share/atspre_staload.hats”’, is
that expected? When is that include needed?On Sun, Aug 31, 2014 at 07:20:09AM -0700, gmhwxi wrote:
Some suggestions:
- It is a good idea to type-annotate if-expressions (and also
case-expressions). For instance,val ret = (if … then … else …): int
- The function get_error is better to be given following interface:
fun get_error (pf: … | (none))
This allows a reader to quickly tell its first and only argument is a proof.
On Sunday, August 31, 2014 1:47:28 AM UTC-4, Shea Levy wrote:
Hi all,
When compiling dynamic/socket-activate.dats 1 to
socket-activate_dats.o, I get the error at 2. I don’t know how to
parse it, how should I proceed?~Shea
–
You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/3d451fd2-0460-482d-986b-dda2e18ae9d2%40googlegroups.com.
Some suggestions:
- It is a good idea to type-annotate if-expressions (and also
case-expressions). For instance,
val ret = (if … then … else …): int
- The function get_error is better to be given following interface:
fun get_error (pf: … | (none))
This allows a reader to quickly tell its first and only argument is a proof.On Sunday, August 31, 2014 1:47:28 AM UTC-4, Shea Levy wrote:
Hi all,
When compiling dynamic/socket-activate.dats 1 to
socket-activate_dats.o, I get the error at 2. I don’t know how to
parse it, how should I proceed?~Shea
The following line tells the compiler where to find implementation
for the templates used in the code:
#include "share/atspre_staload.hats
If you wanted to generate, say, Python code, then a different source
of implementation for templates would be needed.On Sunday, August 31, 2014 11:24:20 AM UTC-4, Shea Levy wrote:
Thanks! I still needed the ‘#include “share/atspre_staload.hats”’, is
that expected? When is that include needed?On Sun, Aug 31, 2014 at 07:20:09AM -0700, gmhwxi wrote:
Some suggestions:
- It is a good idea to type-annotate if-expressions (and also
case-expressions). For instance,val ret = (if … then … else …): int
- The function get_error is better to be given following interface:
fun get_error (pf: … | (none))
This allows a reader to quickly tell its first and only argument is a
proof.On Sunday, August 31, 2014 1:47:28 AM UTC-4, Shea Levy wrote:
Hi all,
When compiling dynamic/socket-activate.dats [1] to
socket-activate_dats.o, I get the error at 2. I don’t know how to
parse it, how should I proceed?[1]:
https://github.com/shlevy/socket-activate/blob/WIP/dynamic/socket-activate.dats
~Shea
–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ats-lang...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/3d451fd2-0460-482d-986b-dda2e18ae9d2%40googlegroups.com.
I see, thanks. I’ll wait a week then :)> On May 8, 2015, at 3:05 PM, gmhwxi gmh...@gmail.com wrote:
By checking the error message, you could probably find out which
function template was involved in this case.By the way, I am working on patsolve for the moment. I suggest that
you wait for a week or so until I finish overhauling it.A separate issue:
As compiling ATS code may not be entirely trivial, people releasing packages
in ATS should probably consider releasing a C version (generated from ATS source)
as well.ATS is like a Ferrari. Don’t just use it like Camry
On Friday, May 8, 2015 at 2:46:14 PM UTC-4, Shea Levy wrote:
Hello all,I’m getting this error again when compiling 1, which already includes the
#include. What else might be causing this?Thanks,
Shea1 https://github.com/wdblair/ATS-Postiats-contrib/blob/3f6c981124de1f693984017c54bd9636330c6a25/projects/MEDIUM/ATS-extsolve/solving/solver_s2cstmap.dats
On Aug 31, 2014, at 11:54 AM, gmhwxi gmh...@gmail.com wrote:
The following line tells the compiler where to find implementation
for the templates used in the code:#include "share/atspre_staload.hats
If you wanted to generate, say, Python code, then a different source
of implementation for templates would be needed.On Sunday, August 31, 2014 11:24:20 AM UTC-4, Shea Levy wrote:
Thanks! I still needed the ‘#include “share/atspre_staload.hats”’, is
that expected? When is that include needed?On Sun, Aug 31, 2014 at 07:20:09AM -0700, gmhwxi wrote:
Some suggestions:
- It is a good idea to type-annotate if-expressions (and also
case-expressions). For instance,val ret = (if … then … else …): int
- The function get_error is better to be given following interface:
fun get_error (pf: … | (none))
This allows a reader to quickly tell its first and only argument is a proof.
On Sunday, August 31, 2014 1:47:28 AM UTC-4, Shea Levy wrote:
Hi all,
When compiling dynamic/socket-activate.dats 1 to
socket-activate_dats.o, I get the error at 2. I don’t know how to
parse it, how should I proceed?~Shea
–
You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/3d451fd2-0460-482d-986b-dda2e18ae9d2%40googlegroups.com.–
You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/80f6ef5a-0c4d-410b-9c4c-a43418914818%40googlegroups.com.–
You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/5cc02a41-0ca2-4b71-a91c-85308d5dc90d%40googlegroups.com.
By checking the error message, you could probably find out which
function template was involved in this case.
By the way, I am working on patsolve for the moment. I suggest that
you wait for a week or so until I finish overhauling it.
A separate issue:
As compiling ATS code may not be entirely trivial, people releasing packages
in ATS should probably consider releasing a C version (generated from ATS
source)
as well.
ATS is like a Ferrari. Don’t just use it like Camry :)On Friday, May 8, 2015 at 2:46:14 PM UTC-4, Shea Levy wrote:
Hello all,
I’m getting this error again when compiling [1], which already includes
the
#include. What else might be causing this?Thanks,
SheaOn Aug 31, 2014, at 11:54 AM, gmhwxi <gmh...@gmail.com <javascript:>> wrote:
The following line tells the compiler where to find implementation
for the templates used in the code:#include "share/atspre_staload.hats
If you wanted to generate, say, Python code, then a different source
of implementation for templates would be needed.On Sunday, August 31, 2014 11:24:20 AM UTC-4, Shea Levy wrote:
Thanks! I still needed the ‘#include “share/atspre_staload.hats”’, is
that expected? When is that include needed?On Sun, Aug 31, 2014 at 07:20:09AM -0700, gmhwxi wrote:
Some suggestions:
- It is a good idea to type-annotate if-expressions (and also
case-expressions). For instance,val ret = (if … then … else …): int
- The function get_error is better to be given following interface:
fun get_error (pf: … | (none))
This allows a reader to quickly tell its first and only argument is a
proof.On Sunday, August 31, 2014 1:47:28 AM UTC-4, Shea Levy wrote:
Hi all,
When compiling dynamic/socket-activate.dats [1] to
socket-activate_dats.o, I get the error at 2. I don’t know how to
parse it, how should I proceed?[1]:
https://github.com/shlevy/socket-activate/blob/WIP/dynamic/socket-activate.dats
~Shea
–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/3d451fd2-0460-482d-986b-dda2e18ae9d2%40googlegroups.com.–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ats-lang...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/80f6ef5a-0c4d-410b-9c4c-a43418914818%40googlegroups.com.
Hello all,
I’m getting this error again when compiling 1, which already includes the
#include. What else might be causing this?
Thanks,
Shea
1 https://github.com/wdblair/ATS-Postiats-contrib/blob/3f6c981124de1f693984017c54bd9636330c6a25/projects/MEDIUM/ATS-extsolve/solving/solver_s2cstmap.dats> On Aug 31, 2014, at 11:54 AM, gmhwxi gmh...@gmail.com wrote:
The following line tells the compiler where to find implementation
for the templates used in the code:#include "share/atspre_staload.hats
If you wanted to generate, say, Python code, then a different source
of implementation for templates would be needed.On Sunday, August 31, 2014 11:24:20 AM UTC-4, Shea Levy wrote:
Thanks! I still needed the ‘#include “share/atspre_staload.hats”’, is
that expected? When is that include needed?On Sun, Aug 31, 2014 at 07:20:09AM -0700, gmhwxi wrote:
Some suggestions:
- It is a good idea to type-annotate if-expressions (and also
case-expressions). For instance,val ret = (if … then … else …): int
- The function get_error is better to be given following interface:
fun get_error (pf: … | (none))
This allows a reader to quickly tell its first and only argument is a proof.
On Sunday, August 31, 2014 1:47:28 AM UTC-4, Shea Levy wrote:
Hi all,
When compiling dynamic/socket-activate.dats 1 to
socket-activate_dats.o, I get the error at 2. I don’t know how to
parse it, how should I proceed?~Shea
–
You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/3d451fd2-0460-482d-986b-dda2e18ae9d2%40googlegroups.com.–
You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/80f6ef5a-0c4d-410b-9c4c-a43418914818%40googlegroups.com.