From 4f9f00dfee3c2dcdc09cef73656a70d25139cb90 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Sun, 4 Feb 2024 20:52:23 -0700
Subject: [PATCH] sc

---
 src/Compiler/Types.hs |  5 +++++
 src/Rlp2Core.hs       | 26 ++++++++++++++++++++------
 2 files changed, 25 insertions(+), 6 deletions(-)

diff --git a/src/Compiler/Types.hs b/src/Compiler/Types.hs
index 5814b58..09c60f1 100644
--- a/src/Compiler/Types.hs
+++ b/src/Compiler/Types.hs
@@ -2,6 +2,7 @@ module Compiler.Types
     ( SrcSpan(..)
     , srcspanLine, srcspanColumn, srcspanAbs, srcspanLen
     , Located(..)
+    , nolo
     , (<<~), (<~>)
 
     -- * Re-exports
@@ -52,6 +53,10 @@ srcspanColumn = tupling . _2
 srcspanAbs = tupling . _3
 srcspanLen = tupling . _4
 
+-- | debug tool
+nolo :: a -> Located a
+nolo = Located (SrcSpan 0 0 0 0)
+
 instance Semigroup SrcSpan where
     SrcSpan la ca aa sa <> SrcSpan lb cb ab sb = SrcSpan l c a s where
         l = min la lb
diff --git a/src/Rlp2Core.hs b/src/Rlp2Core.hs
index 082b23e..791946e 100644
--- a/src/Rlp2Core.hs
+++ b/src/Rlp2Core.hs
@@ -11,6 +11,7 @@ import Control.Comonad
 -- import Lens.Micro
 -- import Lens.Micro.Internal
 import Control.Lens
+import Data.List                        (mapAccumL)
 import Data.Text                        (Text)
 import Data.Text                        qualified as T
 import Data.HashMap.Strict              qualified as H
@@ -19,6 +20,7 @@ import Data.Foldable
 import Data.Functor.Bind
 
 import Core.Syntax                      as Core
+import Compiler.Types
 import Rlp.Syntax                       as Rlp
 import Rlp.Parse.Types                  (RlpcPs, PsName)
 --------------------------------------------------------------------------------
@@ -41,14 +43,26 @@ declToCore (DataD'' n as ds) = fold . getZipList $
         -- arguments
         t' = foldl TyApp (TyCon n) (TyVar . dsNameToName <$> as)
 
-declToCore fd@(FunD'' n as e wh) = undefined
+-- TODO: where-binds
+declToCore fd@(FunD'' n as e _) = mempty & programScDefs .~ [ScDef n' as' e'']
+    where
+        n' = dsNameToName n
+        (e',as') = mapAccumL caseify (extract e) (names `zip` as)
+        e'' = exprToCore e'
+        names = [ nolo $ "$x_" <> tshow n | n <- [0..] ]
+        tshow = T.pack . show
 
-caseify :: IdP' RlpcPs -> RlpExpr' RlpcPs -> Pat' RlpcPs
-        -> (RlpExpr RlpcPs, Pat RlpcPs)
-caseify x e p = (e', p') where
-    p' = VarP (extract x)
+-- mapAccumL :: Traversable t => (s -> a -> (s, b)) -> s -> t a -> (s, t b)
+
+caseify :: RlpExpr RlpcPs -> (IdP' RlpcPs, Pat' RlpcPs)
+        -> (RlpExpr RlpcPs, Name)
+caseify e (x,p) = (e', x') where
+    x' = dsNameToName (extract x)
     e' = CaseE (VarE <$> x) [(alt, [])]
-    alt = AltA p e
+    alt = AltA p (nolo e)
+
+exprToCore :: RlpExpr RlpcPs -> Expr'
+exprToCore = undefined
 
 constructorToCore :: Type -> Tag -> ConAlt RlpcPs -> Program'
 constructorToCore t tag (ConAlt cn as) =