public void FSharpDocument()
{
TestModule ("fsapp.exe", module => {
var type = module.GetType ("Program");
var method = type.GetMethod ("fact");
var sequence_point = method.DebugInformation.SequencePoints.First (sp => sp != null);
var document = sequence_point.Document;
Assert.IsNotNull (document);
Assert.AreEqual (@"c:\tmp\fsapp\Program.fs", document.Url);
Assert.AreEqual (DocumentType.Text, document.Type);
Assert.AreEqual (DocumentHashAlgorithm.None, document.HashAlgorithm);
Assert.AreEqual (DocumentLanguage.FSharp, document.Language);
Assert.AreEqual (DocumentLanguageVendor.Microsoft, document.LanguageVendor);
}, readOnly: Platform.OnMono, symbolReaderProvider: typeof(PdbReaderProvider), symbolWriterProvider: typeof(PdbWriterProvider));
}