diff options
author | Ian Lynagh <igloo@earth.li> | 2008-07-21 09:52:56 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2008-07-21 09:52:56 +0000 |
commit | 85255a966b21172ce5a26c8a9cb0cdaf7315be95 (patch) | |
tree | 8cb07cd434b13f2ad11bf23c143e71f25ddeb0c3 /compiler/stranal | |
parent | c1153c7803e311d7b6e7de454ea0156b211281c3 (diff) | |
download | haskell-85255a966b21172ce5a26c8a9cb0cdaf7315be95.tar.gz |
Fixes for haddock 0.8
Diffstat (limited to 'compiler/stranal')
-rw-r--r-- | compiler/stranal/WwLib.lhs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/stranal/WwLib.lhs b/compiler/stranal/WwLib.lhs index 19f918f9e1..229c2ece3b 100644 --- a/compiler/stranal/WwLib.lhs +++ b/compiler/stranal/WwLib.lhs @@ -1,7 +1,7 @@ % % (c) The GRASP/AQUA Project, Glasgow University, 1993-1998 % -\section[WwLib]{A library for the ``worker/wrapper'' back-end to the strictness analyser} +\section[WwLib]{A library for the ``worker\/wrapper'' back-end to the strictness analyser} \begin{code} module WwLib ( mkWwBodies, mkWWstr, mkWorkerArgs ) where @@ -44,7 +44,7 @@ Here's an example. The original function is: \begin{verbatim} g :: forall a . Int -> [a] -> a -g = /\ a -> \ x ys -> +g = \/\ a -> \ x ys -> case x of 0 -> head ys _ -> head (tail ys) @@ -55,7 +55,7 @@ From this, we want to produce: -- wrapper (an unfolding) g :: forall a . Int -> [a] -> a -g = /\ a -> \ x ys -> +g = \/\ a -> \ x ys -> case x of I# x# -> $wg a x# ys -- call the worker; don't forget the type args! @@ -63,7 +63,7 @@ g = /\ a -> \ x ys -> -- worker $wg :: forall a . Int# -> [a] -> a -$wg = /\ a -> \ x# ys -> +$wg = \/\ a -> \ x# ys -> let x = I# x# in @@ -98,7 +98,7 @@ the unusable strictness-info into the interfaces. %* * %************************************************************************ -@mkWwBodies@ is called when doing the worker/wrapper split inside a module. +@mkWwBodies@ is called when doing the worker\/wrapper split inside a module. \begin{code} mkWwBodies :: Type -- Type of original function |