fixed point

[Harris, Andrew]

Hi -

	I am trying to work out how the following function using "fix" is
evaluated.  I am hoping someone could look at my step-by-step breakdown of
how I think evaluation works and see if I'm correct.  My main question is
how the order of operation (fixity?) is understood in going from step [3] to
[4], if this is indeed how the evaluation would take place.

	Any help is appreciated,
-andrew

Here's the Haskell function:

---
fix f = f (fix f)

wierdFunc2 x y z = if y - z > z then x (y-z) z
                   else y - z

myRemainder = fix wierdFunc2
---

Here's my "evaluation":

myRemainder 12 5		-- [1]
=
fix wierdFunc2 12 5	-- [2] by substitution
=
wierdFunc2 fix wierdFunc2 12 5	-- [3] apply "fix" 
=
wierdFunc2 myRemainder 12 5		-- [4] by substitution (?)
=
myRemainder 7 5				-- [5] apply "wierdFunc2"
=
fix wierdFunc2 7 5	-- [6] by substitution
=
wierdFunc2 fix wierdFunc2 7 5	-- [7] apply "fix" 
=
wierdFunc2 myRemainder 7 5		-- [8] by substitution (?)
=
2	-- [9] apply "wierdFunc2"