[project @ 1998-02-03 22:47:48 by sof]

[ghc-hetmet.git] / ghc / docs / users_guide / 3-01-notes.vsgml

diff --git a/ghc/docs/users_guide/3-01-notes.vsgml b/ghc/docs/users_guide/3-01-notes.vsgml
index bd94803..c5fd50a 100644 (file)
--- a/ghc/docs/users_guide/3-01-notes.vsgml
+++ b/ghc/docs/users_guide/3-01-notes.vsgml
@@ -6,10 +6,44 @@ Changes made since 3.00:
 
 <itemize>
 
-<item>  Fix interaction of "hiding" on import with "module M" on export.
+<item> Fix interaction of "hiding" on import with "module M" on export.
 
-<item>  Fix some floating point conversion problems in @floatExtreme.lc@.
+<item> Fix some floating point conversion problems in @floatExtreme.lc@.
 
-<item>  New Hugs/GHC interface <tt/NumExts/ added and documented.
+<item> New Hugs/GHC interface <tt/NumExts/ added and documented.
+
+<item> moved @showOct@ and @showHex@ from @Numeric@ to @NumExts@.
+
+<item> imported HBC's quick-sort algorithm from @QSort@ into @List@.
+
+<item> added support for assertions. Conceptually, a new function has
+       been added to the Prelude with the following type: 
+
+       <tscreen> <verb>
+          assert :: Bool -> a -> a
+       </verb> </tscreen>
+
+       which has the following behaviour:
+ 
+       <tscreen> <verb>
+          assert pred v 
+             | pred      = v
+            | otherwise = error "assertion failed"
+       </verb> </tscreen>
+       
+       However in this form, the practical use of assertions is
+       limited as no indication is given as to what assertion failed.
+       So to help out here, ghc will rewrite any uses of <tt/assert/
+       to instead invoke the function <tt/assert__/ :
+ 
+       <tscreen> <verb>
+         assert__ :: String -> Bool -> a -> a
+       </verb> </tscreen>
+        
+       where the first argument to <tt/assert__/ is a compiler generated string 
+       which encodes the source location of the original <tt/assert/.
+
+       Assertions are a Glasgow extension, so -fglasgow-exts is
+       needed to use them.
 
 </itemize>