anchor.diff:  
           {   Condition            = XElem.getAttributeValue Constants.Condition xelem 
               DebugSymbols         = elemmap Constants.DebugSymbols Boolean.Parse
  -            DebugType            = elem    Constants.DebugType
  +            DebugType            = elemmap Constants.DebugType DebugType.Parse
               Optimize             = elemmap Constants.Optimize Boolean.Parse
               Tailcalls            = elemmap Constants.Tailcalls Boolean.Parse
               OutputPath           = elem    Constants.OutputPath
               CompilationConstants = elemmap Constants.CompilationConstants split
               WarningLevel         = elemmap Constants.WarningLevel (Int32.Parse>>WarningLevel)
               PlatformTarget       = elemmap Constants.PlatformTarget PlatformType.Parse
  -            Documentationfile    = elem    Constants.Documentationfile
  +            Documentationfile    = elem    Constants.DocumentationFile
               Prefer32Bit          = elemmap Constants.Prefer32Bit Boolean.Parse
               OtherFlags           = elemmap Constants.OtherFlags split
           }
  
positive.code:         Prefer32Bit          : Property<bool>
          OtherFlags           : Property<string list>
      }
  
      static member fromXElem (xelem:XElement) =
  
  
negative.code: //        
  
  [<AutoOpen>]
  module internal PathHelpers =
  
      let normalizeFileName (fileName : string) = 
          let file = fileName.Replace(@"\", "/").TrimEnd(Path.DirectorySeparatorChar).ToLower()   
  