steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

rosetta-code.ternary-logic: remove useless type casts before drops

handle-patch-and-put
Alexander Iljin 2018-07-30 09:13:59 +02:00 committed by John Benediktsson
parent 1b95fba178
commit f56ed221d7
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
extra/rosetta-code/ternary-logic/ternary-logic.factor
View File

@ -43,12 +43,12 @@ M: trit >trit ;
>trit { >trit {
{ t [ >trit ] } { t [ >trit ] }
{ m [ >trit { { t [ m ] } { m [ m ] } { f [ f ] } } case ] } { m [ >trit { { t [ m ] } { m [ m ] } { f [ f ] } } case ] }
{ f [ >trit drop f ] } { f [ drop f ] }
} case ; } case ;
: tor ( trit1 trit2 -- trit ) : tor ( trit1 trit2 -- trit )
>trit { >trit {
{ t [ >trit drop t ] } { t [ drop t ] }
{ m [ >trit { { t [ t ] } { m [ m ] } { f [ m ] } } case ] } { m [ >trit { { t [ t ] } { m [ m ] } { f [ m ] } } case ] }
{ f [ >trit ] } { f [ >trit ] }
} case ; } case ;
@ -56,13 +56,13 @@ M: trit >trit ;
: txor ( trit1 trit2 -- trit ) : txor ( trit1 trit2 -- trit )
>trit { >trit {
{ t [ tnot ] } { t [ tnot ] }
{ m [ >trit drop m ] } { m [ drop m ] }
{ f [ >trit ] } { f [ >trit ] }
} case ; } case ;
: t= ( trit1 trit2 -- trit ) : t= ( trit1 trit2 -- trit )
{ {
{ t [ >trit ] } { t [ >trit ] }
{ m [ >trit drop m ] } { m [ drop m ] }
{ f [ tnot ] } { f [ tnot ] }
} case ; } case ;