On 22/10/2018 14:05, Lars Hupel wrote:
The binary provided by Homebrew does not exhibit that problem. I have no
other information beyond that.

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 is an Apple bug. It produces this message if it can't allocate memory in certain situations. That's a perfectly normal case and other operating systems just silently, and correctly, return zero from malloc. Poly/ML deals with that. Just ignore it.

isabelle-dev mailing list

Reply via email to