Skip to content

Commit

Permalink
Merge pull request #1312 from gmpl/patch-1
Browse files Browse the repository at this point in the history
Remove unused function.
  • Loading branch information
dsyme authored Jul 3, 2016
2 parents 1ce06f8 + af5e7b0 commit a4c3d40
Showing 1 changed file with 0 additions and 5 deletions.
5 changes: 0 additions & 5 deletions src/fsharp/ConstraintSolver.fs
Original file line number Diff line number Diff line change
Expand Up @@ -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 =
Expand Down

0 comments on commit a4c3d40

Please sign in to comment.