mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-11-07 15:36:20 -05:00
ui: Cut off search early if any regexp does not match.
* guix/ui.scm (relevance): When one of the regexps does not match, cut off early and return 0. Do not try to match the remaining regexps.
This commit is contained in:
parent
cf48f0fc4c
commit
e70a884706
1 changed files with 11 additions and 5 deletions
16
guix/ui.scm
16
guix/ui.scm
|
@ -14,6 +14,7 @@
|
|||
;;; Copyright © 2019 Chris Marusich <cmmarusich@gmail.com>
|
||||
;;; Copyright © 2019 Tobias Geerinckx-Rice <me@tobias.gr>
|
||||
;;; Copyright © 2019 Simon Tournier <zimon.toutoune@gmail.com>
|
||||
;;; Copyright © 2020 Arun Isaac <arunisaac@systemreboot.net>
|
||||
;;;
|
||||
;;; This file is part of GNU Guix.
|
||||
;;;
|
||||
|
@ -1520,11 +1521,16 @@ (define (regexp->score regexp)
|
|||
(+ relevance (* weight (apply + (map score-regexp lst)))))))))
|
||||
0 metrics)))
|
||||
|
||||
(let ((scores (map regexp->score regexps)))
|
||||
;; Return zero if one of REGEXPS doesn't match.
|
||||
(if (any zero? scores)
|
||||
0
|
||||
(reduce + 0 scores))))
|
||||
(let loop ((regexps regexps)
|
||||
(total-score 0))
|
||||
(match regexps
|
||||
((head . tail)
|
||||
(let ((score (regexp->score head)))
|
||||
;; Return zero if one of PATTERNS doesn't match.
|
||||
(if (zero? score)
|
||||
0
|
||||
(loop tail (+ total-score score)))))
|
||||
(() total-score))))
|
||||
|
||||
(define %package-metrics
|
||||
;; Metrics used to compute the "relevance score" of a package against a set
|
||||
|
|
Loading…
Reference in a new issue