Slightly clarify deconstruct documentation

Signed-off-by: Anders Kaseorg <[email protected]>
andersk · Nov 9, 2021 · ebc208b · ebc208b
1 parent 5bf51f3
commit ebc208b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Data/Real/Constructible.hs b/Data/Real/Constructible.hs
@@ -261,8 +261,8 @@ constructible numbers representing @a + b*sqrt r@ (with @b /= 0@ and
 @r > 0@).  Recursively calling 'deconstruct' on all triples will yield
 a finite tree that terminates in 'Rational' leaves.
 
-Note that two constructible numbers that compare as equal may
-deconstruct in different ways.
+Note that two irrational constructible numbers that compare as equal
+may deconstruct in different ways.
 -}
 deconstruct :: Construct -> Either Rational (Construct, Construct, Construct)
 deconstruct (C k a) = deconstructK k a