[polyml] hitherto unobserved error while building HOL on ARM Mac

2022-07-17 Thread Michael Norrish via polyml
I see signal 11 (seg fault) periodically, but I just also saw > Assertion failed: (space->partialGCScan+length+1 <= space->lowerAllocPtr), > function ScanOwnedAreas, file quick_gc.cpp, line 499. This is running SHA bafe319b. -- Michael Norrish School of Computing, Australian National

Re: [polyml] Update to ARM code-generator

2022-01-17 Thread Michael Norrish via polyml
I’m getting random SIGSEGVs while building HOL with latest git on an Apple Silicon MacBook Pro. These don’t always occur, but when they do, they have (so far) always been in one of two places. Michael > On 16 Jan 2022, at 10:51 pm, David Matthews > wrote: > > The long-promised update to