Rewrite prependEach
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Jul 2012 08:01:20 +0000 (10:01 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Jul 2012 08:01:20 +0000 (10:01 +0200)
Picosat.hs

index 66872f6..18dfd1d 100644 (file)
@@ -111,8 +111,7 @@ formatCNFPMAX (SATProb {..}) = L.concat $
         topN = show (numRelaxable + 2)
         top = BS.pack (topN ++ " ")
         soft = BS.pack ("1 ")
-        prependEach a [] = []
-        prependEach a l = (a:) . intersperse a $ l
+        prependEach a = concatMap (\l -> [a, l])
 
 
 parseConj :: BS.ByteString -> Conj