Running the Pdb2Pdb tool on a portable PDB produced by fsc sometimes fails due to incorrect PDBs.
Speaking with @tmat the issue is in the LocalScope table. Copying from an internal email:
The table is required to be sorted first by Method in ascending order, then by StartOffset in ascending order, then by Length in descending order.
The F# PDB appears to prefer Length descending before StartOffset ascending.
Running the Pdb2Pdb tool on a portable PDB produced by
fscsometimes fails due to incorrect PDBs.Speaking with @tmat the issue is in the LocalScope table. Copying from an internal email:
The F# PDB appears to prefer
Lengthdescending beforeStartOffsetascending.