From ee784bf24b08dfdd2b7f52f2a3adef535fc0ddbd Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 16 Mar 2004 01:04:44 +0000
Subject: [PATCH] .

original commit: c426204dd8e359dcf9488abdd1783a9685ff0d0e
---
 collects/framework/framework.ss | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/collects/framework/framework.ss b/collects/framework/framework.ss
index d15bfde9..92267e3d 100644
--- a/collects/framework/framework.ss
+++ b/collects/framework/framework.ss
@@ -196,6 +196,12 @@
     "@flink preferences:set-default"
     "for this preference, the default value is used."
     ""
+    "The \\var{marshall} function might be called with any value returned"
+    "from \\scheme{read} and it must not raise an error (although it"
+    "can return arbitrary results if it gets bad input). This might"
+    "happen when the preferences file becomes corrupted, or is edited"
+    "by hand."
+    ""
     "\\rawscm{preference:set-un/marshall} must be called before calling"
     "@flink preferences:get "
     "or "