From c45e96789607472b491fb20c69b4f8f48599708a Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Fri, 20 May 2016 13:20:00 -0400 Subject: [PATCH] add mlish/sweet-map.rkt test --- tapl/tests/mlish/sweet-map.rkt | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 tapl/tests/mlish/sweet-map.rkt diff --git a/tapl/tests/mlish/sweet-map.rkt b/tapl/tests/mlish/sweet-map.rkt new file mode 100644 index 0000000..7d6321d --- /dev/null +++ b/tapl/tests/mlish/sweet-map.rkt @@ -0,0 +1,20 @@ +#lang sweet-exp "../../mlish.rkt" + +define + sum [lst : (List Int)] → Int + match lst with + [] -> 0 + x :: xs -> + {x + sum(xs)} + +define + map [f : (→ X Y)] [lst : (List X)] → (List Y) + match lst with + [] -> nil + x :: xs -> + cons + f x + map f xs + +sum + map string->number (list "1" "2" "3")