diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-31 16:54:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 16:54:13 -0400 |
| commit | 83431c3e4c3fa74cae515520be04a0be3c11fef2 (patch) | |
| tree | b7d5f19b05bbef691eeeb0b4103fe952bcb42cb2 /lib | |
| parent | 3b3eb1273341bcc8787ab2efa9f7fe7cfd2f9235 (diff) | |
Monoize ASC/DESC
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.urs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index bfb25651..cd355316 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -73,7 +73,7 @@ val sql_desc : sql_direction con sql_order_by :: {{Type}} -> {Type} -> Type val sql_order_by_Nil : tables ::: {{Type}} -> exps :: {Type} -> sql_order_by tables exps val sql_order_by_Cons : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type - -> sql_exp tables [] exps t -> sql_order_by tables exps + -> sql_exp tables [] exps t -> sql_direction -> sql_order_by tables exps -> sql_order_by tables exps type sql_limit |