Moscow ML builds broken after `cv_translator`
binghe opened this issue · 1 comments
binghe commented
Holmake: Compiling cv_repTheory.sig
Holmake: Compiling cv_repTheory.sml
Holmake: Compiling cv_miscLib.sml
Holmake: Compiling cv_memLib.sml
File "cv_memLib.sml", line 33, characters 51-52:
! cv_print Verbose ("Took " ^ Time.fmt 1 (finish - start) ^ " seconds.\n");
! ^
! Overloaded - cannot be applied to argument(s) of type time
*** FATAL: Build failed in directory /Users/binghe/ML/HOL.mosml/src/parallel_builds/core
binghe commented
Full Moscow ML builds are too slow to be part of the CI, but perhaps a small build sequence of (selected) core theories could finish in 1-2 hours (so that we can put it into CI)?