diff lib/basis.lig @ 216:38b299373676

Looking up in a type class from a module
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 15:58:25 -0400
parents 1487c712eb12
children 5292c0113024
line wrap: on
line diff
--- a/lib/basis.lig	Sat Aug 16 15:09:53 2008 -0400
+++ b/lib/basis.lig	Sat Aug 16 15:58:25 2008 -0400
@@ -26,7 +26,7 @@
         -> 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