From 8388b7833a4306fcefb7558afe725b3489290a62 Mon Sep 17 00:00:00 2001 From: Rex Ng Date: Thu, 10 Nov 2016 09:08:06 +0800 Subject: [PATCH] Fix incorrect lint warnings for foldback --- src/FSharpLint.Core/DefaultConfiguration.FSharpLint | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/FSharpLint.Core/DefaultConfiguration.FSharpLint b/src/FSharpLint.Core/DefaultConfiguration.FSharpLint index f78f9669b..081c8cb7b 100644 --- a/src/FSharpLint.Core/DefaultConfiguration.FSharpLint +++ b/src/FSharpLint.Core/DefaultConfiguration.FSharpLint @@ -94,8 +94,8 @@ snd (x, y) ===> y List.fold f x [] ===> x Array.fold f x [||] ===> x - List.foldBack f x [] ===> x - Array.foldBack f x [||] ===> x + List.foldBack f [] x ===> x + Array.foldBack f [||] x ===> x x - 0 ===> x x * 1 ===> x x / 1 ===> x