<div dir="ltr"><div dir="ltr">On Fri, Nov 8, 2019 at 11:04 AM Jonas Maebe <<a href="mailto:jonas@freepascal.org">jonas@freepascal.org</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
You can't. It's the main difference between C++ templates, which is a<br>
Turing-complete programming language, and generics, which is simply a<br>
parametrising mechanic.<br></blockquote><div><br></div><div>I know what you mean, and I'm aware, but you actually kind of can to the fairly straightforward extent that I'm concerned about with Ryan's patch (i.e. simply passing constant results as constraints rather than function parameters.) </div></div></div>