<div dir="ltr">Thanks Anthony. Currently I am in a setting where I can't do the pull. Will <div>check the revised regexp library once I emerge tonight.</div><div><br></div><div>Konrad.</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, May 18, 2017 at 9:40 AM, Anthony Fox <span dir="ltr"><<a href="mailto:acjf3@cam.ac.uk" target="_blank">acjf3@cam.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">There is already a HOL pull request with a quick fix for this. Konrad is too busy to check it over right now, so it’s probably best to accept the pull request and he can repair things later on if there turns out to be a problem. (I didn’t study the code that closely or even test it with 5.6.)<br>
<div class="HOEnZb"><div class="h5"><br>
> On 18 May 2017, at 14:05, Scott Owens <<a href="mailto:S.A.Owens@kent.ac.uk">S.A.Owens@kent.ac.uk</a>> wrote:<br>
><br>
> I made an issue for this, and it saw some progress a bit ago but none recently<br>
><br>
> Sent from my phone<br>
><br>
>> On 18 May 2017, at 14:03, Magnus Myreen <<a href="mailto:magnus.myreen@gmail.com">magnus.myreen@gmail.com</a>> wrote:<br>
>><br>
>> Hi developers,<br>
>><br>
>> I tried building the latest HOL and CakeML following the build instructions at:<br>
>><br>
>> <a href="https://github.com/CakeML/cakeml/blob/master/build-instructions.sh" rel="noreferrer" target="_blank">https://github.com/CakeML/<wbr>cakeml/blob/master/build-<wbr>instructions.sh</a><br>
>><br>
>> Unfortunately, my attempt failed due to an error in HOL under the<br>
>> formal-languages example:<br>
>><br>
>> charsetTheory                                                           FAILED!<br>
>>         (Different type constructors)<br>
>> Found near if ~>> (w, ... ...) = 1 then orb (w, IntInf.<< (...)) else w<br>
>> /local/scratch/mom22/HOL/<wbr>examples/formal-languages/<wbr>regular/WordOps.sml:28:<br>
>> error: Type error in function application.<br>
>>   Function: Word.fromInt : Int.int -> Word.word<br>
>>   Argument: width : int<br>
>>   Reason:<br>
>>      Can't unify Int.int (*In Basis*) with int (*In Basis*)<br>
>>         (Different type constructors)<br>
>> Found near if ~>> (w, ... ...) = 1 then orb (w, IntInf.<< (...)) else w<br>
>> Static Errors<br>
>><br>
>> Is there a known work around? Should the build instructions be updated?<br>
>><br>
>> Cheers,<br>
>> Magnus<br>
>><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>
> ______________________________<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>
<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>
</div></div></blockquote></div><br></div>