module SourceFortyTwo where

import Testbed
import HaskellPrims
import HaskellPrelude

-----------------------------------------------------------------------------
-- Test Framework:

main     :: IO ()
main      = test imports fortyTwo

saveList :: IO ()
saveList  = save "FortyTwo" imports fortyTwo

imports  :: [Assump]
imports   = defnsHaskellPrims ++ defnsHaskellPrelude

-----------------------------------------------------------------------------
-- Test Program:

fortyTwo :: [BindGroup]
fortyTwo
 = map toBg
   [[("main", Nothing, [([], ap [evar "print", elit (LitInt 42)])])],
    [("main'", Nothing,
     [([], ap [evar "print", 
               eif (ap [econst eqMfun, elit (LitInt 42), elit (LitInt 42)])
                   (elit (LitStr "koe"))
                   (elit (LitStr "apa"))])])]]

-----------------------------------------------------------------------------