diff options
Diffstat (limited to 'stdlib/source/lux/lang/synthesis/loop.lux')
| -rw-r--r-- | stdlib/source/lux/lang/synthesis/loop.lux | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/stdlib/source/lux/lang/synthesis/loop.lux b/stdlib/source/lux/lang/synthesis/loop.lux index 6aab72213..eb57eb7ad 100644 --- a/stdlib/source/lux/lang/synthesis/loop.lux +++ b/stdlib/source/lux/lang/synthesis/loop.lux @@ -60,9 +60,6 @@ _ proper))) - (#//.Exec bodyS) - (proper? bodyS) - (#//.Let inputS register bodyS) (and (proper? inputS) (proper? bodyS)) @@ -131,9 +128,6 @@ (path-recursion recur) (maybe/map (|>> (#//.Case inputS) #//.Branch #//.Control))) - (#//.Exec bodyS) - (maybe/map (|>> //.branch/exec) (recur bodyS)) - (#//.Let inputS register bodyS) (maybe/map (|>> (#//.Let inputS register) #//.Branch #//.Control) (recur bodyS)) |