[CakeML-Dev] Something modifies astScript

Yong Kiam tanyongkiam at gmail.com
Mon Nov 21 22:41:23 UTC 2016

Hi dev,

I've recently been noticing that something modifies astScript when I
re-build the directory from scratch.

yongkiam at yongkiam-ThinkPad-T460p:~/cake-overload/semantics$ git diff
diff --git a/semantics/astScript.sml b/semantics/astScript.sml
index 5bfbcd2..0f58e46 100644
--- a/semantics/astScript.sml
+++ b/semantics/astScript.sml
@@ -8,6 +8,7 @@ val _ = numLib.prefer_num();

 val _ = new_theory "ast"
 val _ = set_grammar_ancestry ["integer", "words", "string"];
+val _ = set_grammar_ancestry ["integer", "words", "string"];

 (*open import Pervasives*)
 (*open import Lib*)

Does anyone know what is causing this (maybe it's a problem with my setup)?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161121/d20deb3e/attachment.html>

More information about the Developers mailing list