From 820db2a3a1c185ea91d8a8f14a30a52489595e3f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 4 Oct 2008 15:54:03 -0400 Subject: Small clean-ups in crud; Compiler.check --- tests/crud.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/crud.ur') diff --git a/tests/crud.ur b/tests/crud.ur index 7944cf6c..6479da19 100644 --- a/tests/crud.ur +++ b/tests/crud.ur @@ -80,7 +80,7 @@ fun confirm (id : int) = return

I was born sure!

-fun main () : transaction page = +fun main () = rows <- queryX (SELECT * FROM tab AS T) (fn (fs : {T : $([Id = int] ++ mapT2T fstTT M.cols)}) => -- cgit v1.2.3