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

delta duped code

Browse Source
This commit is contained in:
crumbtoo
2023-11-22 15:44:41 -07:00
parent d0be08027a
commit 8a051085c2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/TIM.hs
View File

@@ -185,7 +185,7 @@ eval st = st : sts
step :: TiState -> TiState step :: TiState -> TiState
step st = step st =
let TiState (top:_) _ h _ _ = st let TiState (top:_) _ h _ _ = st
in case fromMaybe (error "segfault!") (hLookup top h) of in case hLookupUnsafe top h of
NNum n -> numStep n st NNum n -> numStep n st
NAp f x -> apStep f x st NAp f x -> apStep f x st
NSupercomb n as b -> scStep n as b st NSupercomb n as b -> scStep n as b st