From 3cbaa0c8a6aaad3409b1996c073a4f7464948c2c Mon Sep 17 00:00:00 2001 From: simonmar Date: Thu, 20 Mar 2003 15:43:31 +0000 Subject: [PATCH] [project @ 2003-03-20 15:43:31 by simonmar] Out of memory should be a belch(), not a barf(). --- ghc/rts/MBlock.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/ghc/rts/MBlock.c b/ghc/rts/MBlock.c index 93478a2..ceb8856 100644 --- a/ghc/rts/MBlock.c +++ b/ghc/rts/MBlock.c @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id: MBlock.c,v 1.42 2002/12/11 15:36:42 simonmar Exp $ + * $Id: MBlock.c,v 1.43 2003/03/20 15:43:31 simonmar Exp $ * * (c) The GHC Team 1998-1999 * @@ -127,7 +127,8 @@ my_mmap (void *addr, int size) if (ret == (void *)-1) { if (errno == ENOMEM) { - barf("out of memory (requested %d bytes)", size); + prog_belch("out of memory (requested %d bytes)", size); + stg_exit(EXIT_FAILURE); } else { barf("getMBlock: mmap failed"); } -- 1.7.10.4