Polymorphic eof

polyeof.hs

type PE a  = Either ParseError a

raw :: IO String
raw = readFile "real.data"

date :: Parsec String a String
date = extract
  where
    extract = string "Date: " *> many1 (noneOf "\n") <* newline

model :: Parsec String a [String]
model = many1 $ date <* stuff
  where
    stuff  = (manyTill anyChar $ try (lookAhead $ string "Date: ")) <|> eof' ""
    eof' x = do
      eof
      return x

runModel :: String -> PE [String]
runModel x = runIdentity $ runParserT model () "" x

main :: IO ()
main = do
  r <- raw
  putStrLn $ show $ runModel r