Back to Questions
872
views3
comments
Make class type let-bound variables actually private
f#compiler

Is there any way to make the CTP compiler render let variables as private? For example:

1
2
3

#light
type Test() =
    let mutable id = 0

Generates:

1

.field assembly int32 id@3

Is there any way around this? The CTP doesn't seem to access such fields outside of that class, so I don't know why it's marked assembly. I replaced it with private and reassembled and it worked fine. I think only structs with vals get the stfld/ldfld treatment, right?

I'm using a framework that generates proxies for classes, and it gets upset with non-private fields.

.

I could be misremembering, but I think there is no way to do this, nor will there be a way in Beta1. I think F# always generates 'internal' and never 'private', By Design.

I presume the specific case you're interested in is the one here

[link:stackoverflow.com]

and yeah, hopefully NHibernate has some attributes or other markup that will give you more control over that stuff.

Consider mailing fsbugs about the details of this case, so we can consider it as part of the overall F# codegen design.

By on 4/12/2009 5:21 AM ()

Thanks for the info. I guess the by design is because closures aren't nested in the declaring type? There's probably a good reason for that, so I suppose this isn't something easy or likely to change.

Anyways, I did find an NHibernate switch to disable all validation, which solved this particular issue.

I suppose it felt wrong because C#'s conditioned me to expect the IL to fit with what I write. But, I much prefer F#'s much more powerful codegen. (Constant propagation through functions? Doubt C# will do that any time soon.)

By on 4/14/2009 12:03 PM ()

This is definitely offtopic, but can we treat your words as a forecast of Beta coming soon?

By on 4/13/2009 6:34 AM ()

    Topic tags

    IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
    Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy     		Built with WebSharper