add more tests

[dsyme]

@colinbull Could you take a look at this? Testing strategy is to have the sample erasing TP simply reify a set of static values which reveal what the type provider is told about the type involved, and to check those things correspond roughly to the values given by .NET reflection over the typeof of the type.

We repeat this for a number of types.

Note there are a fair number of inaccuracies/bugs for the reasons noted in the tests. The devil is in the detail :) In particular every time the TAST is different to the .NET compiled form we see it. (e.g. because of all the crap we do in IlxGen.fs)

Haven't done anything with

• generic types
• generic methods
• custom attributes (these are important I think since they may guide the TP)
• events
• fields
• generic parameters
• ...

[dsyme]

Note I do this steps to run the tests:

build net40 debug

then

cd tests\fsharp\typeProviders\samples\TypePassing\Erasing
.paket\paket.bootstrapper.exe
.paket\paket.exe install

And then iterate with

msbuild && ..\..\..\..\..\..\debug\net40\bin\fsc.exe script.fsx && .\script.exe

in that directory

[colinbull]

Ok no problem I can have a look at this tomorrow evening.. been fighting the enterprise devils today and it takes all the strength I can muster. ;)