1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
;; Copyright (C) 2018 Tommi Höynälänmaa
;; Expected results: translation and running OK
(define-proper-program (tests test612)
(import (standard-library core)
(standard-library list-utilities)
(standard-library console-io))
(define <integer-list> (:uniform-list <integer>))
(define-simple-proc myproc (((l (:uniform-list <integer-list>)))
<integer-list> pure)
(apply append l))
(define-main-proc (() <none> nonpure)
(console-display-line (myproc (list '(1 2 3 4 5) '(10 11))))))
|
