14 lines
210 B
Racket
14 lines
210 B
Racket
#lang typed/racket/base
|
|
|
|
;; Test for PR 13870
|
|
|
|
(require racket/match)
|
|
|
|
(: sum ((Listof Integer) -> Integer))
|
|
(define (sum l)
|
|
(match l
|
|
[(list) 0]
|
|
[(list x xs ...) (+ x (sum xs))]))
|
|
|
|
(sum (list 1 2 3))
|