anchor.diff: -﻿// Learn more about F# at http://fsharp.org
  -// See the 'F# Tutorial' project for more help
  -namespace FStarBuild
  +﻿namespace FStarBuild
   
   open Microsoft.Build.Framework
   open Microsoft.Build.Utilities
  
positive.code: 
      interface ITask with
          override this.Execute() =
              let fStarHome = "\"" + this.FStarHomePath + "\""
              let args = 
                  commandLineArguments 
                  + " " + items.[0].GetMetadata "FullPath"
                  + " --fstar_home " + fStarHome
  
              let output msg =
                  // Get the output window
                  let outputWindow = Package.GetGlobalService(typeof<SVsOutputWindow>) :?> IVsOutputWindow
                  lock 
                      outputWindow 
                      (fun () -> 
                  // Ensure that the desired pane is visible
                      let paneGuid = Microsoft.VisualStudio.VSConstants.OutputWindowPaneGuid.BuildOutputPane_guid
                      let i,pane = outputWindow.GetPane(ref paneGuid)                    
                      // Output the message
                      try
                          //pane.OutputString("\n" + msg) |> ignore
                          //let pos,body = msg.Split ':' |> fun a -> a.[0],a.[1]
                          let regexp = System.Text.RegularExpressions.Regex("(.*)\(([0-9]+),([0-9]+)-([0-9]+),([0-9]+)\)(.*)")
                          let m = regexp.Match(msg)
                          if m.Success
  
negative.code:     member this.FStarHomePath
          with get () = fstarHomePath
          and set v = fstarHomePath <- v
      
      member this.CommandLineArguments
          with get () = commandLineArguments
          and set v = commandLineArguments <- v
  