anchor.diff:                  | Some(x) -> x |> List.collect getXmlDocablesSynMemberDefn
               | SynMemberDefn.Inherit(_synType, _identOption, _range) -> []
               | SynMemberDefn.ValField(_synField, _range) -> []
  -            | SynMemberDefn.NestedType(synTypeDefn, _synAccessOption, _range) -> getXmlDocablesSynTypeDefn synTypeDefn
  -            | _ -> failwith "error"
  +            | SynMemberDefn.NestedType(synTypeDefn, _, _range) -> getXmlDocablesSynTypeDefn synTypeDefn
  +            | SynMemberDefn.AutoProperty(synAttributes,_,_,_,_,_,_,_,_,_, range) -> 
  +                let fullRange = synAttributes |> List.fold (fun r a -> unionRanges r a.Range) range
  +                let line = fullRange.StartLine 
  +                let indent = indentOf line
  +                [XmlDocable(line, indent, [])]
   
           and getXmlDocablesInput input =
               match input with
  
positive.code:             | SynMemberDefn.ImplicitCtor(_synAccessOption, _synAttributes, _synSimplePatList, _identOption, _range) -> []
              | SynMemberDefn.ImplicitInherit(_synType, _synExpr, _identOption, _range) -> []
              | SynMemberDefn.LetBindings(_synBindingList, _, _, _range) -> []
              | SynMemberDefn.AbstractSlot(ValSpfn(synAttributes, _ident, _synValTyparDecls, _synType, SynValInfo(args, _ret), _, _, preXmlDoc, _synAccessOpt, _synExprOpt, _range), _memberFlags, range) -> 
                  if isEmptyXmlDoc preXmlDoc then
                      let fullRange = synAttributes |> List.fold (fun r a -> unionRanges r a.Range) range
                      let line = fullRange.StartLine 
  
negative.code:             | SynModuleDecl.HashDirective(_parsedHashDirective, _range) -> []
              | SynModuleDecl.NamespaceFragment(synModuleOrNamespace) -> getXmlDocablesSynModuleOrNamespace synModuleOrNamespace
  
          and getXmlDocablesSynModuleOrNamespace (SynModuleOrNamespace(_, _, synModuleDecls, _, _, _, _)) =
              (synModuleDecls |> List.collect getXmlDocablesSynModuleDecl)
  
          and getXmlDocablesSynTypeDefn (SynTypeDefn.TypeDefn(ComponentInfo(synAttributes, _, _, _, preXmlDoc, _, _, compRange), synTypeDefnRepr, synMemberDefns, tRange)) =
              let stuff = 
                  match synTypeDefnRepr with
                  | ObjectModel(_synTypeDefnKind, synMemberDefns, _oRange) -> (synMemberDefns |> List.collect getXmlDocablesSynMemberDefn)
  