You have the right idea, you just forgot that indentation matters in F#. Adding spaces makes you solution work:
let fun1 (a,b) =
match (a,b) with
| (a,b) when a + b > 0 -> fun2
| (a,b) when a + b < 0 -> fun3
This actually patterns matches twice, so we might want to rewrite it:
let fun1 t = function
| (a,b) when a + b > 0 -> fun2
| (a,b) when a + b < 0 -> fun3
The compiler/interpreter will let this go through, but with a warning:
warning FS0025: Incomplete pattern matches on this expression.
I'll leave getting rid of that as an exercise :-)
PS. Good of you to be upfront about this being homework.