Provenance of List type in Default Imports

[frou]

The Default Imports are documented as including:

import List exposing (List, (::))

But, in the List.elm file, there is no type List =

...so should the documentation instead say the following?

import List exposing ( (::) )

...or should a "dummy" type definition for List be added to List.elm, similar to these which already exist in their respective files:

type Int = Int -- NOTE: The compiler provides the real implementation.
type Float = Float -- NOTE: The compiler provides the real implementation.
type Char = Char -- NOTE: The compiler provides the real implementation.
type String = String -- NOTE: The compiler provides the real implementation.

[evancz]

I would like to expose it from List, but for complicated reasons within the compiler, it is hard to do that. I don't think the current code can change, and I don't think the docs should be made more complex to account for a thing that is likely to go away in the future. So I think the current balance is best.

[evancz]

I would like to expose it from List, but for complicated reasons within the compiler, it is hard to do that. I don't think the current code can change, and I don't think the docs should be made more complex to account for a thing that is likely to go away in the future. So I think the current balance is best.