(if test then else?) is inconsistent

Description

Issue was "fixed" by adding a comment to the documentation.
I think that's not enough, because actually points to a major inconsistency.
Just have a look at the following code:

;; I know, the definition of y is bad code, and I would
;; never write such rubish, BUT some people do (e.g. the
;; guys at MS, responsible for the sqljdbc4.jar JDBC
;; driver).
(def y (Boolean. false))

(if (= false y)
(println "that's ok"))

(if y
(println "that's inconsistent, because y is " y
" and we proved it with the above if statement"))

Environment

MacOS X 10.10.2

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Affects versions

Priority

Major
Configure