LGTM, thanks!
On Fri, Feb 28, 2014 at 1:25 PM, Klaus Aehlig <[email protected]> wrote: > in the case of n>1, the n-ary uncurry function is of the form > \f (x_1, ..., x_n) -> ... rather than \f x_1 ... x_n -> ... > > Signed-off-by: Klaus Aehlig <[email protected]> > --- > src/Ganeti/THH/Types.hs | 3 ++- > 1 file changed, 2 insertions(+), 1 deletion(-) > > diff --git a/src/Ganeti/THH/Types.hs b/src/Ganeti/THH/Types.hs > index 2ce26be..de17fd0 100644 > --- a/src/Ganeti/THH/Types.hs > +++ b/src/Ganeti/THH/Types.hs > @@ -90,7 +90,8 @@ uncurryVarType = uncurryN . length . fst . funArgs > uncurryN n = do > f <- newName "f" > ps <- mapM newName (replicate n "x") > - return $ LamE (VarP f : map VarP ps) (foldl AppE (VarE f) $ map > VarE ps) > + return $ LamE [VarP f, TupP $ map VarP ps] > + (foldl AppE (VarE f) $ map VarE ps) > > -- | Creates an uncurried version of a function. > -- If the function has no arguments, it's converted into @() -> o@. > -- > 1.9.0.279.gdc9e3eb > >
