Commits

Bryan O'Sullivan committed 1491faf

Fix up an errant test.

  • Participants
  • Parent commits 2756e39

Comments (0)

Files changed (2)

-all: TestFastSet.out QC.out
+all: TestFastSet.out qc.out
 
 %.out: %.exe
 	./$< | tee $<.tmp
 	mv $<.tmp $@
 
+qc.exe: QC.hs
+	ghc -O -fno-warn-orphans --make -o $@ $<
+
 %.exe: %.hs
 	ghc -O -fno-warn-orphans --make -o $@ $<
 
+{-# LANGUAGE OverloadedStrings #-}
 module Main (main) where
 
 import Control.Monad (forM_)
 import Test.QuickCheck hiding (NonEmpty)
 import qualified Data.Attoparsec as P
 import qualified Data.ByteString as B
+import qualified Data.ByteString.Char8 as C
 
 -- Make sure that structures whose types claim they are non-empty
 -- really are.
          P.Done t' h' -> t == t' && h == h'
          _            -> False
 
-takeWhile1 (w, NonEmpty s) =
-    let (h,t) = B.span (==w) s
-    in case defP (P.takeWhile1 (==w)) s of
+takeWhile1 (w, s) =
+    let s'    = B.cons w s
+        (h,t) = B.span (<=w) s'
+    in case defP (P.takeWhile1 (<=w)) s' of
          P.Done t' h' -> t == t' && h == h'
          _            -> False