[CakeML-dev] Failed to build CakeML using build instructions

[Scott Owens]

I made an issue for this, and it saw some progress a bit ago but none recently

Sent from my phone

> On 18 May 2017, at 14:03, Magnus Myreen <magnus.myreen at gmail.com> wrote:
> 
> Hi developers,
> 
> I tried building the latest HOL and CakeML following the build instructions at:
> 
> https://github.com/CakeML/cakeml/blob/master/build-instructions.sh
> 
> Unfortunately, my attempt failed due to an error in HOL under the
> formal-languages example:
> 
> charsetTheory                                                           FAILED!
>          (Different type constructors)
> Found near if ~>> (w, ... ...) = 1 then orb (w, IntInf.<< (...)) else w
> /local/scratch/mom22/HOL/examples/formal-languages/regular/WordOps.sml:28:
> error: Type error in function application.
>    Function: Word.fromInt : Int.int -> Word.word
>    Argument: width : int
>    Reason:
>       Can't unify Int.int (*In Basis*) with int (*In Basis*)
>          (Different type constructors)
> Found near if ~>> (w, ... ...) = 1 then orb (w, IntInf.<< (...)) else w
> Static Errors
> 
> Is there a known work around? Should the build instructions be updated?
> 
> Cheers,
> Magnus
> 
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers