{-# LANGUAGE TypeFamilies #-}
module Test.Synthesizer.LLVM.Utility where

-- import qualified Synthesizer.LLVM.Causal.Process ()
import qualified Synthesizer.LLVM.Causal.Render as CausalRender
import qualified Synthesizer.LLVM.Generator.Render as Render
import qualified Synthesizer.LLVM.Generator.Signal as Sig

import qualified Synthesizer.CausalIO.Process as PIO
import qualified Synthesizer.Causal.Class as CausalClass
import qualified Synthesizer.Generic.Signal as SigG


render2 ::
   (Render.DSLArg () -> Sig.T Ordering) ->
   IO [Char]
render2 sig = do
   proc <- CausalRender.run (CausalClass.fromSignal . sig)
   return $ runCont (proc ())

runCont :: PIO.T SigG.LazySize Char -> [Char]
runCont = undefined