Re: Short circuiting behaviour in type specific equality predicates

2011-04-28 Thread Andy Wingo
On Sun 03 Apr 2011 22:43, Ian Price writes: > scheme@(guile-user)> (= 9 10 "foo") > $1 = #f [...] > I was not sure whether or not to report this, as the behaviour is VERY > consistent and therefore, I thought, likely to have been a conscious > design choice. Amusingly, I don't think it was a co

Short circuiting behaviour in type specific equality predicates

2011-04-03 Thread Ian Price
Hello, Guilers When using type specific equality predicates in guile, I've noticed that they only test the type of an argument, if it has not already decided that the answer is false. Working my way through all the predicates given by the meta command ",a =\??$" we find GNU Guile 2.0.0.147-e309f