[Haskell-cafe] Converting Lists to Sets

3 Feb 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,

Rodrigo.

[Haskell-cafe] Converting Lists to Sets

rodrigo.bonifacio