]> gitweb.factorcode.org Git - factor.git/commitdiff
help.lint.checks: you can't have duplicate names in $values anymore
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 18 Feb 2010 23:32:03 +0000 (12:32 +1300)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 18 Feb 2010 23:32:03 +0000 (12:32 +1300)
basis/help/lint/checks/checks.factor

index 340f9b16d3c1255f5c6c4abe03c81c59b895ccbc..632cdb46e258adb113b098572a161b03fee0a366 100644 (file)
@@ -33,7 +33,7 @@ SYMBOL: vocab-articles
 
 : extract-values ( element -- seq )
     \ $values swap elements dup empty? [
-        first rest [ first ] map prune
+        first rest [ first ] map
     ] unless ;
 
 : effect-values ( word -- seq )