[isabelle-dev] NEWS: support for GHC

Makarius makarius at sketis.net
Mon Oct 22 17:21:35 CEST 2018

On 22/10/2018 15:05, Lars Hupel wrote:
> I'm trying out a High Sierra Mac Book Pro, and Stack appears to work there.
> Interestingly enough, I get Poly/ML warnings of the form:
> 14:11:19 poly(50366,0xb0420000) malloc: *** mach_vm_map(size=8388608)
> failed (error code=3)
> 14:11:19 *** error: can't allocate region
> 14:11:19 *** set a breakpoint in malloc_error_break to debug
> This happens during the build of "HOL-Decision_Procs", which succeeds
> regardless:
> 14:11:19 Finished HOL-Decision_Procs (0:05:36 elapsed time, 0:10:40 cpu
> time, factor 1.91)

This is a normal feature of memory management on macOS.

After all these years, David Matthews might eventually want to look if
it is still required these days: for that he merely needs regular SSH
access to some test machine.


More information about the isabelle-dev mailing list