Commit 212451d7 authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺

Tweak source-code commment to avoid offending `-haddock`

Fixes #11
parent 56eb1a9b
......@@ -401,9 +401,9 @@ binarySearch z nonNegative l u = do
mid = (l+u+1) `div` 2
inTopHalf <- compareConst z (GreaterOrEqual $ (if nonNegative then Unsigned else Signed) mid)
let (l',u') = if inTopHalf then (mid,u) else (l,(mid-1))
assert (l < mid && mid <= u && -- l < mid <= u
l <= l' && l' <= u' && u' <= u && -- l <= l' <= u' <= u
u'-l' < u-l) -- |u' - l'| < |u - l|
assert (l < mid && mid <= u && -- @l < mid <= u@
l <= l' && l' <= u' && u' <= u && -- @l <= l' <= u' <= u@
u'-l' < u-l) -- @|u' - l'| < |u - l|@
(binarySearch z nonNegative l' u')
-- Establishes bounds on the unknown integer. By searching increasingly
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment