anchor.diff:      symbols |> List.map symbolToCompletionData
   
   
  -  let codeCompletionCommandImpl(editor:Editor.TextEditor, documentContext:Editor.DocumentContext, context:CodeCompletionContext, allowAnyStale, dottedInto, ctrlSpace, completionChar) =
  +  let codeCompletionCommandImpl(editor:TextEditor, documentContext:DocumentContext, context:CodeCompletionContext, allowAnyStale, dottedInto, ctrlSpace, completionChar) =
       async {
         let result = CompletionDataList()
         let fileName = documentContext.Name
  
positive.code:     // Note, however, that this is just an approximation - for example no re-typecheck is enforced here: (abc + def).PPP.
      let computation = 
        async {
          if isCurrentTokenInvalid x.Editor x.DocumentContext context then return null else
          
          let allowAnyStale = 
            match completionChar with 
  
negative.code: open MonoDevelop.Core
  open MonoDevelop.Debugger
  open MonoDevelop.Ide
  open MonoDevelop.Ide.Editor
  open MonoDevelop.Ide.Editor.Extension
  open MonoDevelop.Ide.Gui
  open MonoDevelop.Ide.Gui.Content
  