<div dir="ltr">Thanks. I'll take a look. </div><div class="gmail_extra"><br><div class="gmail_quote">2015-04-23 9:50 GMT+02:00 Jurriaan Hage <span dir="ltr"><<a href="mailto:J.Hage@uu.nl" target="_blank">J.Hage@uu.nl</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On 20Apr, 2015, at 12:26, Alberto G. Corona <<a href="mailto:agocorona@gmail.com">agocorona@gmail.com</a>> wrote:<br>
<br>
> Great!<br>
><br>
Hi Alberto,<br>
<span class=""><br>
> How the type rules detailed in the "scripting the type inference engine" paper are implemented?<br>
</span>Euh… I guess you have to consult the implementation of the compiler. Most of the code you need<br>
to look at is in src/Helium/StaticAnalysis/Directives/<br>
Essentially, we ``replace’’ the original constraints by the explicitly written down constraints. With these<br>
constraints a function is associated that given the necessary context information can produce<br>
the domain specific report. The replacement is performed by pattern matching on the AST.<br>
<span class=""><br>
>  it is possible to script the inference engine with such rules?<br>
</span>Sure<br>
<span class="">> If so, are there some examples?<br>
</span>Just run<br>
<br>
  heliumpath<br>
<br>
Then take the path that ends in<br>
<br>
  lib/helium-1.8.1/share<br>
<br>
add<br>
<br>
  /lib<br>
<br>
to the path, and then you can find in that directory files that have extension .type.<br>
Those can serve as examples.<br>
<br>
best,<br>
Jur<br>
<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">Alberto.</div>
</div>