ghc/tests/specialise/clausify002/Main.hs

   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" do
   7         input <- getContents
   8         putStr (clausify input)