diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-16 15:58:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-16 15:58:25 -0400 |
| commit | 402112549b47a76033fa575dc9f5e620ea214cc1 (patch) | |
| tree | 839b907116d5ce5a563835d03ba54eafb9f506fb /lib/basis.lig | |
| parent | 62c0731399525d736de1c4e303c1abd1677a8d0c (diff) | |
Looking up in a type class from a module
Diffstat (limited to 'lib/basis.lig')
| -rw-r--r-- | lib/basis.lig | 2 |
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 |