module LiftToToplevel.WhereIn7 where

--A definition can be lifted from a where or let to the top level 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
       where inc a =a +1
             addthree=x+y+z

A definition can be lifted from a where or let to the top level binding group.
Lifting a definition widens the scope of the definition.
In this example, lift 'addthree' defined in 'fun'.
module LiftToToplevel.WhereIn7 where


This example aims to test adding parenthese .


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