]> gitweb.factorcode.org Git - factor.git/commitdiff
lint: add more forms
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 1 Jun 2023 17:33:15 +0000 (10:33 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 1 Jun 2023 17:33:15 +0000 (10:33 -0700)
extra/lint/lint.factor

index 4b42ab08384523ca7618281efd4d10afaee55922..1922c2ef0347612b6182b3d8a055c90395ad9553 100644 (file)
@@ -18,12 +18,15 @@ CONSTANT: manual-substitutions
         { rot [ swapd swap ] }
         { over [ dup swap ] }
         { swapd [ [ swap ] dip ] }
+        { dupd [ [ dup ] dip ] }
+        { 2dup [ over over ] }
         { 2swap [ -roll -roll ] }
         { 2nip [ nip nip ] }
         { 3nip [ 2nip nip ] }
         { 4nip [ 3nip nip ] }
         { 2drop [ drop drop ] }
         { 3drop [ drop drop drop ] }
+        { 4drop [ drop drop drop drop ] }
         { pop* [ pop drop ] }
         { when [ [ ] if ] }
         { spin [ swap rot ] }