What does unresolved top level overloading mean in this context?
> data Oracle = Oracle
> data OracleConnection = OracleConnection
> class DBMS dbms where
> nameDBMS::dbms->String
> class DBConnection c where
> openConnection::(DBMS dbms) => dbms -> String -> c
> nameConnection:: c -> String
> instance DBMS Oracle where
> nameDBMS d = "Oracle"
> instance DBConnection OracleConnection where
> openConnection dbms string = OracleConnection
> nameConnection c = "OracleConnection"
> test = openConnection Oracle "odbc:odbcURL"
Test must be an OracleConnection.
Why do I get an "unresolved top level overloading" error?
-Alex-
___________________________________________________________________
S. Alexander Jacobson i2x Media
1-212-697-0184 voice 1-212-697-1427 fax
