Re: Template Debugging Tips?

[d4v3y_5c0n3s]

Yea, I just wish ATS was better about telling me what I'm doing wrong with 
templates.  An "X is unimplemented for type Y" message would save me hours 
of work (but I suspect that would greatly increase the compiling overhead 
of templates.)

On Saturday, November 27, 2021 at 9:07:01 AM UTC-5 vamc...@gmail.com wrote:

> I recall getting errors in the generated C code when I forgot to implement 
> some function!
>
> (I was able to use them :)
>
>
> http://blog.vmchale.com/article/ats-templates
>
> Cheers,
> Vanessa McHale
>
> On Nov 27, 2021, at 9:05 AM, d4v3y_5c0n3s  wrote:
>
>   Recently, I've been working on testing the code for an ATS project I've 
> been working on for a while now.  Everything (that I've implemented) passes 
> type-checking so far.  However, I've encountered some kind of issue with 
> the templates that I've written (which all typecheck) where when I try to 
> use them some kind of error shows up in the resulting C code.
>   I suspect that I've made a mistake somewhere, but I am struggling to 
> debug the resulting code.  Is there some resource where I can gain a 
> greater understanding of either how the C code ATS produces is constructed 
> or how to debug my templates?  This has been driving me up the wall trying 
> to figure out recently, so I wanted to ask the community if they knew 
> anything that could help me.
>   The two files I am trying to use are dict.sats 
> 
>  
> & dict.dats 
> 
>  
> (a dictionary implementation.)  Please let me know if you have any 
> questions or would like to see more details.
>
> -- 
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/ats-lang-users/0f2d7e48-ddf1-4db0-8bd9-cfee6f37bbb3n%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-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/ded23afd-5c07-40a4-937a-03643e1bb4e8n%40googlegroups.com.

Re: Template Debugging Tips?

[Vanessa McHale]

I recall getting errors in the generated C code when I forgot to implement some 
function!

(I was able to use them :)


http://blog.vmchale.com/article/ats-templates 


Cheers,
Vanessa McHale

> On Nov 27, 2021, at 9:05 AM, d4v3y_5c0n3s  wrote:
> 
>   Recently, I've been working on testing the code for an ATS project I've 
> been working on for a while now.  Everything (that I've implemented) passes 
> type-checking so far.  However, I've encountered some kind of issue with the 
> templates that I've written (which all typecheck) where when I try to use 
> them some kind of error shows up in the resulting C code.
>   I suspect that I've made a mistake somewhere, but I am struggling to debug 
> the resulting code.  Is there some resource where I can gain a greater 
> understanding of either how the C code ATS produces is constructed or how to 
> debug my templates?  This has been driving me up the wall trying to figure 
> out recently, so I wanted to ask the community if they knew anything that 
> could help me.
>   The two files I am trying to use are dict.sats 
> 
>  & dict.dats 
> 
>  (a dictionary implementation.)  Please let me know if you have any questions 
> or would like to see more details.
> 
> -- 
> 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-users+unsubscr...@googlegroups.com 
> .
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/ats-lang-users/0f2d7e48-ddf1-4db0-8bd9-cfee6f37bbb3n%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-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/8D22D916-1A0F-4670-A71A-61F329255A18%40gmail.com.

Template Debugging Tips?

[d4v3y_5c0n3s]

  Recently, I've been working on testing the code for an ATS project I've 
been working on for a while now.  Everything (that I've implemented) passes 
type-checking so far.  However, I've encountered some kind of issue with 
the templates that I've written (which all typecheck) where when I try to 
use them some kind of error shows up in the resulting C code.
  I suspect that I've made a mistake somewhere, but I am struggling to 
debug the resulting code.  Is there some resource where I can gain a 
greater understanding of either how the C code ATS produces is constructed 
or how to debug my templates?  This has been driving me up the wall trying 
to figure out recently, so I wanted to ask the community if they knew 
anything that could help me.
  The two files I am trying to use are dict.sats 

 
& dict.dats 

 
(a dictionary implementation.)  Please let me know if you have any 
questions or would like to see more details.

-- 
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-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/0f2d7e48-ddf1-4db0-8bd9-cfee6f37bbb3n%40googlegroups.com.