anchor.diff:          )) |> context.subscriptions.Add
   
           ()
  +
  +
  
positive.code:                       yield sprintf "<b>Project Type</b>: old/verbose sdk"
                    | ProjectResponseInfo.ProjectJson ->
                        yield sprintf "<b>Project Type</b>: project.json"
                    ]
                  |> String.concat "<br />"
  
  
negative.code:                 "<b>Status:</b> loading.."
  
              let viewParsed (proj: Project) =
                  let (Project(_,_,_, files, ProjectReferencesList(_,projRefs,_), ReferenceList(_, refs,_), _, _)) = getProjectModel proj
  
                  let files =
                      files |> List.map (function (File(_,p, _, _)) -> p)
  
                  let projRefs =
                      projRefs |> List.map (function (ProjectReference(_,p, _, _)) -> p)
  
                  let refs =
                      refs |> List.map (function (Reference(_,p, _, _)) -> p)
  
                  [ yield "<b>Status:</b> parsed correctly"
                    yield ""
                    yield sprintf "<b>Project</b>: %s" proj.Project
                    yield ""
                    yield sprintf "<b>Output Type</b>: %s" proj.OutputType
                    yield sprintf "<b>Output</b>: %s" proj.Output
  
                    yield ""
                    match proj.Info with
                    | ProjectResponseInfo.DotnetSdk info ->
  