Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commitbf935d5

Browse files
committed
fix tests
1 parentfafad3c commitbf935d5

File tree

8 files changed

+78
-30
lines changed

8 files changed

+78
-30
lines changed

‎tests/fsharp/tests.fs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2440,10 +2440,10 @@ module TypecheckTests =
24402440
let``type check neg104``()= singleNegTest(testConfig"typecheck/sigs")"neg104"
24412441

24422442
[<Test>]
2443-
let``type checkneg103b``()= singleNegTest(testConfig"typecheck/sigs")"neg103b"
2443+
let``type checkneg113``()= singleNegTest(testConfig"typecheck/sigs")"neg113"
24442444

24452445
[<Test>]
2446-
let``type checkneg104b``()= singleNegTest(testConfig"typecheck/sigs")"neg104b"
2446+
let``type checkneg114``()= singleNegTest(testConfig"typecheck/sigs")"neg114"
24472447

24482448
[<Test>]
24492449
let``type check neg_anon_1``()= singleNegTest(testConfig"typecheck/sigs")"neg_anon_1"

‎tests/fsharp/typecheck/sigs/neg104b.bsl‎

Lines changed: 0 additions & 20 deletions
This file was deleted.
Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11

2-
neg103.fs(5,50,5,61): typecheck error FS0001: Two anonymous record types have mismatched sets of field names '["a";"b"]'and '["a"]'
2+
neg113.fs(5,50,5,61): typecheck error FS0001: Two anonymous record types have mismatched sets of field names '["a";"b"]'and '["a"]'
33

4-
neg103.fs(7,41,7,52): typecheck error FS0001: Two anonymous record types have mismatched sets of field names '["b"]'and '["a"]'
4+
neg113.fs(7,41,7,52): typecheck error FS0001: Two anonymous record types have mismatched sets of field names '["b"]'and '["a"]'
55

6-
neg103.fs(10,27,10,55): typecheck error FS0059: The type '{|a : int|}' doesnot have any proper subtypesand neednot be used as the target of a static coercion
6+
neg113.fs(10,27,10,55): typecheck error FS0059: The type '{|a : int|}' doesnot have any proper subtypesand neednot be used as the target of a static coercion
77

8-
neg103.fs(10,27,10,55): typecheck error FS0193: Type constraint mismatch. The type
8+
neg113.fs(10,27,10,55): typecheck error FS0193: Type constraint mismatch. The type
99
'{|b : int|}'
1010
isnot compatible with type
1111
'{|a : int|}'
1212

1313

14-
neg103.fs(13,27,13,62): typecheck error FS0059: The type '{|a : int|}' doesnot have any proper subtypesand neednot be used as the target of a static coercion
14+
neg113.fs(13,27,13,62): typecheck error FS0059: The type '{|a : int|}' doesnot have any proper subtypesand neednot be used as the target of a static coercion
1515

16-
neg103.fs(13,27,13,62): typecheck error FS0193: Type constraint mismatch. The type
16+
neg113.fs(13,27,13,62): typecheck error FS0193: Type constraint mismatch. The type
1717
'{|a : int; b : int|}'
1818
isnot compatible with type
1919
'{|a : int|}'
2020

2121

22-
neg103.fs(18,34,18,36): typecheck error FS0001: The type '('a-> 'a)' doesnot support the 'comparison' constraint.For example, it doesnot support the 'System.IComparable' interface
22+
neg113.fs(18,34,18,36): typecheck error FS0001: The type '('a-> 'a)' doesnot support the 'comparison' constraint.For example, it doesnot support the 'System.IComparable' interface
2323

24-
neg103.fs(20,42,20,44): typecheck error FS0001: The type '('a-> 'a)' doesnot support the 'comparison' constraint.For example, it doesnot support the 'System.IComparable' interface
24+
neg113.fs(20,42,20,44): typecheck error FS0001: The type '('a-> 'a)' doesnot support the 'comparison' constraint.For example, it doesnot support the 'System.IComparable' interface
File renamed without changes.
Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
2+
neg113.fs(5,50,5,61): typecheck error FS0001: Two anonymous record types have mismatched sets of field names '["a"; "b"]' and '["a"]'
3+
4+
neg113.fs(7,41,7,52): typecheck error FS0001: Two anonymous record types have mismatched sets of field names '["b"]' and '["a"]'
5+
6+
neg113.fs(10,27,10,55): typecheck error FS0059: The type '{|a : int|}' does not have any proper subtypes and need not be used as the target of a static coercion
7+
8+
neg113.fs(10,27,10,55): typecheck error FS0193: Type constraint mismatch. The type
9+
'{|b : int|}'
10+
is not compatible with type
11+
'{|a : int|}'
12+
13+
14+
neg113.fs(13,27,13,62): typecheck error FS0059: The type '{|a : int|}' does not have any proper subtypes and need not be used as the target of a static coercion
15+
16+
neg113.fs(13,27,13,62): typecheck error FS0193: Type constraint mismatch. The type
17+
'{|a : int ; b : int|}'
18+
is not compatible with type
19+
'{|a : int|}'
20+
21+
22+
neg113.fs(18,34,18,36): typecheck error FS0001: The type '('a -> 'a)' does not support the 'comparison' constraint. For example, it does not support the 'System.IComparable' interface
23+
24+
neg113.fs(20,42,20,44): typecheck error FS0001: The type '('a -> 'a)' does not support the 'comparison' constraint. For example, it does not support the 'System.IComparable' interface
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
2+
neg114.fs(6,38,6,39): parse error FS0010: Unexpected symbol '}'in binding. Expected '|}'or other token.
3+
4+
neg114.fs(6,29,6,31): parse error FS0605: Unmatched '{|'
5+
6+
neg114.fs(8,5,8,8): parse error FS0058: Possible incorrect indentation: this token is offside of context started at position (6:29).Try indenting this token furtheror using standard formatting conventions.
7+
8+
neg114.fs(10,5,10,9): parse error FS0058: Possible incorrect indentation: this token is offside of context started at position (8:5).Try indenting this token furtheror using standard formatting conventions.
9+
10+
neg114.fs(10,5,10,9): parse error FS0010: Unexpected keyword 'type'in binding. Expected incomplete structured construct ator before this pointor other token.
11+
12+
neg114.fs(6,5,6,8): parse error FS3118: Incomplete valueor function definition.If this isin an expression, the body of the expression must be indentedto the same column as the 'let' keyword.
13+
14+
neg114.fs(10,25,10,26): parse error FS0010: Unexpected symbol '}'in type definition. Expected '|}'or other token.
15+
16+
neg114.fs(10,14,10,16): parse error FS0605: Unmatched '{|'
17+
18+
neg114.fs(12,5,12,8): parse error FS0058: Possible incorrect indentation: this token is offside of context started at position (10:14).Try indenting this token furtheror using standard formatting conventions.
19+
20+
neg114.fs(13,1,13,1): parse error FS0010: Incomplete structured construct ator before this pointin implementation file
File renamed without changes.
Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
2+
neg114.fs(6,38,6,39): parse error FS0010: Unexpected symbol '}' in binding. Expected '|}' or other token.
3+
4+
neg114.fs(6,29,6,31): parse error FS0605: Unmatched '{|'
5+
6+
neg114.fs(8,5,8,8): parse error FS0058: Possible incorrect indentation: this token is offside of context started at position (6:29). Try indenting this token further or using standard formatting conventions.
7+
8+
neg114.fs(10,5,10,9): parse error FS0058: Possible incorrect indentation: this token is offside of context started at position (8:5). Try indenting this token further or using standard formatting conventions.
9+
10+
neg114.fs(10,5,10,9): parse error FS0010: Unexpected keyword 'type' in binding. Expected incomplete structured construct at or before this point or other token.
11+
12+
neg114.fs(6,5,6,8): parse error FS3118: Incomplete value or function definition. If this is in an expression, the body of the expression must be indented to the same column as the 'let' keyword.
13+
14+
neg114.fs(10,25,10,26): parse error FS0010: Unexpected symbol '}' in type definition. Expected '|}' or other token.
15+
16+
neg114.fs(10,14,10,16): parse error FS0605: Unmatched '{|'
17+
18+
neg114.fs(12,5,12,8): parse error FS0058: Possible incorrect indentation: this token is offside of context started at position (10:14). Try indenting this token further or using standard formatting conventions.
19+
20+
neg114.fs(13,1,13,1): parse error FS0010: Incomplete structured construct at or before this point in implementation file
21+
22+
neg114.fs(10,10,10,11): typecheck error FS0964: Type abbreviations cannot have augmentations
23+
24+
neg114.fs(12,5,12,27): typecheck error FS0912: This declaration element is not permitted in an augmentation

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp