module LiftOneLevel.WhereIn7 where

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

--In this example, lift 'addthree' defined in 'fun'.
--This example aims to test adding parenthese.


fun x y z =inc (addthree x y z)
       where inc a =a +1

addthree x y z=x+y+z