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 <gree...@greenrd.org> wrote: > On Tue, 3 Feb 2009 19:58:51 -0200 > "rodrigo.bonifacio" <rodrigo.bonifa...@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 >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe