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

[Magnus Myreen]

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