Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Anonymous record types creates portable pdb that cannot be converted #6728

Closed
marklam opened this issue May 14, 2019 · 3 comments
Closed

Anonymous record types creates portable pdb that cannot be converted #6728

marklam opened this issue May 14, 2019 · 3 comments
Labels
Milestone

Comments

@marklam
Copy link

marklam commented May 14, 2019

Compiling code that uses anonymous records with --debug:portable creates a pdb file that crashes Pdb2Pdb with the error "Invalid compressed integer"

Repro steps

type A = { X : int }
let x = {| X = 7 |} // This doesn't work
//let x = { X = 7 } // This does
let Main (argv: string[]) =
    x.ToString().Length
fsc --debug:portable test.fs
pdb2pdb test.exe

Expected behavior

The portable pdb is converted to a desktop pdb

Actual behavior

pdb2pdb complains of an "invalid compressed integer" in the corefx metadata blob reader
https://github.com/dotnet/corefx/blob/a10890f4ffe0fadf090c922578ba0e606ebdd16c/src/System.Reflection.Metadata/src/System/Reflection/Metadata/BlobReader.cs#L478

Known workarounds

Use regular records

Related information

Provide any related information

  • Windows 10
  • Microsoft (R) F# Compiler version 10.4.0 for F# 4.6
  • Pdb2Pdb 1.1.63314
@cartermp cartermp added this to the Backlog milestone May 14, 2019
@cartermp
Copy link
Contributor

cc @KevinRansom @dsyme

@KevinRansom
Copy link
Member

@marklam, thanks,

good catch.

Will take a look.

@dsyme
Copy link
Contributor

dsyme commented Jul 31, 2019

This is fixed

@dsyme dsyme closed this as completed Jul 31, 2019
@cartermp cartermp modified the milestones: Backlog, 16.3 Aug 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

4 participants