Back to Questions
2.2k
views3
comments
Some questions about 1.9.2.7
f#compilerc#

Hi to all, here are some questions:

- Q1: Optional ArgumentsI had used the new optional arguments feature for some members of my classes; they works fine but from C# they are not optional and i must to use an optioneg.
in f#

1
2
3
4

new(?p:Node)   = 
            { children = new Dictionary<_,_>(HashIdentity.Structural) } 
            then 
            base.parent <- match p with None -> None | Some(pp) -> pp

in c# i must use

1

Compartment initialTerm = new Compartment(Option<Node>.None);

This is a real limitation or I am doing something wrong ?

- Q2: Accessing C# method from F#

In C# I have a method like

1

public static string PreprocessSource(string src, SymbolTable<string> st)

from F# i must call 

1

SyntaxPreprocessor.PreprocessSource(src,(st :?> #SymbolTable<string>))

anyway (without cast or without '#' i got an error). Again: I am doing something wrong ?

- Q3: Defining 2 method with the same number of argouments but with different argoument type

I would like to define something like

1
2

new(size:int) = { bind = Array.create size None }
new(a:array) = { bind = Array.create a.Length None } then ...

but i got an error regards that a costructor with 1 argoument is already defined. There are no name mangling ?

- Q4: standalone DLLs cannot currently incorporate more than one unmanaged resource

With the 1.9.2.7 compiler i got
Compiling Project SCLS_Simulator ...
Executing
F:\Program Files\FSharp-1.9.2.7\bin\fsc.exe --fullpaths --progress -O3 -g -o "g:\src\c#\scslm\scls_simulator\scls_simulator.exe" -R "..\SCLS\scls.dll" -R "..\SCLS_Parser\bin\Debug\SCLS_Parser.dll" -R "..\CodeExpressionEvaluator\bin\Debug\CodeExpressionEvaluator.dll" -R "..\CodeExpressionEvaluator\bin\Debug\fscodeprovider.dll" --standalone "batch_simulator.fs" "worker.fs" "client.fs"
in directory
G:\src\c#\SCSLm\SCLS_Simulator\
Typecheck implementation Batch_simulator
Typecheck implementation Worker
Typecheck implementation Client
Generating ILX code...
Creating main module...
Generating IL code...
Performing static link...
Finding references for fslib
Finding references for ZedGraph
Finding references for mscorlib
Finding references for System.Drawing
Finding references for System.Windows.Forms
Finding references for System
Finding references for System.Data
Finding references for scls
Finding references for mllib
Finding references for CodeExpressionEvaluator
Finding references for fscodeprovider
Finding references for SCLS_Parser

error: standalone DLLs cannot currently incorporate more than one unmanaged resource
I had never met that error with previous version of the compiler; what is the cause (and the solution :) ) for this error ?Thanks to all for the care,best regardsg.s.

.

>> Q1: Optional Arguments in C#
Yes, this is a limitation. Since C# doesn't support optional arguments there is unfortunately no way you could work with them as with optional arguments.

You could maybe use an alternative solution where the object has mutable members like this:

1
2
3
4
5
6
7
8
9

type Test() =
  let mutable n = 0
  let mutable s = ""
  member x.Num 
    with get() = n
    and set(v) = n<-v
  member x.String 
    with get() = s
    and set(v) = s<-v

This can be used from F# in a similar way as with optional arguments:

1

new Test(Num=42, String="Answer");;

From C# 2.0 you'll have to create an instance and set the poperties explicitly (which still may be more readable than using Option arguments), but from C# 3.0 it will be possible to use syntax similar to the one available in F#:

1

new Test { Num=42, String="Answer" };

>> Q2
Hmm, what is the type of "st"? If it's type inherited from SymbolTable<string> than you'll probably have to cast it to this type using "st :> SymbolTable<string>", however using ":?>" shouldn't be needed - this operator is a dynamic downcast (for casts that may fail - e.g. from "obj" to "SymbolTable<string>").

>> Q3: Constructors & overload resoluion
This is possible, but you'll have to do it explicitly:

1
2
3
4
5

type Test =
  [<OverloadID("ctor1")>]
  new (n:int) = { }
  [<OverloadID("ctor2")>]
  new (s:string) = { }

You might however consider other possible solutions - e.g. having a static methods to construct the object.

>> Q4
I can't really help with this one - looks like you have more unmanaged resources in your DLLs and the F# compiler can't merge them... What assemblies in your project contain an unmanaged resource? I think it should be possible to workaround this by removing the "--standalone" option (at least for debugging).

By on 7/30/2007 10:53 AM ()

Thanks a lot for the clean and quick reply;
about the Q2 and Q4 questions ...

Q2:
you have right: I have not explained well.
I had defined the following method in C#

1

public static string PreprocessSource(string src, SCLS.SymbolTable<string> st)

from f# i must use

1
2

        static member preprocessing_rate_function_source((src:string), ( st : SymbolTable<string>)) : string = 
            SyntaxPreprocessor.PreprocessSource(src,(st :?> #SymbolTable<string>))

This compile and works but i got the following warnings:
- Warning: The instantiation of a generic construct at or near this point could not be resolved because it involves multiple unrelated types. Use type annotations to resolve the ambiguity.
- Warning: Couldn't determine a default assignment for an ungeneralized type variable.
- Warning FS0001: The type string SymbolTable is not compatible with the type string SymbolTable

with 

1
2

        static member preprocessing_rate_function_source((src:string), ( st : SymbolTable<string>)) : string = 
            SyntaxPreprocessor.PreprocessSource(src,st )

they do not compile and I got
- Error : The type string SymbolTable is not compatible with the type string SymbolTable
- Error : Type constraint mismatch. The type string SymbolTable is not compatibile with type string SymbolTable . The type string SymbolTable is not compatible with the type string SymbolTable

with

1
2

        static member preprocessing_rate_function_source((src:string), ( st : SymbolTable<string>)) : string = 
            SyntaxPreprocessor.PreprocessSource(src, (st :>  SymbolTable<string>) )

they do not compile and I got the same 2 error of the last case
Q4:
The strange thing is that i don't use unmanaged resources; Naturally it work well without --standalone, but I am curious about the causes, because for distribute the project the --standalone it is very usefull.

Agains thanks and best regards
g.s.

By on 7/31/2007 3:10 AM ()

instead of :

1
2
3
4

//casts st to a SymbolTable<string>
static member preprocessing_rate_function_source((src:string), ( st : SymbolTable<string>)) : string = 
  //can't be upcast here since it is already defined as a SymbolTable<string>
  SyntaxPreprocessor.PreprocessSource(src, (st :>  SymbolTable<string>) )

The following might work

1
2
3
4
5
6

//define the argument type as something that can be cast to a SymbolTable<string>
static member preprocessing_rate_function_source((src:string), ( st : #SymbolTable<string>)) : string = 
  //cast it
  let st = st :> SymbolTable<string>
  // use it
  SyntaxPreprocessor.PreprocessSource(src, st)

You could leave both as

1
2

static member preprocessing_rate_function_source((src:string), ( st : SymbolTable<string>)) : string = 
  SyntaxPreprocessor.PreprocessSource(src, st)

and cast st when you need it in your code

By on 7/31/2007 5:05 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