blob: f1109b8f030325a8fccf0b9e6325be73594928f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
pow=2
in sq x + sq y
anotherFun 0 y = sq y
where sq x = x^2
|
