ghc/tests/specialise/clausify003/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"
   7     do
   8         input <- getContents
   9         putStr (clausify input)