anchor.diff:      let tmp = Path.GetTempPath()
       let sourceFile = Path.Combine(tmp, assemblyName + ".fs")
       let outFile = Path.Combine(tmp, assemblyName + if isDll then ".dll" else ".exe")
  -    let pdbFile = Path.Combine(tmp, assemblyName + ".pdb")
  +    let pdbFile = Path.Combine(tmp, assemblyName + pdbExtension)
       do File.WriteAllText(sourceFile, code)
       let args =
           [|
  
positive.code: exception 
     CompilationError of (*assembly:*)string * (*errorCode:*)int * (*info:*)ErrorInfo []
     with override e.Message = sprintf "Compilation of '%s' failed with code %d (%A)" e.Data0 e.Data1 e.Data2
  
  type PEVerifier () =
  
  
negative.code:     type Foo = class end
  
      exception E of int * string
  
      printfn "done!" // make the code have some initialization effect
  """
  
      compileAndVerify true PdbOnly "Foo" code [] |> ignore
  