[isabelle-dev] NEWS: support for GHC

David Matthews dm at prolingua.co.uk
Mon Oct 22 18:54:58 CEST 2018

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.


More information about the isabelle-dev mailing list