summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-02 17:31:45 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-02 17:31:45 -0400
commitab29ac3337d2be88ae3288652e999873be1dcf14 (patch)
treed3816565ec3c8518bb73979bd5957e8d324375f9 /lib
parent5885d66bebeece6ba2f7b6a1b11f719086423114 (diff)
Compiling a parametrized query the inefficient way
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.urs4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/basis.urs b/lib/basis.urs
index cd355316..38049f13 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -230,7 +230,7 @@ val font : bodyTag [Size = int, Face = string]
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 loption : unit -> tag [Value = string] select [] [] []
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 []