Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, H

Specification

?
\[\begin{array}{l} \\ x \cdot \left(1 - y\right) \end{array} \]
(FPCore (x y) :precision binary64 (* x (- 1.0 y)))
double code(double x, double y) {
	return x * (1.0 - y);
}
real(8) function code(x, y)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    code = x * (1.0d0 - y)
end function
public static double code(double x, double y) {
	return x * (1.0 - y);
}
def code(x, y):
	return x * (1.0 - y)
function code(x, y)
	return Float64(x * Float64(1.0 - y))
end
function tmp = code(x, y)
	tmp = x * (1.0 - y);
end
code[x_, y_] := N[(x * N[(1.0 - y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}

\\
x \cdot \left(1 - y\right)
\end{array}

Reproduce

?
herbie shell --seed 2024277 
(FPCore (x y)
  :name "Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, H"
  :precision binary64
  (* x (- 1.0 y)))

Please file a bug report with this information.

Backtrace

match: no matching clause for 'yLC
fn->ival-fn/home/nightlies/.local/share/racket/8.10/pkgs/rival/eval/compile.rkt170
rival-compile/home/nightlies/.local/share/racket/8.10/pkgs/rival/eval/compile.rkt2530
(unnamed)/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt48618
f115.../match/compiler.rkt55940
compute-true-error/home/nightlies/herbie/zane-concrete-values/src/core/localize.rkt1310
compute-local-errors/home/nightlies/herbie/zane-concrete-values/src/core/localize.rkt2160
actual-errors/home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt350
generate-timelines/home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt4980
explain!/home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt3230
run-improve!/home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt450
get-alternatives/report/home/nightlies/herbie/zane-concrete-values/src/api/sandbox.rkt1860
(unnamed)/home/nightlies/herbie/zane-concrete-values/src/api/sandbox.rkt2826
(unnamed)/usr/share/racket/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/share/racket/pkgs/profile-lib/main.rkt90
(unnamed)/usr/share/racket/collects/racket/engine.rkt4224