|
From: | Andrea Corallo |
Subject: | Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812) |
Date: | Tue, 02 Mar 2021 13:47:18 +0000 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> It's not working either, as far as I can tell: (lambda (x) (and > (floatp x) (= x 0) x)) always returns nil when compiled. Right, I think a better approach is to relax the inputs before intersecting them so intersection is not cutting off already constrained inputs. 8c7228e8cd for now follows this conservative approach and adds some testing for the case. Andrea
[Prev in Thread] | Current Thread | [Next in Thread] |