lint: add a lint for keep

diff --git a/extra/lint/lint.factor b/extra/lint/lint.factor
index e19b6dbfe5080d0841340723636738cd3e635fb4..4b42ab08384523ca7618281efd4d10afaee55922 100644 (file)
--- a/extra/lint/lint.factor
+++ b/extra/lint/lint.factor
@@ -28,6 +28,7 @@ CONSTANT: manual-substitutions
         { when [ [ ] if ] }
         { spin [ swap rot ] }
         { >boolean [ f = not ] }
+        { keep [ over [ call ] dip ] }
     }
 
 CONSTANT: trivial-defs