Actually, a list of list of literals is needed, since it's a Set Clause, and a Clause is a [Literal]. 

On Tue, Feb 3, 2009 at 5:24 PM, Robin Green <greenrd@greenrd.org> wrote:
On Tue, 3 Feb 2009 19:58:51 -0200
"rodrigo.bonifacio" <rodrigo.bonifacio@uol.com.br> wrote:

> 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
> }
>

You don't provide your code or the exact error message, which makes
it harder to diagnose - but I'd guess you are mistakenly trying to apply
fromList to a *single* literal, rather than a *list* of literals.
--
Robin
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe