summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-16 15:58:25 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-16 15:58:25 -0400
commit402112549b47a76033fa575dc9f5e620ea214cc1 (patch)
tree839b907116d5ce5a563835d03ba54eafb9f506fb /lib
parent62c0731399525d736de1c4e303c1abd1677a8d0c (diff)
Looking up in a type class from a module
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.lig2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/basis.lig b/lib/basis.lig
index 6fe847b9..01b3fab8 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -26,7 +26,7 @@ val sql_query : tables :: {({Type} * {Type})}
-> sql_query (fold (fn nm => fn selected_unselected :: ({Type} * {Type}) => fn acc => [nm] ~ acc =>
[nm = selected_unselected.1] ++ acc) [] tables)
-con sql_type :: Type -> Type
+class sql_type
val sql_bool : sql_type bool
val sql_int : sql_type int
val sql_float : sql_type float