Hi,

I've been playing with F# for a while now, and was interested to use it to build WCF web services. I've come across a problem:

WCF uses Data Contracts to for the bodies of messages, mainly these are just classes marked up with some special attributes, for example...

1
2
3
4
5
6
7
8
9
10
11
12
13
14

[<DataContract>]
type public SimpleDataContract() =
        let mutable _propertyOne = System.String.Empty
        let mutable _propetyTwo = 0

        [<DataMember>]
        member public x.PropertyOne 
            with get() = _propertyOne 
            and set(value) = _propertyOne <- value
            
        [<DataMember>] 
        member public x.PropertyTwo 
            with get() = _propetyTwo 
            and set(value) = _propetyTwo <- value

When I attempt to use this class, I get an exception from the WCF:

Member 'Coyote.FSWCF.Service.SimpleDataContract.get_PropertyOne' cannot be serialized since it is neither a field nor a property, and therefore cannot be marked with the DataMemberAttribute attribute. Remove the DataMemberAttribute attribute from the 'get_PropertyOne' member. System.Runtime.Serialization

Replacing this with what I assume is the equivalent C# implementation:

1
2
3
4
5
6
7
8
9
10

    [DataContract]
    public class SimpleDataContract
    {
        public SimpleDataContract() { }

        [DataMember]
        public string PropertyOne { get; set; }
        [DataMember]
        public int PropertyTwo { get; set; }
    }

produces a working service, but I'd like the option of doing this in F# too! Is my F# class incorrectly defined, or is this an issue between F# and WCF?

Regards,

Nick Holmes,
Coyote Software, GmbH