File: module1.thb

package info (click to toggle)
theme-d 7.2.4-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 21,036 kB
  • sloc: lisp: 9,625; sh: 5,321; makefile: 715; ansic: 477
file content (15 lines) | stat: -rw-r--r-- 409 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 

(define-body (package-tests module1)

  (define-param-method filter (%type)
		       (((pred (:procedure (%type) <boolean> pure))
			 (l (:uniform-list %type)))
			(:uniform-list %type)
			pure)
    (match-type l
      ((<null>) null)
      ((l1 (:nonempty-uniform-list %type))
       (let ((x-head (car l1)))
	 (if (pred x-head)
	     (cons x-head (filter pred (cdr l1)))
	     (filter pred (cdr l1))))))))