Improve error message for Global.readGlobal

967e8359 · Michael Hanus · e964239b · 967e8359
Commit 967e8359 authored Oct 29, 2019 by Michael Hanus
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

Global.kics2 Global.kics2 +2 -1

No files found.
--- a/Global.kics2
+++ b/Global.kics2
@@ -116,7 +116,8 @@ external_d_C_prim_readGlobal (C_Global_Pers name) _ _ = fromIO $
    case reads s of
      [(val,"")] -> return val
      _          -> throw (IOException $ "Persistent file `" ++ name ++
-                                         "' contains malformed contents")
+                                         "' contains malformed contents:\n" ++
+                                         s)

 external_d_C_prim_writeGlobal :: Curry_Prelude.Curry a => C_Global a -> a
                              -> Cover -> ConstStore -> Curry_Prelude.C_IO Curry_Prelude.OP_Unit