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.FollowingPatternMatchClause rangewhen range= m-> os.Append(FSComp.SR.followingPatternMatchClauseHasWrongType(t1,t2))|> ignore

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

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

if m.StartLine<> m2.StartLinethen

os.Append(SeeAlsoE().Format(stringOfRange m))|> 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.FollowingPatternMatchClause rangewhen range= m-> os.Append(FSComp.SR.followingPatternMatchClauseHasWrongType(t1,t2))|> ignore

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

| ContextInfo.TupleInRecordFields->

os.Append(ErrorFromAddingTypeEquation1E().Format t2 t1 tpcs)|> ignore

os.Append(System.Environment.NewLine+ FSComp.SR.commaInsteadOfSemicolonInRecord())|> ignore

| RuntimeTypeTestofbool

| DowncastUsedInsteadOfUpcastofbool

| FollowingPatternMatchClauseofrange

| PatternMatchGuardofrange

exception ConstraintSolverTupleDiffLengthsofDisplayEnv*TTypelist*TTypelist*range*range

exception ConstraintSolverInfiniteTypesofContextInfo*DisplayEnv*TType*TType*range*range

| RuntimeTypeTestofbool

| DowncastUsedInsteadOfUpcastofbool

| FollowingPatternMatchClauseofrange

| PatternMatchGuardofrange

exception ConstraintSolverTupleDiffLengthsofDisplayEnv*TTypelist*TTypelist*range*range

exception ConstraintSolverInfiniteTypesofContextInfo*DisplayEnv*TType*TType*range*range

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."

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'."

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

followingPatternMatchClauseHasWrongType,"All branches of a pattern match expression must have the same type. This expression was expected to have type '%s', but here has type '%s'."

patternMatchGuardIsNotBool,"A pattern match guard must be of type 'bool', but this 'when' expression is of 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)"

let m = pat.Range

let patf',(tpenv,names,_) = TcPat WarnOnUpperCase cenv env None (ValInline.Optional,permitInferTypars,noArgOrRetAttribs,false,None,false) (tpenv,Map.empty,Set.empty) inputTy pat

let envinner,values,vspecMap = MakeAndPublishSimpleVals cenv env m names false

let optWhenExpr',tpenv = Option.mapFold (TcExpr cenv cenv.g.bool_ty envinner) tpenv optWhenExpr

let optWhenExpr',tpenv =

match optWhenExpr with

| Some whenExpr ->

let guardEnv = { envinner with eContextInfo = ContextInfo.PatternMatchGuard whenExpr.Range }

let whenExpr',tpenv = TcExpr cenv cenv.g.bool_ty guardEnv tpenv whenExpr

Some whenExpr',tpenv

| None -> None,tpenv

patf' (TcPatPhase2Input (values, true)),optWhenExpr', NameMap.range vspecMap,envinner,tpenv

and TcMatchClauses cenv inputTy resultTy env tpenv clauses =

List.mapFold (TcMatchClause cenv inputTy resultTy env) tpenv clauses

let first = ref true

let isFirst() = if !first then first := false; true else false

List.mapFold (fun clause -> TcMatchClause cenv inputTy resultTy env (isFirst()) clause) tpenv clauses

and TcMatchClause cenv inputTy resultTy env tpenv (Clause(pat,optWhenExpr,e,patm,spTgt)) =

and TcMatchClause cenv inputTy resultTy envisFirsttpenv (Clause(pat,optWhenExpr,e,patm,spTgt)) =

let pat',optWhenExpr',vspecs,envinner,tpenv = TcMatchPattern cenv inputTy env tpenv (pat,optWhenExpr)

let e',tpenv = TcExprThatCanBeCtorBody cenv resultTy envinner tpenv e

let resultEnv = if isFirst then envinner else { envinner with eContextInfo = ContextInfo.FollowingPatternMatchClause e.Range }

let e',tpenv = TcExprThatCanBeCtorBody cenv resultTy resultEnv tpenv e

TClause(pat',optWhenExpr',TTarget(vspecs, e',spTgt),patm),tpenv

and TcStaticOptimizationConstraint cenv env tpenv c =

'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 musthave 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

'C'

neg20.fs(87,54,87,61): typecheck error FS0001: All branches of a pattern match expression must have the same type. This expression was expectedto have type 'B', but here has type 'C'.

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

'A'

neg80.fsx(79,5,79,6): parse error FS0010: Unexpected symbol '|' in pattern matching

neg80.fsx(79,6,79,6): typecheck error FS0001: This expression was expected to have type

'string'

but here has type

'unit'

neg80.fsx(79,6,79,6): typecheck error FS0001: All branches of a pattern match expression must have the same type. This expression was expected to have type 'string', but here has type 'unit'.

neg80.fsx(76,11,76,13): typecheck error FS0025: Incomplete pattern matches on this expression. For example, the value 'Horizontal (_, _)' may indicate a case not covered by the pattern(s).

if test>10then"test"

exit0

exit0

letf x= test

if test>10then"test"

else f10

exit0

exit0

match xwith

exit0