Я пытаюсь получить доступ к существующей базе данных через тип Microsoft.FSharp.Data.TypeProviders.SqlDataConnection. Есть некоторые хранимые процедуры, которые не предоставляются (но большинство из них).

Я пытаюсь определить, что отличает необеспечиваемые процедуры от других - я полагаю, что пользовательские типы - это одна из причин, по которой предоставление типов может завершиться неудачно, но их здесь нет.

По каким другим причинам наши хранимые процедуры могут быть недоказуемыми?

Редактировать:

Я определил следующий блок, который вызывает недоказуемость:

      EXEC @intReturn = te_audit_log @action = 'I',
                                     @user_id = @intUserId,
                                     @table_id = 1,
                                     @audit_action = 'A',
                                     @data_id = @intStatus,
                                     @session_guid = @session_guid,
                                     @effective_date = @actual_timedate,
                                     @employee_id = @employee_id

... Я думаю, это потому, что sproc, который "исполняется", также имеет пути, которые возвращают значения из временной таблицы.