From c6be69da1b54bef802c0d67a040bfd21902b63b2 Mon Sep 17 00:00:00 2001
From: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date: Sat, 21 May 2016 12:26:34 +0200
Subject: [PATCH] Fix bug in error reporting

---
 src/fsharp/MethodOverrides.fs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/fsharp/MethodOverrides.fs b/src/fsharp/MethodOverrides.fs
index 637884f2aae..cc210ade4cb 100644
--- a/src/fsharp/MethodOverrides.fs
+++ b/src/fsharp/MethodOverrides.fs
@@ -308,10 +308,10 @@ module DispatchSlotChecking =
 
                     | [ overrideBy ] -> 
                         if dispatchSlots |> List.exists (fun (RequiredSlot(dispatchSlot,_)) -> OverrideImplementsDispatchSlot g amap m dispatchSlot overrideBy) then
+                            noimpl()
+                        else
                             // Error will be reported below in CheckOverridesAreAllUsedOnce 
                             ()
-                        else
-                            noimpl()
                         
                     | _ -> 
                         fail(Error(FSComp.SR.typrelOverrideWasAmbiguous(FormatMethInfoSig g amap m denv dispatchSlot),m))