blob: d233115ee667b1a1c0020890205e3b5203ac2140 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
module LetIn1 where
--A definition can be demoted to the local 'where' binding of a friend declaration,
--if it is only used by this friend declaration.
--Demoting a definition narrows down the scope of the definition.
--In this example, demote the local 'pow' to 'sq'
--This example also aims to test the demoting a local declaration in 'let'.
sumSquares x y = let sq 0=0
sq z=z^pow
in sq x + sq y
anotherFun 0 y = sq y
where sq x = x^2
|
