> On Oct 24, 2016, at 11:00 AM, Konrad Hinsen <konrad.hin...@fastmail.net> > wrote: > > Hi Dmitry, > >> Is it compile-time or run-time errors? > > Mostly module-instantiation-time errors, which are closer to run-time errors. > > As a simple example, consider syntactically correct DSL code that expands to > > (define foo (first '())) > > The call to first raises an exception, which is displayed without any > reference to the original DSL code, and is therefore incomprehensible to the > DSL's users.
This is an interesting class of errors. As Dimitry says, you might be able to leave behind enough source code info when you generate that code, so that it looks like (define foo (if (empty? blah) (error ‘source-name “got ‘(), expected non-empty-list) (first blah)) BUT, in reality this suggests that we should help DSL designers generate a run-time system specialized to their surface DSL needs. Interesting — Matthias -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
