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

indirection

Browse Source
This commit is contained in:
crumbtoo
2023-11-14 20:30:05 -07:00
parent 3ba7df2b04
commit 535c059afc
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

@@ -275,7 +275,7 @@ step st =
| isTrue, needsEval tn = h | isTrue, needsEval tn = h
| not isTrue, needsEval fn = h | not isTrue, needsEval fn = h
| otherwise = | otherwise =
update h rootAddr (if isTrue then tn else fn) update h rootAddr (NInd $ if isTrue then t else f)
[cn,tn,fn] = hViewUnsafe h <$> [c,t,f] [cn,tn,fn] = hViewUnsafe h <$> [c,t,f]
[c,t,f] = getArgs h s [c,t,f] = getArgs h s