From 9805a212e2b0182b86866c38dd33b6f2e1f2771c Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Tue, 7 Oct 2003 16:56:33 +0000
Subject: [PATCH] [project @ 2003-10-07 16:56:33 by sof] peekCString{Len}:
 tweak GHC impls (why are these provided anyway?)   - Do as
 for Foreign.Marshal.Array.peekArray and read in
 length-bounded     string back-to-front.   - force
 evaluation of CChar->Char conversions.

merge to STABLE.
---
 Foreign/C/String.hs |   23 ++++++++++++++---------
 1 file changed, 14 insertions(+), 9 deletions(-)

diff --git a/Foreign/C/String.hs b/Foreign/C/String.hs
index b7b9bb6..d2d2a29 100644
--- a/Foreign/C/String.hs
+++ b/Foreign/C/String.hs
@@ -89,10 +89,11 @@ peekCString cp  = do cs <- peekArray0 nUL cp; return (cCharsToChars cs)
 peekCString cp = loop 0
   where
     loop i = do
-        val <- peekElemOff cp i
-        if val == nUL then return [] else do
+        xval <- peekElemOff cp i
+	let val = castCCharToChar xval
+        if (val `seq` (xval == nUL)) then return [] else do
             rest <- loop (i+1)
-            return (castCCharToChar val : rest)
+            return (val : rest)
 #endif
 
 -- marshal a C string with explicit length into a Haskell string 
@@ -101,13 +102,17 @@ peekCStringLen           :: CStringLen -> IO String
 #ifndef __GLASGOW_HASKELL__
 peekCStringLen (cp, len)  = do cs <- peekArray len cp; return (cCharsToChars cs)
 #else
-peekCStringLen (cp, len) = loop 0
+peekCStringLen (cp, len) 
+  | len <= 0  = return "" -- being (too?) nice.
+  | otherwise = loop [] (len-1)
   where
-    loop i | i == len  = return []
-	   | otherwise = do
-        	val <- peekElemOff cp i
-        	rest <- loop (i+1)
-        	return (castCCharToChar val : rest)
+    loop acc i = do
+         xval <- peekElemOff cp i
+	 let val = castCCharToChar xval
+	   -- blow away the coercion ASAP.
+	 if (val `seq` (i == 0))
+	  then return (val:acc)
+	  else loop (val:acc) (i-1)
 #endif
 
 -- marshal a Haskell string into a NUL terminated C strings
-- 
1.7.10.4