Mercurial > urweb
diff lib/basis.urs @ 280:fdd7a698be01
Compiling a parametrized query the inefficient way
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 02 Sep 2008 17:31:45 -0400 |
| parents | bacd0ba869e1 |
| children | c0e4ac23522d |
line wrap: on
line diff
--- a/lib/basis.urs Tue Sep 02 16:18:05 2008 -0400 +++ b/lib/basis.urs Tue Sep 02 17:31:45 2008 -0400 @@ -230,7 +230,7 @@ val h1 : bodyTag [] val li : bodyTag [] -val a : bodyTag [Link = page] +val a : bodyTag [Link = transaction page] val lform : ctx ::: {Unit} -> [Body] ~ ctx -> bind ::: {Type} -> xml lform [] bind @@ -255,4 +255,4 @@ val submit : ctx ::: {Unit} -> [LForm] ~ ctx -> use ::: {Type} -> unit - -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] + -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use []