Record constructor arg occs correctly (bug-fix)
authorsimonpj@microsoft.com <unknown>
Wed, 16 Aug 2006 08:56:28 +0000 (08:56 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 16 Aug 2006 08:56:28 +0000 (08:56 +0000)
I was forgetting the non-pattern-matched type args of a constructor.


No differences found