;; -*-theme-d-*-

;; 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


(define-proper-program (tests test315)

  (import (standard-library core)
	  (standard-library list-utilities)
	  (standard-library text-file-io)
	  (standard-library console-io))

  (define my-read-all
    (lambda (((ip <input-port>)) <object> nonpure)
      (letrec ((loop
		(:procedure (<list> <object>) <list> nonpure)
		(lambda (((lst-res <list>) (obj-val <object>))
			 <list> nonpure)
		  (if (eof? obj-val)
		      lst-res
		      (loop (append lst-res
				    (list obj-val))
			    (read ip))))))
	(loop null (read ip)))))

  (define-simple-proc main (() <none> nonpure)
    (let* ((ip (open-input-file "../theme-d-code/tests/aux-test229-data.txt"))
	   (lst (my-read-all ip)))
      (console-display-line lst))))
