/
neg16.bsl
92 lines (55 loc) · 4.58 KB
/
neg16.bsl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
neg16.fs(7,13,7,16): typecheck error FS0644: Namespaces cannot contain extension members except in the same file and namespace where the type is defined. Consider using a module to hold declarations of extension members.
neg16.fs(23,10,23,11): typecheck error FS0935: Types with the 'AllowNullLiteral' attribute may only inherit from or implement types which also allow the use of the null literal
neg16.fs(23,10,23,11): typecheck error FS0935: Types with the 'AllowNullLiteral' attribute may only inherit from or implement types which also allow the use of the null literal
neg16.fs(35,10,35,11): typecheck error FS0934: Records, union, abbreviations and struct types cannot have the 'AllowNullLiteral' attribute
neg16.fs(38,10,38,11): typecheck error FS0934: Records, union, abbreviations and struct types cannot have the 'AllowNullLiteral' attribute
neg16.fs(41,10,41,11): typecheck error FS0934: Records, union, abbreviations and struct types cannot have the 'AllowNullLiteral' attribute
neg16.fs(44,10,44,11): typecheck error FS0934: Records, union, abbreviations and struct types cannot have the 'AllowNullLiteral' attribute
neg16.fs(47,10,47,13): typecheck error FS0934: Records, union, abbreviations and struct types cannot have the 'AllowNullLiteral' attribute
neg16.fs(49,7,49,23): typecheck error FS0842: This attribute is not valid for use on this language element
neg16.fs(52,7,52,23): typecheck error FS0842: This attribute is not valid for use on this language element
neg16.fs(59,7,59,20): typecheck error FS0001: This expression was expected to have type
Choice<'a,'b>
but here has type
string
neg16.fs(60,7,60,24): typecheck error FS0827: This is not a valid name for an active pattern
neg16.fs(61,7,61,32): typecheck error FS0827: This is not a valid name for an active pattern
neg16.fs(62,7,62,19): typecheck error FS0001: This expression was expected to have type
'a option
but here has type
string
neg16.fs(67,7,67,28): typecheck error FS0001: This expression was expected to have type
Choice<'a,'b>
but here has type
string
neg16.fs(68,7,68,33): typecheck error FS0827: This is not a valid name for an active pattern
neg16.fs(69,7,69,40): typecheck error FS0827: This is not a valid name for an active pattern
neg16.fs(70,7,70,27): typecheck error FS0001: This expression was expected to have type
'a option
but here has type
string
neg16.fs(75,11,75,32): typecheck error FS0001: This expression was expected to have type
Choice<'a,'b>
but here has type
string
neg16.fs(76,11,76,36): typecheck error FS0827: This is not a valid name for an active pattern
neg16.fs(77,12,77,45): typecheck error FS0827: This is not a valid name for an active pattern
neg16.fs(78,11,78,31): typecheck error FS0001: This expression was expected to have type
'a option
but here has type
string
neg16.fs(85,8,85,18): typecheck error FS0039: The pattern discriminator 'FooA++' is not defined
neg16.fs(87,50,87,54): typecheck error FS0039: The value or constructor 'OneA' is not defined
neg16.fs(87,60,87,69): typecheck error FS0039: The value or constructor 'TwoA+' is not defined
neg16.fs(90,8,90,18): typecheck error FS0039: The pattern discriminator 'FooB++' is not defined
neg16.fs(97,15,97,16): typecheck error FS0823: The 'VolatileField' attribute may only be used on 'let' bindings in classes
neg16.fs(100,11,100,14): typecheck error FS0823: The 'VolatileField' attribute may only be used on 'let' bindings in classes
neg16.fs(100,11,100,14): typecheck error FS0879: Volatile fields must be marked 'mutable' and cannot be thread-static
neg16.fs(103,7,103,9): typecheck error FS0823: The 'VolatileField' attribute may only be used on 'let' bindings in classes
neg16.fs(103,7,103,9): typecheck error FS0879: Volatile fields must be marked 'mutable' and cannot be thread-static
neg16.fs(119,17,119,24): typecheck error FS0823: The 'VolatileField' attribute may only be used on 'let' bindings in classes
neg16.fs(107,16,107,19): typecheck error FS0879: Volatile fields must be marked 'mutable' and cannot be thread-static
neg16.fs(110,16,110,20): typecheck error FS0879: Volatile fields must be marked 'mutable' and cannot be thread-static
neg16.fs(113,9,113,11): typecheck error FS0879: Volatile fields must be marked 'mutable' and cannot be thread-static
neg16.fs(116,9,116,13): typecheck error FS0879: Volatile fields must be marked 'mutable' and cannot be thread-static
neg16.fs(130,10,130,11): typecheck error FS0935: Types with the 'AllowNullLiteral' attribute may only inherit from or implement types which also allow the use of the null literal