;; -*-theme-*-

;; Copyright (C) 2015  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:
;;   #t
;;   #f
;;   #f
;;   #f
;;   #t


(define-proper-program (tests test575)


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


  (define-simple-proc my-proc1 (((i1 (:maybe <integer>)) (i2 <integer>))
				<boolean>
				pure)
    (equal? i1 i2))

  (define-simple-proc my-proc2 (((i1 (:maybe <integer>)))
				<boolean>
				pure)
    (equal? i1 null))

  (define-simple-proc main (() <none> nonpure)
    (console-display-line (my-proc1 1 1))
    (console-display-line (my-proc1 1 2))
    (console-display-line (my-proc1 null 1))
    (console-display-line (my-proc2 1))
    (console-display-line (my-proc2 null))))
