Re: Template Debugging Tips?

2021-11-27 Thread 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

Re: Template Debugging Tips?

2021-11-27 Thread 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: > >

Template Debugging Tips?

2021-11-27 Thread 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