1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
;; -*-theme-d-*-
;; Copyright (C) 2008-2013 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 test429)
(import (standard-library core)
(standard-library console-io))
(define-param-proc my-map-car (%arglist)
(((l (type-loop %type %arglist (:uniform-list %type))))
%arglist
pure)
(cast %arglist
(if (null? l)
null
(cons (param-proc-cond-appl gen-car (<object> <object>)
(param-proc-cond-appl
gen-car
(<null> <null>) l))
(param-proc-cond-appl
my-map-car
((:tuple <null>))
(param-proc-cond-appl gen-cdr (<null> <null>) l))))))
(define main
(lambda (() <none> nonpure)
(let ((l '((1 2) (3 4) (5 6))))
(console-display-line
(my-map-car l))))))
|
