Re: [isabelle-dev] NEWS: support for GHC
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,0xb042) 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. David ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] NEWS: support for GHC
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,0xb042) 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. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] NEWS: support for GHC
> 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,0xb042) 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) The timestamp suggests that this happens close to the end of the session; although no heap image has to be saved for that session. I'll run some more experiments to figure out if this is spurious or not. ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
