8894c5362cb0091e69dcf41dbd3abe35a0d65cfb
[ghc-hetmet.git] / 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)