macro defaultImports: yield [| import System |] yield [| import System.Collections.Generic |] defaultImports Console.WriteLine(List[of int]().GetType().Namespace) # System.Collections.Generic
Fixed in revision 3157.
Fixed in revision 3157.