Serge D. Mechveliani wrote:
I do not know. Will the source look natural?
That depends on g and h, a generalization can look natural or artifical.
Can you explain this more precisely: what to change in f, g, and h ? Let it be f, g, h :: Int -> Int.
new situtation: module F where import G import H f :: Int -> Int f x = ... g f (... x ...) ... h f (... x ...) module G where g :: (Int -> Int) -> Int -> Int g f x = ... module H ... _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
