From 58ae983e0dc2e3a9fe7a0fd29c3342289812d3f8 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Mon, 5 Dec 2022 14:57:54 +0200 Subject: Add -O2 to ghc-options --- stdlib/common.milch | 8 -------- 1 file changed, 8 deletions(-) (limited to 'stdlib/common.milch') diff --git a/stdlib/common.milch b/stdlib/common.milch index 4d5b132..b04cf37 100644 --- a/stdlib/common.milch +++ b/stdlib/common.milch @@ -46,14 +46,6 @@ false (filter pred (tail lst)))))) -(let! fibo (\[n] - (let! lazy fibo-1 (fibo (- n 1))) - (let! lazy fibo-2 (fibo (- n 2))) - (match n - 0 0 - 1 1 - _ (+ fibo-1 fibo-2)))) - (let! reverse_ (\[v a] (let! lazy x (head v)) (let! lazy xs (tail v)) -- cgit v1.3