Hi,

I am trying to do some DLR work in F# (I'm new to both). In the language context I want to override a generic method with the following signature (F#):

Runtime.LanguageContext.GetService<'ServiceType> when 'ServiceType : not struct(obj [] args) : 'ServiceType

and (C#):

public virtual ServiceType GetService<ServiceType>(params object[] args) where ServiceType : class

My overload looks like:

override c.GetService<'a when 'a : not struct> (args : obj []) =
if (type 'a) = (type Microsoft.Scripting.Shell.CommandLine)
then new IronyCommandLine () :?> 'a
else base.GetService (args)

It compiles fine, but I get the following exception at runtime:

System.TypeLoadException: Method 'GetService' on type 'IronyContext' from assembly 'irony, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null' tried to implicitly override a method with weaker type parameter constraints.

What would be the right way to overload this function? Thanks in advance.