packages feed

HaRe-0.8.0.0: test/testdata/LiftOneLevel/LetIn3.hs.expected

module LiftOneLevel.LetIn3 where

--A definition can be lifted from a where or let into the surronding binding group.
--Lifting a definition widens the scope of the definition.

--In this example, lift 'sq' in 'sumSquares'
--This example aims to test lifting a definition from a let clause to a let clause,

sumSquares x y = let pow=2

                     sq 0=0
                     sq z=z^pow
                 in ( sq x + sq y)

anotherFun 0 y = sq y
     where sq x = x^2