Полное имя, неполное имя с декларацией импорта разрешаются по-разному

Question

Это работает

open System
let f = Action(fun () -> Unchecked.defaultof<_>)

Но это

let f = System.Action(fun () -> Unchecked.defaultof<_>)

приводит к ошибке компиляции

Существует несколько типов, называемых «Action», которые принимают разное числообщие параметры.Укажите экземпляр типа для устранения неоднозначности разрешения типа, например «Действие <<em>, , _, , , _, , , _> '.

Я знаю, что могу это исправить, добавив заполнитель параметра типа (System.Action<_>(...)), но есть идеи, почему они ведут себя по-разному?

EDIT

Нашел это в спецификации,раздел 14.1.9:

При открытии группы объявлений модуля или пространства имен F элементы добавляются в среду имен следующим образом:

• Добавить тип втаблица TypeNames .Если тип имеет искаженное универсальное имя CLI, такое как List'1, то запись добавляется как List и List'1.

Повторяется ли это поведение для полной квалификациитипы (с опущенными параметрами типа)?Это не так.

Answer 1

Я согласен с @James, что это связано с ошибкой, представленной в Connect, но я думаю, что это немного другой случай. Во всяком случае, я думаю, что это не намеренное поведение. Не могли бы вы сообщить об этом fsbugs в microsoft dot com ?

В любом случае - я сделал некоторую отладку, и вот что я нашел до сих пор:

Похоже, что компилятор использует разные пути кода для разрешения имени Action и имени System.Action. При разрешении другого он ищет во всех загруженных модулях (то есть сборках) тип с именем System.Action (см. Функцию ResolveLongIndentAsModuleOrNamespaceThen в файле nameres.fs выпуска с открытым исходным кодом).

Находит два определения Action (одно в mscorlib и другое в System.Core). Я думаю, что проблема связана с тем фактом, что разрешение имени просто перебирает результаты - оно находит первое (от System.Core), которое не имеет полезной перегрузки (потому что оно варьируется от Action<_,_,_,_,_> до версии с около 15 параметров типа). Найдя этот тип, он сообщает об ошибке, даже не глядя, есть ли другой тип (в другой сборке), который может быть использован.

Если вы не ссылаетесь на системные сборки, то компилятор F # разрешает перегрузку просто отлично. Запуск компилятора без параметров ссылается на набор сборок по умолчанию, поэтому это не работает:

fsc test.fs 

но если я добавлю флаг --noframework, он будет скомпилирован без проблем:

fsc --noframework test.fs