-- Test of the operation MakePartial
-- Sergio Antoy, Sat Apr  2 14:55:18 PST 2005
-- File: Partial.curry

sum x y z = x+y+z
pro x y z = x*y*z

f0 = g sum
  where g f = f 1 2 3
f1 = g (sum 1)
  where g f = f 2 3
f2 = g (sum 1 2)
  where g f = f 3
f3 = g (sum 1 2 3)
  where g f = f

-- for regression, execute: flvm -test Partial
test0 = f0
test1 = f1
test2 = f2
test3 = f3


m 0 = sum
m 1 = pro

n x = m x 4 5 6

test4 = n 0
test5 = n 1