Back to Questions
1.9k
views7
comments
Using Microsoft.FSharp.Compatibility.OCaml
f#

Hallo.

I'm upgrading from a very old version of F Sharp to 2.0.0.0, cross-compiling some OCaml.

I've fixed most of the syntactic changes, but can't get it FSharp to pick up the compatibility layer. I've installed FSharp 2.0.0.0 and the Powerpack. I've added "module Microsoft.FSharp.Compatibility.FSharp" to the .ml and .mli files. This doesn't produce an error, but doesn't seem to work.

Here's the command line:

fsc -a --version:1.5.0.0 --keyfile:key.snk --out:Coherent.PDFTools.dll --nowarn:62 --nologo -r ICSharpCode.SharpZipLib.dll -r FSharp.PowerPack.dll utility.mli utility.ml (other .mli and .ml files)

And here's the (abridged) output:

utility.mli(605,34): error FS0039: The namespace or module 'Hashtbl' is not defined

utility.ml(13,3): error FS0039: The value or constructor 'print_string' is not defined

utility.ml(13,19): error FS0039: The value or constructor 'flush' is not defined

utility.ml(26,15): error FS0039: The value, constructor, namespace or type 'hd' is not defined

utility.ml(28,15): error FS0039: The value, constructor, namespace or type 'tl' is not defined

utility.ml(266,14): error FS0039: The namespace or module 'Pervasives' is not defined

utility.ml(292,15): error FS0039: The namespace or module 'Int64' is not defined

utility.ml(354,16): error FS0039: The namespace or module 'Byte' is not defined

utility.ml(403,26): error FS0039: The value or constructor 'int_of_char' is not defined

utility.ml(436,31): error FS0043: Method or object constructor 'op_ArrayLookup' not found

utility.ml(457,17): error FS0039: The value, constructor, namespace or type 'make' is not defined

utility.ml(459,7): error FS0043: Method or object constructor 'op_ArrayAssign' not found

utility.ml(478,15): error FS0039: The namespace or module 'Buffer' is not defined

utility.ml(535,5): error FS0035: This construct is deprecated: Character range matches have been removed in F#. Consider using a 'when' pattern guard instead.

utility.ml(540,15): error FS0039: The value or constructor 'int_of_float' is not defined

utility.ml(560,38): error FS0039: The value or constructor 'mod' is not defined

utility.ml(616,26): error FS0039: The value or constructor 'Not_found' is not defined

Exiting - too many errors

make: *** [fsharp] Error 1

What am I doing wrong?

Cheers,

John Whitington

Coherent Graphics Ltd

[link:www.coherentpdf.com]

.

Did you mean "open" Microsoft.FSharp.Compatibility.FSharp instead of "module"?

By on 10/21/2010 8:58 AM ()

Hi Brian,

Assuming you mean Microsoft.FSharp.Compatibility.OCaml, we now get:

Error FS0039: The namespace 'Compatibility' is not defined.

By on 10/22/2010 2:40 AM ()

Aha, it looks like that stuff lives in FSharp.PowerPack.Compatibility.dll, whereas you've just reference FSharp.PowerPack.dll.

(See the very bottom of

[link:fsharppowerpack.codeplex.com]

)

By on 10/22/2010 8:20 AM ()

Cheers Brian.

I'm making a fair amount of progress now.

The syntax for records vis-a-vis module names seems to have changed, though, so I can no longer write

i.Pdfio.input_byte ()

(record i, containing function Pdfio.input_byte)

and adding brackets:

i.(Pdfio.input_byte) ()

seems to make F sharp think i is an array.

Only adding

open Pdfio

seems to work, and that's horrible. Is there something I'm missing?

By on 10/24/2010 7:04 AM ()

(record i, containing function Pdfio.input_byte)

Can you show some code for the declarations here? Records are not my forte and I am having trouble picturing what this means.

By on 10/24/2010 7:09 AM ()

So, in pdfio.mli we have

type pos = int

type input =

{pos_in : unit -> pos;

seek_in : pos -> unit;

input_char : unit -> char option;

input_byte : unit -> int;

in_channel_length : unit -> pos;

set_offset : pos -> unit}

We than have functions

input_of_string : string -> input

input_of_array : int array -> input

input_of_channel : in_channel -> input

input_of_file : string -> input

etc, all of which return an 'input' record, which is a bunch of functions for doing input.

So, to use it from another module, we might do

let i = Pdfio.input_of_file "myfile.txt" in

let b = i.Pdfio.input_byte () in

Printf.printf "Byte was %i" b

I think ocaml deals with the i.Pdfio.input_byte well because it can use the capitilisation of the "Pdfio" to know it's a module name - perhaps F sharp can't do the same...

By on 10/25/2010 4:48 AM ()

I see, F# doesn't work that way, it would be "i.input_byte" even if you haven't opened the module.

By on 10/25/2010 9:04 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