Skip to content

Commit

Permalink
update tests
Browse files Browse the repository at this point in the history
  • Loading branch information
edgarfgp committed Oct 5, 2024
1 parent 21e2acd commit 5d3572e
Showing 1 changed file with 10 additions and 10 deletions.
20 changes: 10 additions & 10 deletions tests/fsharp/typecheck/sigs/neg107.bsl
Original file line number Diff line number Diff line change
Expand Up @@ -33,11 +33,11 @@ neg107.fsx(28,55,28,66): typecheck error FS0425: The type of a first-class funct

neg107.fsx(30,49,30,54): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.

neg107.fsx(30,57,30,63): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.
neg107.fsx(30,64,30,65): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.

neg107.fsx(31,70,31,75): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.

neg107.fsx(31,78,31,84): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.
neg107.fsx(31,85,31,86): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.

neg107.fsx(32,13,32,30): typecheck error FS3301: The function or method has an invalid return type 'Async<Span<int>>'. This is not permitted by the rules of Common IL.

Expand All @@ -49,13 +49,13 @@ neg107.fsx(32,48,32,53): typecheck error FS0406: The byref-typed variable 'a' is

neg107.fsx(32,48,32,53): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.

neg107.fsx(32,56,32,62): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.
neg107.fsx(32,63,32,64): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.

neg107.fsx(32,56,32,62): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.
neg107.fsx(32,63,32,64): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.

neg107.fsx(32,56,32,62): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.
neg107.fsx(32,63,32,64): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.

neg107.fsx(32,56,32,62): typecheck error FS0425: The type of a first-class function cannot contain byrefs
neg107.fsx(32,63,32,64): typecheck error FS0425: The type of a first-class function cannot contain byrefs

neg107.fsx(32,48,32,53): typecheck error FS0425: The type of a first-class function cannot contain byrefs

Expand All @@ -69,13 +69,13 @@ neg107.fsx(33,56,33,61): typecheck error FS0406: The byref-typed variable 'a' is

neg107.fsx(33,56,33,61): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.

neg107.fsx(33,64,33,70): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.
neg107.fsx(33,71,33,72): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.

neg107.fsx(33,64,33,70): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.
neg107.fsx(33,71,33,72): typecheck error FS0406: The byref-typed variable 'a' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions.

neg107.fsx(33,64,33,70): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.
neg107.fsx(33,71,33,72): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.

neg107.fsx(33,64,33,70): typecheck error FS0425: The type of a first-class function cannot contain byrefs
neg107.fsx(33,71,33,72): typecheck error FS0425: The type of a first-class function cannot contain byrefs

neg107.fsx(33,56,33,61): typecheck error FS0425: The type of a first-class function cannot contain byrefs

Expand Down

0 comments on commit 5d3572e

Please sign in to comment.