Merge pull request #2 from forki/tuplealloc

Fix bug in error reporting
dsyme · May 21, 2016 · 2f9a55b · 2f9a55b
2 parents 5757164 + c6be69d
commit 2f9a55b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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))