From ce83b4e5fe0b6e885723a65b158a75379723bbf1 Mon Sep 17 00:00:00 2001 From: nojaf Date: Mon, 6 Feb 2023 14:46:30 +0100 Subject: [PATCH] Correct signatures. --- src/Compiler/TypedTree/TypedTree.fsi | 4 ++-- src/FSharp.Core/local.fsi | 22 +++++++++++----------- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/src/Compiler/TypedTree/TypedTree.fsi b/src/Compiler/TypedTree/TypedTree.fsi index 621a9da12b..253ac21b2f 100644 --- a/src/Compiler/TypedTree/TypedTree.fsi +++ b/src/Compiler/TypedTree/TypedTree.fsi @@ -4233,8 +4233,8 @@ type Construct = #if !NO_TYPEPROVIDERS /// Compute the definition location of a provided item - static member ComputeDefinitionLocationOfProvidedItem: - p: Tainted<#IProvidedCustomAttributeProvider> -> Text.range option + static member ComputeDefinitionLocationOfProvidedItem<'T when 'T :> IProvidedCustomAttributeProvider> : + p: Tainted<'T> -> range option #endif /// Key a Tycon or TyconRef by both mangled type demangled name. diff --git a/src/FSharp.Core/local.fsi b/src/FSharp.Core/local.fsi index 2af9465bea..9c2ebc0bbf 100644 --- a/src/FSharp.Core/local.fsi +++ b/src/FSharp.Core/local.fsi @@ -6,22 +6,22 @@ open Microsoft.FSharp.Core [] module internal DetailedExceptions = - val inline invalidArgFmt: arg: string -> format: string -> paramArray: obj array -> _ - val inline invalidOpFmt: format: string -> paramArray: obj array -> _ - val invalidArgDifferentListLength: arg1: string -> arg2: string -> diff: int -> _ + val inline invalidArgFmt: arg: string -> format: string -> paramArray: obj array -> 'T + val inline invalidOpFmt: format: string -> paramArray: obj array -> 'T + val invalidArgDifferentListLength: arg1: string -> arg2: string -> diff: int -> 'T val invalidArg3ListsDifferent: - arg1: string -> arg2: string -> arg3: string -> len1: int -> len2: int -> len3: int -> _ + arg1: string -> arg2: string -> arg3: string -> len1: int -> len2: int -> len3: int -> 'T - val invalidOpListNotEnoughElements: index: int -> _ - val invalidOpExceededSeqLength: fnName: string -> diff: int -> len: int -> _ - val inline invalidArgInputMustBeNonNegative: arg: string -> count: int -> _ - val inline invalidArgInputMustBePositive: arg: string -> count: int -> _ - val invalidArgOutOfRange: arg: string -> index: int -> text: string -> bound: int -> _ - val invalidArgDifferentArrayLength: arg1: string -> len1: int -> arg2: string -> len2: int -> _ + val invalidOpListNotEnoughElements: index: int -> 'T + val invalidOpExceededSeqLength: fnName: string -> diff: int -> len: int -> 'T + val inline invalidArgInputMustBeNonNegative: arg: string -> count: int -> 'T + val inline invalidArgInputMustBePositive: arg: string -> count: int -> 'T + val invalidArgOutOfRange: arg: string -> index: int -> text: string -> bound: int -> 'T + val invalidArgDifferentArrayLength: arg1: string -> len1: int -> arg2: string -> len2: int -> 'T val invalidArg3ArraysDifferent: - arg1: string -> arg2: string -> arg3: string -> len1: int -> len2: int -> len3: int -> _ + arg1: string -> arg2: string -> arg3: string -> len1: int -> len2: int -> len3: int -> 'T // Definitions internal for this library. namespace Microsoft.FSharp.Primitives.Basics