ghc/tests/specialise/clausify001/Main.hs-WithPrelude

   1 module Main ( main ) where
   2
   3 import PreludeClausify (clausify)
   4
   5 -- the main program: reads stdin and writes stdout
   6 main = scc "CAF:main"
   7        readChan stdin exit ( \input ->
   8        appendChan stdout (clausify input) exit done)