msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

constructed data!

Browse Source 
that was easier than expected. see you in a few hours when i realise the catastrophic mistake i must've missed here
This commit is contained in:
crumbtoo
2023-11-14 15:20:24 -07:00
parent f578b16d06
commit 77c76b03ce
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/TIM.hs
View File

@@ -184,6 +184,7 @@ step st =
NSupercomb n as b -> scStep n as b st NSupercomb n as b -> scStep n as b st
NInd a -> indStep a st NInd a -> indStep a st
NPrim n p -> primStep n p st NPrim n p -> primStep n p st
NData t as -> dataStep t as st
where where
numStep :: Int -> TiState -> TiState numStep :: Int -> TiState -> TiState
@@ -252,7 +253,18 @@ step st =
primStep _ IntMulP st = primBinOp (*) st primStep _ IntMulP st = primBinOp (*) st
primStep _ IntDivP st = primBinOp (div) st primStep _ IntDivP st = primBinOp (div) st
-- primStep _ primStep n (ConP t a) (TiState s d h g sts) =
TiState s' d h' g sts
where
s' = drop a s
h' = update h rootAddr $ NData t argAddrs
rootAddr = s !! a
argAddrs = getArgs h s
dataStep :: Int -> [Addr] -> TiState -> TiState
dataStep _ _ (TiState [a] (s:d) h g sts) = TiState s d h g sts
dataStep _ _ _ = error "data applied as function..."
primBinOp :: (Int -> Int -> Int) -> TiState -> TiState primBinOp :: (Int -> Int -> Int) -> TiState -> TiState
primBinOp f (TiState s d h g sts) = primBinOp f (TiState s d h g sts) =