-[Gustavo Leon](https://github.com/gmpl)

-[Steffen Forkmann](https://github.com/forki)

-[Libo Zeng](https://github.com/liboz)

-[Rikki Gibson](https://github.com/RikkiGibson)

**SRTP Improvements**

* Separate color themes for light and dark mode -[Jakub Majocha](https://github.com/majocha)

* Semantic highlighting -[Vasily Kirichenko](https://github.com/vasily-kirichenko) and[Jared Hester](github.com/cloudroutine)

* ReSharper-like ordering in Completion lists -[Vasily Kirichenko](https://github.com/vasily-kirichenko)

* Collapse to Definition -[Vasily Kirichenko](https://github.com/vasily-kirichenko)

* Support for Editor Settings -[Jakub Majocha](https://github.com/majocha)

* Localized Go to Definition Status Bar -[Saul Rennison](https://github.com/saul)

* R#-like completion for items in unopened namespaces -[Vasily Kirichenko](https://github.com/vasily-kirichenko)

* Wrap XML docs -[Jakub Majocha](https://github.com/majocha)

**Project System**

* Add open Statement Analyzer and Codefix -[Vasily Kirichenko](https://github.com/vasily-kirichenko)

* Simplify Name Analyzer and Codefix -[Vasily Kirichenko](https://github.com/vasily-kirichenko)

* Gray Out Unused Values -[Vasily Kirichenko](https://github.com/vasily-kirichenko)

* Unused Declarations Analyzer and Codefix -[Vasily Kirichenko](https://github.com/vasily-kirichenko)

* Add reference to\<assembly\> analyzer and codefix -[Saul Rennison](https://github.com/saul)

*[Zp Babbi](https://github.com/zpbappi)

*[Gauthier Segay](https://github.com/smoothdeveloper)

*[Jared Hester](github.com/cloudroutine)

*[Cameron Taggert](https://github.com/ctaggart)

*[Cameron Taggert](https://github.com/ctaggart)

os.Append(ConstraintSolverMissingConstraintE().Format(NicePrint.stringOfTyparConstraint denv(tpr,tpc)))|> ignore

if m.StartLine<> m2.StartLinethen

os.Append(SeeAlsoE().Format(stringOfRange m))|> ignore

| ConstraintSolverTypesNotInEqualityRelation(denv,(TType_measure_as t1),(TType_measure_as t2),m,m2,contextInfo)->

| ConstraintSolverTypesNotInEqualityRelation(denv,(TType_measure_as t1),(TType_measure_as t2),m,m2,_)->

lett1,t2,_cxs= NicePrint.minimalStringsOfTwoTypes denv t1 t2

match contextInfowith

| ContextInfo.OmittedElseBranch rangewhen range= m-> os.Append(FSComp.SR.missingElseBranch(t2))|> ignore

| ContextInfo.ElseBranchResult rangewhen range= m-> os.Append(FSComp.SR.elseBranchHasWrongType(t1,t2))|> ignore

|_-> os.Append(ConstraintSolverTypesNotInEqualityRelation1E().Format t1 t2)|> ignore

os.Append(ConstraintSolverTypesNotInEqualityRelation1E().Format t1 t2)|> ignore

if m.StartLine<> m2.StartLinethen

os.Append(SeeAlsoE().Format(stringOfRange m))|> ignore

lett1,t2,_cxs= NicePrint.minimalStringsOfTwoTypes denv t1 t2

match contextInfowith

| ContextInfo.IfExpression rangewhen range= m-> os.Append(FSComp.SR.ifExpression(t1,t2))|> ignore

| ContextInfo.CollectionElement(isArray,range)when range= m->

if isArraythen

os.Append(FSComp.SR.arrayElementHasWrongType(t1,t2))|> ignore

os.Append(FSComp.SR.listElementHasWrongType(t1,t2))|> ignore

| ContextInfo.OmittedElseBranch rangewhen range= m-> os.Append(FSComp.SR.missingElseBranch(t2))|> ignore

| ContextInfo.ElseBranchResult rangewhen range= m-> os.Append(FSComp.SR.elseBranchHasWrongType(t1,t2))|> ignore

|_-> os.Append(ConstraintSolverTypesNotInEqualityRelation2E().Format t1 t2)|> ignore

&& typeEquiv g t2 t2'->

lett1,t2,tpcs= NicePrint.minimalStringsOfTwoTypes denv t1 t2

match contextInfowith

| ContextInfo.IfExpression rangewhen range= m-> os.Append(FSComp.SR.ifExpression(t1,t2))|> ignore

| ContextInfo.CollectionElement(isArray,range)when range= m->

if isArraythen

os.Append(FSComp.SR.arrayElementHasWrongType(t1,t2))|> ignore

os.Append(FSComp.SR.listElementHasWrongType(t1,t2))|> ignore

| ContextInfo.OmittedElseBranch rangewhen range= m-> os.Append(FSComp.SR.missingElseBranch(t2))|> ignore

| ContextInfo.ElseBranchResult rangewhen range= m-> os.Append(FSComp.SR.elseBranchHasWrongType(t1,t2))|> ignore

| ContextInfo.TupleInRecordFields->

| NoContext

| IfExpressionofrange

| OmittedElseBranchofrange

| RecordFields

| TupleInRecordFields

| CollectionElementofbool*range

| ReturnInComputationExpression

| NoContext

| IfExpressionofrange

| OmittedElseBranchofrange

| RecordFields

| TupleInRecordFields

| CollectionElementofbool*range

| ReturnInComputationExpression

undefinedNamePatternDiscriminator,"The pattern discriminator '%s' is not defined."

replaceWithSuggestion,"Replace with '%s'"

addIndexerDot,"Add . for indexer access."

listElementHasWrongType,"All elements of a list constructor expression must have the same type. This expression was expected to have type '%s', but here has type '%s'."

arrayElementHasWrongType,"All elements of an array constructor expression must have the same type. This expression was expected to have type '%s', but here has type '%s'."

missingElseBranch,"The 'if' expression is missing an 'else' branch. The 'then' branch has type '%s'. Because 'if' is an expression, and not a statement, add an 'else' branch which returns a value of the same type."

elseBranchHasWrongType,"All branches of an 'if' expression must return the same type. This expression was expected to have type '%s' but here has type '%s'."

ifExpression,"The 'if' expression needs to have type '%s' to satisfy context type requirements. It currently has type '%s'."

elseBranchHasWrongType,"All branches of an 'if' expression must return the same type. This expression was expected to have type '%s', but here has type '%s'."

commaInsteadOfSemicolonInRecord,"A ';' is used to separate field values in records. Consider replacing ',' with ';'."

derefInsteadOfNot,"The '!' operator is used to dereference a ref cell. Consider using 'not expr' here."

buildUnexpectedTypeArgs,"The non-generic type '%s' does not expect any type arguments, but here is given %d type argument(s)"

<FSharpCoreImplicitPackageVersion>4.2.*</FSharpCoreImplicitPackageVersion>

</PropertyGroup>

<PropertyGroupCondition=" '$(DisableImplcitSystemValueTupleReference)' != 'true'">

<PropertyGroupCondition=" '$(DisableImplicitSystemValueTupleReference)' != 'true'">

<_FrameworkNeedsValueTupleReferenceCondition=" $(TargetFramework.StartsWith(netcoreapp1.)) or $(TargetFramework.StartsWith(netstandard1.))">true</_FrameworkNeedsValueTupleReference>

<_FrameworkNeedsValueTupleReferenceCondition=" '$(TargetFramework)' == 'net40' or '$(TargetFramework)' == 'net45' or '$(TargetFramework)' == 'net46' or '$(TargetFramework)' == 'net461' or '$(TargetFramework)' == 'net462' or '$(TargetFramework)' == 'net47'">true</_FrameworkNeedsValueTupleReference>

</PropertyGroup>

<ItemGroup>

<PackageReferenceInclude="System.ValueTuple"Version="4.*"Condition=" '$(DisableImplcitSystemValueTupleReference)' != 'true' and '$(_FrameworkNeedsValueTupleReference)' == 'true'"></PackageReference>

<PackageReferenceInclude="FSharp.Core"Version="$(FSharpCoreImplicitPackageVersion)"Condition=" '$(DisableImplcitSystemValueTupleReference)' != 'true'"></PackageReference>

<PackageReferenceInclude="System.ValueTuple"Version="4.*"Condition=" '$(DisableImplicitSystemValueTupleReference)' != 'true' and '$(_FrameworkNeedsValueTupleReference)' == 'true'"></PackageReference>

<PackageReferenceInclude="FSharp.Core"Version="$(FSharpCoreImplicitPackageVersion)"Condition=" '$(DisableImplicitFSharpCoreReference)' != 'true'"></PackageReference>

</ItemGroup>

</Project>

// Always allow subsumption if a nominal type is known prior to type checking any arguments

let flex = not (isTyparTy cenv.g argty)

let args',tpenv = List.mapFold (TcExprFlex cenv flex argty env) tpenv args

let first = ref true

let getInitEnv m =

if !first then

first := false

env

else

{ env with eContextInfo = ContextInfo.CollectionElement (isArray,m) }

let args',tpenv = List.mapFold (fun tpenv (x:SynExpr) -> TcExprFlex cenv flex argty (getInitEnv x.Range) tpenv x) tpenv args

let expr =

if isArray then Expr.Op(TOp.Array, [argty],args',m)

| SynExpr.IfThenElse (e1,e2,e3opt,spIfToThen,isRecovery,mIfToThen,m) ->

let e1',tpenv = TcExprThatCantBeCtorBody cenv cenv.g.bool_ty env tpenv e1

let e2',tpenv =

let env =

match env.eContextInfo with

| ContextInfo.ElseBranchResult _ -> { env with eContextInfo = ContextInfo.ElseBranchResult e2.Range }

| _ ->

match e3opt with

| None -> { env with eContextInfo = ContextInfo.OmittedElseBranch e2.Range }

| _ -> { env with eContextInfo = ContextInfo.IfExpression e2.Range }

if not isRecovery && Option.isNone e3opt then

let env = { env with eContextInfo = ContextInfo.OmittedElseBranch e2.Range}

UnifyTypes cenv env m cenv.g.unit_ty overallTy

let e3',sp2,tpenv =

match e3opt with

| None ->

let env = { env with eContextInfo = ContextInfo.ElseBranchResult e3.Range }

let e3',tpenv = TcExprThatCanBeCtorBody cenv overallTy env tpenv e3

e3',SequencePointAtTarget,tpenv

primMkCond spIfToThen SequencePointAtTarget sp2 m overallTy e1' e2' e3', tpenv

// This is for internal use in the libraries only

but here has type

'int'

neg20.fs(60,26,60,33): typecheck error FS0001: This expression was expectedto have type

'B'

but here has type

'A'

neg20.fs(60,26,60,33): typecheck error FS0001: All elements of a list constructor expression must have the same type. This expression was expectedto have type 'B', but here has type 'A'.

neg20.fs(61,27,61,35): typecheck error FS0001: This expression was expectedto have type

'B1'

but here has type

'B2'

neg20.fs(61,27,61,35): typecheck error FS0001: All elements of a list constructor expression must have the same type. This expression was expectedto have type 'B1', but here has type 'B2'.

neg20.fs(62,26,62,33): typecheck error FS0001: This expression was expectedto have type

'C'

but here has type

'B'

neg20.fs(62,26,62,33): typecheck error FS0001: All elements of a list constructor expression must have the same type. This expression was expectedto have type 'C', but here has type 'B'.

neg20.fs(66,25,66,32): typecheck error FS0001: This expression was expectedto have type

'A'

but here has type

'B'

neg20.fs(66,25,66,32): typecheck error FS0001: All elements of a list constructor expression must have the same type. This expression was expectedto have type 'A', but here has type 'B'.

neg20.fs(67,27,67,34): typecheck error FS0001: This expression was expectedto have type

'B'

but here has type

'C'

neg20.fs(67,27,67,34): typecheck error FS0001: All elements of a list constructor expression must have the same type. This expression was expectedto have type 'B', but here has type 'C'.

neg20.fs(70,31,70,38): typecheck error FS0001: This expression was expectedto have type

'B'

but here has type

'C'

neg20.fs(70,31,70,38): typecheck error FS0001: All elements of a list constructor expression must have the same type. This expression was expectedto have type 'B', but here has type 'C'.

neg20.fs(71,34,71,42): typecheck error FS0001: Type mismatch. Expecting a

'A list'

'B list'

The type 'A' doesnot match the type 'B'

neg20.fs(83,47,83,54): typecheck error FS0001: All branches of an 'if' expression mustreturn the same type. This expression was expectedto have type 'B' but here has type 'C'.

neg20.fs(83,47,83,54): typecheck error FS0001: All branches of an 'if' expression mustreturn the same type. This expression was expectedto have type 'B', but here has type 'C'.

neg20.fs(87,54,87,61): typecheck error FS0001: This expression was expectedto have type

'B'

but here has type

'B'

neg20.fs(99,26,99,33): typecheck error FS0001: This expression was expectedto have type

'B'

but here has type

'A'

neg20.fs(99,26,99,33): typecheck error FS0001: All elements of a list constructor expression must have the same type. This expression was expectedto have type 'B', but here has type 'A'.

neg20.fs(108,12,108,16): typecheck error FS0001: Type mismatch. Expecting a

'B* B-> 'a'

'float<s ^4>'

The unit of measure 's ^3' doesnot match the unit of measure 's ^4'

neg21.fs(19,59,19,67): typecheck error FS0001: Type mismatch. Expecting a

'area'

but given a

'float<m ^3>'

The unit of measure 'sqrm' doesnot match the unit of measure 'm ^3'

neg21.fs(19,59,19,67): typecheck error FS0001: The unit of measure 'sqrm' doesnot match the unit of measure 'm ^3'

neg21.fs(20,36,20,44): typecheck error FS0001: Type mismatch. Expecting a

'area'

but given a

'float<m ^3>'

The unit of measure 'sqrm' doesnot match the unit of measure 'm ^3'

neg21.fs(20,36,20,44): typecheck error FS0001: The unit of measure 'sqrm' doesnot match the unit of measure 'm ^3'

neg21.fs(21,53,21,59): typecheck error FS0001: Type mismatch. Expecting a

'float<s ^2>'

but given a

'float<m>'

The unit of measure 's ^2' doesnot match the unit of measure 'm'

neg21.fs(21,53,21,59): typecheck error FS0001: The unit of measure 's ^2' doesnot match the unit of measure 'm'

neg21.fs(22,17,22,21): typecheck error FS0001: The unit of measure 's ^4' doesnot match the unit of measure 'sqrm'

if x=2then"A"

exit0