From af5e7b068a5e4d5bc013eb0bffa19af2bac1a5fd Mon Sep 17 00:00:00 2001 From: Gusty Date: Sat, 2 Jul 2016 18:58:48 +0200 Subject: [PATCH] Remove unused function. This function is not called anywhere in the code. --- src/fsharp/ConstraintSolver.fs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/fsharp/ConstraintSolver.fs b/src/fsharp/ConstraintSolver.fs index c34e18d20cd..8f479eef272 100644 --- a/src/fsharp/ConstraintSolver.fs +++ b/src/fsharp/ConstraintSolver.fs @@ -1922,11 +1922,6 @@ and CanMemberSigsMatchUpToCheck //------------------------------------------------------------------------- -and private DefinitelyEquiv (csenv:ConstraintSolverEnv) isConstraint calledArg (CallerArg(callerArgTy,m,_,_) as callerArg) = - let calledArgTy = AdjustCalledArgType csenv.InfoReader isConstraint calledArg callerArg - if not (typeEquiv csenv.g calledArgTy callerArgTy) then ErrorD(Error(FSComp.SR.csArgumentTypesDoNotMatch(),m)) else - CompleteD - // Assert a subtype constraint, and wrap an ErrorsFromAddingSubsumptionConstraint error around any failure // to allow us to report the outer types involved in the constraint and private SolveTypSubsumesTypWithReport (csenv:ConstraintSolverEnv) ndeep m trace ty1 ty2 =