diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-02 17:31:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-02 17:31:45 -0400 |
| commit | ab29ac3337d2be88ae3288652e999873be1dcf14 (patch) | |
| tree | d3816565ec3c8518bb73979bd5957e8d324375f9 /lib | |
| parent | 5885d66bebeece6ba2f7b6a1b11f719086423114 (diff) | |
Compiling a parametrized query the inefficient way
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.urs | 4 |
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 [] |