From 212451d7bd982dd5e6a231014ccc1c89d97fd9c8 Mon Sep 17 00:00:00 2001
From: Herbert Valerio Riedel <hvr@gnu.org>
Date: Tue, 11 Dec 2018 15:12:55 +0100
Subject: [PATCH] Tweak source-code commment to avoid offending `-haddock`

Fixes #11
---
 CrossCodegen.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/CrossCodegen.hs b/CrossCodegen.hs
index 93f1e18..06c3911 100644
--- a/CrossCodegen.hs
+++ b/CrossCodegen.hs
@@ -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
-- 
GitLab