anchor.diff:  
       member x.Name 
           with get() = config.ProfileName
  -        and set value = 
  -            config <- {config with ProfileName = value } 
  -            save()
  +        and set (value:string) = 
  +            let value = value.Trim()
  +            if value = "" then
  +                MainViewUtils.failValidation "Profile name may not be empty"
  +            else
  +                config <- {config with ProfileName = value } 
  +                save()
   
       member x.ExePath 
           with get() = config.ExePath
  
positive.code:             Some (dlg.FileName)
          else
              None
  
  type MainView = XAML<"MainWindow.xaml", true>
  
  
negative.code: 
  open System
  open System.Windows
  open System.IO
  open FSharp.ViewModule
  open FSharp.ViewModule.Validation
  open System.Windows.Input
  