;; -*-theme-d-*-

;; Copyright (C) 2016 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.

;; Expected results: translation and running OK
;; Expected output:
;; ---
;; #f
;; #t
;; 3
;; #f
;; 1
;; 2
;; 10
;; 11
;; 2.0
;; ((1 2) . 1)
;; ---

(define-proper-program (tests test444)


  (import (standard-library core)
	  (standard-library console-io))


  (define-simple-proc main (() <none> nonpure)
    (console-display-line (not-object 1))
    (console-display-line (not-object #f))
    (console-display-line (and-object 1 2 3))
    (console-display-line (and-object #f 2 3))
    (console-display-line (or-object 1 2 3))
    (console-display-line (or-object #f 2 3))
    (console-display-line (if-object 1 10 11))
    (console-display-line (if-object #f 10 11))
    (console-display-line
     (cond-object 
      (#f 1)
      (1.0 2.0)
      (else #t)))
    (console-display-line
     (cond-object 
      (#f 1)
      ('(1 2) => (lambda (((x <object>)) <object> pure) (cons x 1)))
      (else #t)))))
