freenode/#sbcl - IRC Chatlog
Search
19:50:09
Krystof
no-defun-allowed: could be done; the easiest place to intercede, if you're interested, is probably the source transform for comparisons in src/compiler/srctran.lisp
2:32:21
no-defun-allowed
I tried to write a simple transform doing what I was doing manually, but it messes up...something in the compiler: https://plaster.tymoon.eu/view/1993
2:39:11
pkhuong
no-defun-allowed: you don't want to splice in the arguments. X and Y are bound to compiler data structures. The result of the transform is implicitly wrapped in a (lambda (x y) ...).
3:01:56
no-defun-allowed
Okay, I added a test checking that X has to possibly be a fixnum; now it doesn't fire on its own output, and that comparison appears a bit faster now.
4:05:13
no-defun-allowed
There doesn't seem to be INTERVAL-> in SBCL; is (interval-> x y) if (and (not (interval-< x y)) (not (interval-= x y)))? I'm no good with interval arithmetic.
4:06:43
aeth
x < y, x = y, and x > y are the three possible, mutually exclusive outcomes (unless floating point breaks things, which wouldn't be surprising).