We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0fefd8f commit fc2b71aCopy full SHA for fc2b71a
src/Optimizations/GHC_opt/lambda_lifting.rst
@@ -37,7 +37,7 @@ Thus |glift| turns into:
37
.. code-block:: haskell
38
39
g_lifted a 0 = a
40
- g_lifted a n = 1 + g (n - 1)
+ g_lifted a n = 1 + g_lifted (n - 1)
41
42
Now ``a`` is an input, which means that |glift| can be floated out of ``f``
43
to the top level producing the final program:
@@ -46,7 +46,7 @@ to the top level producing the final program:
46
47
g :: Int -> Int -> Int
48
49
50
51
f :: Int -> Int -> Int
52
f a 0 = a
0 commit comments