cps

app/Gyehoek/CPS/Convert.hs

@@ -5,6 +5,7 @@ module Gyehoek.CPS.Convert
 import Gyehoek.CPS.Syntax
 import Gyehoek.Scheme.Syntax qualified as Scm
 import Gyehoek.GenSym
+import Data.List.NonEmpty (NonEmpty((:|)))
 import Effectful
 import Control.Monad.Cont qualified as Cont
 
@@ -28,4 +29,9 @@ convert (Scm.ExpPrim p) k =
     r <- gensym' "r"
     ExpPrim p' [r] . pure <$> k (ValVar r)
 
-convert _ _ = _
+convert (Scm.ExpApply f xs) k =
+  telescope (convert @es) (f:|xs) \(f':|xs') -> do
+    _
+    _
+
+convert _ k = _