diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-05 14:57:54 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-05 14:57:54 +0200 |
| commit | 58ae983e0dc2e3a9fe7a0fd29c3342289812d3f8 (patch) | |
| tree | 113fb4fe90d10642155af90b30d51bb320e799d1 /stdlib | |
| parent | 4002b8988c799a904ef1f359d4267ef4ad80cba3 (diff) | |
Add -O2 to ghc-options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/common.milch | 8 |
1 files changed, 0 insertions, 8 deletions
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)) |