<div dir="ltr"><a href="https://github.com/CakeML/cakeml/issues/177">https://github.com/CakeML/cakeml/issues/177</a><br></div><div class="gmail_extra"><br><div class="gmail_quote">On 22 November 2016 at 09:41, Yong Kiam <span dir="ltr"><<a href="mailto:tanyongkiam@gmail.com" target="_blank">tanyongkiam@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>Hi dev,<br><br></div>I've recently been noticing that something modifies astScript when I re-build the directory from scratch.<br><br>yongkiam@yongkiam-ThinkPad-<wbr>T460p:~/cake-overload/<wbr>semantics$ git diff<br>diff --git a/semantics/astScript.sml b/semantics/astScript.sml<br>index 5bfbcd2..0f58e46 100644<br>--- a/semantics/astScript.sml<br>+++ b/semantics/astScript.sml<br>@@ -8,6 +8,7 @@ val _ = numLib.prefer_num();<br> <br> val _ = new_theory "ast"<br> val _ = set_grammar_ancestry ["integer", "words", "string"];<br>+val _ = set_grammar_ancestry ["integer", "words", "string"];<br> <br> (*open import Pervasives*)<br> (*open import Lib*)<br><br></div>Does anyone know what is causing this (maybe it's a problem with my setup)?<br></div>
<br>______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
<br></blockquote></div><br></div>