From 8f64fda22cf9820a07c251acf755e14c836020a8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 14 Oct 2008 16:41:48 -0400 Subject: lform -> form --- tests/crud.ur | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'tests/crud.ur') diff --git a/tests/crud.ur b/tests/crud.ur index 32233eb0..b22cb157 100644 --- a/tests/crud.ur +++ b/tests/crud.ur @@ -54,7 +54,7 @@ fun update (id : int) = fso <- oneOrNoRows (SELECT tab.{{mapT2T fstTT M.cols}} FROM tab WHERE tab.Id = {id}); case fso : (Basis.option {Tab : $(mapT2T fstTT M.cols)}) of None => return Not found! - | Some fs => return + | Some fs => return
{foldT2R2 [fstTT] [colMeta] [fn cols :: {(Type * Type)} => xml form [] (mapT2T sndTT cols)] (fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)}) [[nm] ~ rest] (v : t.1) (col : colMeta t) @@ -67,7 +67,7 @@ fun update (id : int) = [M.cols] fs.Tab M.cols} - +
fun delete (id : int) = () <- dml (DELETE FROM tab WHERE Id = {id}); @@ -117,7 +117,7 @@ fun main () =
- +
{foldT2R [colMeta] [fn cols :: {(Type * Type)} => xml form [] (mapT2T sndTT cols)] (fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)}) [[nm] ~ rest] (col : colMeta t) (acc : xml form [] (mapT2T sndTT rest)) => @@ -128,7 +128,7 @@ fun main () = [M.cols] M.cols} - +
end -- cgit v1.2.3