From 14c2a9e4b84d7344b40c7398c8896338939bfcc1 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 13 Sep 2008 11:13:46 -0400 Subject: foldTRX2 --- tests/crud.ur | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'tests/crud.ur') diff --git a/tests/crud.ur b/tests/crud.ur index 3837061e..95d2d4b9 100644 --- a/tests/crud.ur +++ b/tests/crud.ur @@ -20,15 +20,12 @@ fun list () = {acc} {txt _ fs.T.Id} - {foldTR2 [idT] [colMeta'] [fn _ => xtr] + {foldTRX2 [idT] [colMeta'] [tr] (fn (nm :: Name) (t :: Type) (rest :: {Type}) => [[nm] ~ rest] => - fn v funcs acc => - + fn v funcs => {funcs.Show v} - {acc} ) - [M.cols] (fs.T -- #Id) M.cols} ) ; -- cgit v1.2.3