Fix FTBFS on i686-linux due to rounding issue (see references). Fixes Guix bug #22049 (see below). Copied from Debian. Source: https://sources.debian.net/src/ilmbase/2.2.0-11/debian/patches/testBoxAlgo.patch/ https://sources.debian.net/src/ilmbase/2.2.0-11/debian/patches/testBox.patch/ References: https://lists.nongnu.org/archive/html/openexr-devel/2015-12/msg00001.html https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22049 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815712 https://anonscm.debian.org/cgit/pkg-phototools/ilmbase.git/commit/?id=ab28bb45cdad8adc32e345b777ab8e692b1d9a9c --- Subject: testBoxAlgo: allow fuzzy match of b12 == b2 From: Steven Chamberlain Date: Wed, 24 Feb 2016 01:04:11 +0000 Also fix a pre-existing typo. --- a/IlmBase/ImathTest/testBoxAlgo.cpp +++ b/IlmBase/ImathTest/testBoxAlgo.cpp @@ -886,10 +886,11 @@ boxMatrixTransform () assert (approximatelyEqual (b2.min, b4.min, e)); assert (approximatelyEqual (b2.max, b4.max, e)); - assert (approximatelyEqual (b3.max, b4.max, e)); + assert (approximatelyEqual (b3.min, b4.min, e)); assert (approximatelyEqual (b3.max, b4.max, e)); - assert (b21 == b2); + assert (approximatelyEqual (b2.min, b21.min, e)); + assert (approximatelyEqual (b2.max, b21.max, e)); assert (b31 == b3); M[0][3] = 1; --- Subject: testBox: allow fuzzy comparison of floats, doubles From: Steven Chamberlain Date: Wed, 24 Feb 2016 01:10:11 +0000 Allow for inexact values, as long as the error is smaller than the epsilon of the data type. On 32-bit x86, allow even greater discrepency at double precision, due to possible double-rounding. See https://lists.nongnu.org/archive/html/openexr-devel/2015-12/msg00001.html --- a/IlmBase/ImathTest/testBox.cpp +++ b/IlmBase/ImathTest/testBox.cpp @@ -47,6 +47,58 @@ using namespace IMATH_INTERNAL_NAMESPACE namespace { +template +bool +approximatelyEqual (const T &p1, const T &p2) +{ + /* int and short should be exact */ + return (p1 == p2); +} + +bool +approximatelyEqual (const Vec2 &p1, const Vec2 &p2) +{ + float e = limits::epsilon(); + float m = 0; + + for (int i = 0; i < 2; ++i) + { + m = max (m, abs (p1[i])); + m = max (m, abs (p2[i])); + } + + for (int i = 0; i < 2; ++i) + if (!equalWithAbsError (p1[i], p2[i], m * e)) + return false; + + return true; +} + +bool +approximatelyEqual (const Vec2 &p1, const Vec2 &p2) +{ +#if defined(__i386__) || defined(_M_IX86) + /* double-rounding on 32-bit x86 may cause larger error: + use epsilon of float rather than double */ + double e = limits::epsilon(); +#else + double e = limits::epsilon(); +#endif + double m = 0; + + for (int i = 0; i < 2; ++i) + { + m = max (m, abs (p1[i])); + m = max (m, abs (p2[i])); + } + + for (int i = 0; i < 2; ++i) + if (!equalWithAbsError (p1[i], p2[i], m * e)) + return false; + + return true; +} + // // Test case generation utility - create a vector of IMATH_INTERNAL_NAMESPACE::Vec{2,3,4} // with all permutations of integers 1..T::dimensions(). @@ -250,7 +302,8 @@ testExtendByPoint(const char *type) IMATH_INTERNAL_NAMESPACE::Box b; b.extendBy(p); - assert(b.min == p && b.max == p); + assert (approximatelyEqual (b.min, p)); + assert (approximatelyEqual (b.max, p)); } // @@ -283,7 +336,8 @@ testExtendByPoint(const char *type) b.extendBy(p); - assert(b.min == min && b.max == max); + assert (approximatelyEqual (b.min, min)); + assert (approximatelyEqual (b.max, max)); } } } @@ -358,7 +412,8 @@ testExtendByBox(const char *type) } b.extendBy(IMATH_INTERNAL_NAMESPACE::Box(p0, p1)); - assert(b.min == min && b.max == max); + assert (approximatelyEqual (b.min, min)); + assert (approximatelyEqual (b.max, max)); } } } ation: Step back from *unspecified*....Fixes <https://issues.guix.gnu.org/56799>. This partially reverts 8cb1a49a3998c39f315a4199b7d4a121a6d66449. Rationale: *unspecified* cannot be serialized thus used as a G-Expression input, which is problematic/inconvenient when using deeply nested records. As an example, jami-service-type was broken when using partially defined <jami-account> records. * gnu/services/configuration.scm (define-maybe-helper): Check against the 'unset symbol. (normalize-field-type+def): Adjust value to 'unset. (define-configuration-helper): Use 'unset as the default value thunk. * gnu/services/file-sharing.scm (serialize-maybe-string): Check against the 'unset symbol. (serialize-maybe-file-object): Likewise. * gnu/services/messaging.scm (define-all-configurations): Use 'unset as value. (raw-content?): Check against 'unset symbol. (prosody-configuration)[http-max-content-size]: Default to 'unset. [http-external-url]: Likewise. [mod-muc]: Likewise. [raw-content]: Likewise. * gnu/services/networking.scm (opendht-configuration): Adjust documentation. * gnu/services/telephony.scm (jami-shepherd-services): Replace *undefined* with the 'unset symbol. * tests/services/configuration.scm ("maybe type, no default"): Check against the 'unset symbol. * doc/guix.texi: Regenerate the opendht-configuration, openvpn-client-configuration and openvpn-server-configuration documentation. Maxim Cournoyer 2022-06-15services: configuration: Use *unspecified* instead of 'disabled....Use *unspecified* as a marker for field values that have not been set. Rationale: 'disabled may easily clash with user values for boolean fields, is confusing (i.e. its meaning is *not* boolean false, but unspecified) and it also passes silently through the symbol? predicate of a field of type symbol. * gnu/services/configuration.scm (configuration-missing-default-value): Renamed from configuration-no-default-value. (define-maybe-helper): Use *unspecified* instead of 'disabled, and make the default value optional. * gnu/home/services/desktop.scm (home-redshift-configuration): Change (maybe-xyz 'disabled) to maybe-xyz. * gnu/services/authentication.scm (nslcd-configuration): Likewise. * gnu/services/cgit.scm (repository-cgit-configuration): Likewise. * gnu/services/file-sharing.scm (serialize-maybe-string) (serialize-maybe-file-object): Use 'unspecified?' instead of (eq? val 'disabled). * gnu/services/messaging.scm (raw-content?): Likewise. (ssl-configuration): Change (maybe-xyz 'disabled) to maybe-xyz. (prosody-configuration): Likewise. * gnu/services/file-sharing.scm (transmission-daemon-configuration): Likewise. * gnu/services/messaging.scm (define-all-configurations): Use *unspecified* instead of 'disabled'. * gnu/services/networking.scm (opendht-configuration): Likewise. * gnu/services/pm.scm (tlp-configuration): Likewise. * gnu/services/telephony.scm (jami-account): Likewise. (jami-configuration): Likewise. * gnu/services/vpn.scm (openvpn-client-configuration): Likewise. * tests/services/configuration.scm ("maybe type, no default") ("maybe type, with default"): New tests. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Attila Lendvai