@@ -159,8 +159,8 @@ type SyntaxVisitor() =
159159 SynExpr.TryFinally
160160 ( this.VisitSynExpr tryExpr, this.VisitSynExpr finallyExpr, range, trySeqPoint, withSeqPoint, trivia)
161161 | SynExpr.Lazy( ex, range) -> SynExpr.Lazy( this.VisitSynExpr ex, range)
162- | SynExpr.Sequential( seqPoint, isTrueSeq, expr1, expr2, range) ->
163- SynExpr.Sequential( seqPoint, isTrueSeq, this.VisitSynExpr expr1, this.VisitSynExpr expr2, range)
162+ | SynExpr.Sequential( seqPoint, isTrueSeq, expr1, expr2, range, trivia ) ->
163+ SynExpr.Sequential( seqPoint, isTrueSeq, this.VisitSynExpr expr1, this.VisitSynExpr expr2, range, trivia )
164164 | SynExpr.SequentialOrImplicitYield( seqPoint, expr1, expr2, ifNotStmt, range) ->
165165 SynExpr.SequentialOrImplicitYield
166166 ( seqPoint, this.VisitSynExpr expr1, this.VisitSynExpr expr2, this.VisitSynExpr ifNotStmt, range)
@@ -328,7 +328,7 @@ type SyntaxVisitor() =
328328 | SynMemberDefn.ImplicitCtor( access, attrs, ctorArgs, selfIdentifier, doc, range, trivia) ->
329329 SynMemberDefn.ImplicitCtor
330330 ( Option.map this.VisitSynAccess access, attrs |> List.map this.VisitSynAttributeList,
331- this.VisitSynSimplePats ctorArgs, Option.map this.VisitIdent selfIdentifier, this.VisitPreXmlDoc( doc), range, trivia)
331+ this.VisitSynPat ctorArgs, Option.map this.VisitIdent selfIdentifier, this.VisitPreXmlDoc( doc), range, trivia)
332332 | SynMemberDefn.ImplicitInherit( inheritType, inheritArgs, inheritAlias, range) ->
333333 SynMemberDefn.ImplicitInherit
334334 ( this.VisitSynType inheritType, this.VisitSynExpr inheritArgs, Option.map this.VisitIdent inheritAlias,
@@ -348,7 +348,7 @@ type SyntaxVisitor() =
348348 | SynMemberDefn.AutoProperty( attrs, isStatic, ident, typeOpt, propKind, flags, flagsForSet, doc, access, synExpr, range, trivia) ->
349349 SynMemberDefn.AutoProperty
350350 ( attrs |> List.map this.VisitSynAttributeList, isStatic, this.VisitIdent ident,
351- Option.map this.VisitSynType typeOpt, propKind, flags, flagsForSet, this.VisitPreXmlDoc( doc), Option.map this.VisitSynAccess access,
351+ Option.map this.VisitSynType typeOpt, propKind, flags, flagsForSet, this.VisitPreXmlDoc( doc), this.VisitSynValSigAccess access,
352352 this.VisitSynExpr synExpr, range, trivia)
353353
354354 abstract VisitSynSimplePat: SynSimplePat -> SynSimplePat
@@ -384,8 +384,8 @@ type SyntaxVisitor() =
384384
385385 default this.VisitSynValData ( svd : SynValData ): SynValData =
386386 match svd with
387- | SynValData( flags, svi, ident, transformedFromProperty ) ->
388- SynValData( flags, this.VisitSynValInfo svi, Option.map this.VisitIdent ident, Option.map this.VisitIdent transformedFromProperty )
387+ | SynValData( flags, svi, ident) ->
388+ SynValData( flags, this.VisitSynValInfo svi, Option.map this.VisitIdent ident)
389389
390390 abstract VisitSynValSig: SynValSig -> SynValSig
391391
@@ -395,7 +395,7 @@ type SyntaxVisitor() =
395395 SynValSig
396396 ( attrs |> List.map this.VisitSynAttributeList, this.VisitSynIdent ident,
397397 this.VisitSynValTyparDecls explicitValDecls, this.VisitSynType synType, this.VisitSynValInfo arity,
398- isInline, isMutable, this.VisitPreXmlDoc( doc), Option.map this.VisitSynAccess access, Option.map this.VisitSynExpr expr,
398+ isInline, isMutable, this.VisitPreXmlDoc( doc), this.VisitSynValSigAccess access, Option.map this.VisitSynExpr expr,
399399 range, trivia)
400400
401401 abstract VisitSynValTyparDecls: SynValTyparDecls -> SynValTyparDecls
@@ -632,6 +632,8 @@ type SyntaxVisitor() =
632632 SynType.SignatureParameter( List.map this.VisitSynAttributeList synAttributeLists, optional, Option.map this.VisitIdent identOption, this.VisitSynType usedType, range)
633633 | SynType.FromParseError range -> SynType.FromParseError range
634634 | SynType.Intersection( typar, types, range, trivia) -> SynType.Intersection( Option.map this.VisitSynTypar typar, types |> List.map this.VisitSynType, range, trivia)
635+ | SynType.StaticConstantNull range -> SynType.StaticConstantNull range
636+ | SynType.WithNull( innerType, ambivalent, range, trivia) -> SynType.WithNull( this.VisitSynType( innerType), ambivalent, range, trivia)
635637
636638 abstract VisitSynTypeOrTrivia: SynTypeOrTrivia -> SynTypeOrTrivia
637639 default this.VisitSynTypeOrTrivia ( synTypeOrTrivia : SynTypeOrTrivia ): SynTypeOrTrivia = synTypeOrTrivia
@@ -664,6 +666,10 @@ type SyntaxVisitor() =
664666 abstract VisitSynAccess: SynAccess -> SynAccess
665667
666668 default this.VisitSynAccess ( a : SynAccess ): SynAccess = a
669+
670+ abstract VisitSynValSigAccess: SynValSigAccess -> SynValSigAccess
671+
672+ default this.VisitSynValSigAccess ( a : SynValSigAccess ): SynValSigAccess = a
667673
668674 abstract VisitSynBindingKind: SynBindingKind -> SynBindingKind
669675
0 commit comments