RecordWildCards doesn't work with associated datatypes inside class instances

It seems like record wildcards (the ".." notation) don't work in the following scenario.

I tried with a standalone associated datatype and it works fine.

Tested with 6.10.1 and 6.11.20090103.

{-# LANGUAGE TypeFamilies, RecordWildCards #-}
module AssocWildCards where

class FooClass a where
   data FooType a

instance FooClass Int where
   data FooType Int = FooInt { fooIntVal :: Int }

fooInt :: Int -> FooType Int
fooInt fooIntVal = FooInt{..}

fromFooInt :: FooType Int -> Int
fromFooInt FooInt{..} = fooIntVal

Trac metadata

Trac field	Value
Version	6.11
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC	ganesh.sittampalam@credit-suisse.com
Operating system
Architecture