plt/racket — pull request #669 by gus-massa (2014-06-08 13:58:55+00:00)
Title: Transform not #f values to #t in Boolean contexts

During the optimization, transform not #f values to #t phase in the Boolean contexts. Also, replace the expressions with type information (predicates) with #t.