[Haskell-cafe] Converting Lists to Sets

rodrigo.bonifacio rodrigo.bonifacio at uol.com.br
Tue Feb 3 16:58:51 EST 2009

Hi all,

I'm trying to use the Funsat library. One of its data types is CNF:

data CNF = CNF {
 numVars :: Int
 numClauses :: Int
 clauses :: Set Clause

I have a list of clauses, but I'm getting an error when converting such a list to a Set. Using the fromList function, the ghc compiler reports that the fromList function is not applicable to literals. 

type Clause = [Lit] 

newtype Lit = L {
 unLit :: Int

So, my question is: How can I solve this problem?

Thanks in advance,


More information about the Haskell-Cafe mailing list