You signed in with another tab or window.Reload to refresh your session.You signed out in another tab or window.Reload to refresh your session.You switched accounts on another tab or window.Reload to refresh your session.Dismiss alert
* Optimize in FCS* Transport tcConfig* Cleanup* Replace more ILAsm in Exprs* More ILAsm replacements* update resource name* Added some tests (dotnet#40)* Add option to toggle unused declarations analyzer (dotnet#4074)* Add option to toggle unused declarations analyzer* Better name and handle registering code fixes.This will ensure that if someone uses warnon:1182, we won't suggestfixes if they've turned off the feature.* Revertdotnet#1650 (anddotnet#3366) (dotnet#4173)* Fix error logging in brace matching code (dotnet#4140)* Remove error logger pushing code* Update service.fs*Fixdotnet#4200: Vsix: fix empty "New file" window for web projects (dotnet#4202)* LOC CHECKIN | visualfsharp - master | 20180112 (dotnet#4194)* Fixed FCS netcore tests (dotnet#4180)* Remove ambiguous resolution error FS0332 (dotnet#4170)* Add IsInteractive to parsing options for script load closures (dotnet#4169)* Add IsInteractive to FSharpParsingOptions* Add test* Set serializable bit for all serializable types (dotnet#4211)* Minor fix (dotnet#4195)on string 58.* Symbols API: add Index to active pattern case, Name to pattern group (dotnet#4222)* Symbols API: add Index to active pattern case, Name to pattern group* Symbols API: add active pattern case use tests* don't rebuild (dotnet#4230)* Optimize in FCS* Transport tcConfig* Cleanup* Replace more ILAsm in Exprs* More ILAsm replacements* update resource name* Added some tests* test conditions update* test update* test condition update* test update* review update* added checked operators* fixed dual conversions* review fixes* more targeted replacements* adapt to latest* added more tests* added more tests* review fixes* fixed warnings
Copy file name to clipboardExpand all lines: src/fsharp/TastOps.fs
+67-5Lines changed: 67 additions & 5 deletions
Original file line number
Diff line number
Diff line change
@@ -6140,22 +6140,84 @@ let mkCallNewQuerySource (g:TcGlobals) m ty1 ty2 e1 = m
6140
6140
6141
6141
letmkCallCreateEvent(g:TcGlobals)m ty1 ty2 e1 e2 e3= mkApps g(typedExprForIntrinsic g m g.create_event_info,[[ty1;ty2]],[ e1;e2;e3], m)
6142
6142
letmkCallGenericComparisonWithComparerOuter(g:TcGlobals)m ty comp e1 e2= mkApps g(typedExprForIntrinsic g m g.generic_comparison_withc_outer_info,[[ty]],[ comp;e1;e2], m)
6143
-
letmkCallEqualsOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.equals_operator_info,[[ty]],[ e1;e2], m)
6144
6143
letmkCallGenericEqualityEROuter(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.generic_equality_er_outer_info,[[ty]],[ e1;e2], m)
6145
6144
letmkCallGenericEqualityWithComparerOuter(g:TcGlobals)m ty comp e1 e2= mkApps g(typedExprForIntrinsic g m g.generic_equality_withc_outer_info,[[ty]],[comp;e1;e2], m)
6146
6145
letmkCallGenericHashWithComparerOuter(g:TcGlobals)m ty comp e1= mkApps g(typedExprForIntrinsic g m g.generic_hash_withc_outer_info,[[ty]],[comp;e1], m)
6147
6146
6148
-
letmkCallSubtractionOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.unchecked_subtraction_info,[[ty; ty; ty]],[e1;e2], m)
6147
+
letmkCallEqualsOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.equals_operator_info,[[ty]],[ e1;e2], m)
6148
+
letmkCallNotEqualsOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.not_equals_operator,[[ty]],[ e1;e2], m)
6149
+
letmkCallLessThanOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.less_than_operator,[[ty]],[ e1;e2], m)
6150
+
letmkCallLessThanOrEqualsOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.less_than_or_equals_operator,[[ty]],[ e1;e2], m)
6151
+
letmkCallGreaterThanOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.greater_than_operator,[[ty]],[ e1;e2], m)
6152
+
letmkCallGreaterThanOrEqualsOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.greater_than_or_equals_operator,[[ty]],[ e1;e2], m)
6149
6153
6150
-
letmkCallArrayLength(g:TcGlobals)m ty el= mkApps g(typedExprForIntrinsic g m g.array_length_info,[[ty]],[el], m)
6151
-
letmkCallArrayGet(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.array_get_info,[[ty]],[ e1; e2], m)
6154
+
letmkCallAdditionOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.unchecked_addition_info,[[ty; ty; ty]],[e1;e2], m)
6155
+
letmkCallSubtractionOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.unchecked_subtraction_info,[[ty; ty; ty]],[e1;e2], m)
6156
+
letmkCallMultiplyOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.unchecked_multiply_info,[[ty; ty; ty]],[e1;e2], m)
6157
+
letmkCallDivisionOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.unchecked_division_info,[[ty; ty; ty]],[e1;e2], m)
6158
+
letmkCallModulusOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.unchecked_modulus_info,[[ty; ty; ty]],[e1;e2], m)
6159
+
letmkCallBitwiseAndOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.bitwise_and_info,[[ty]],[e1;e2], m)
6160
+
letmkCallBitwiseOrOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.bitwise_or_info,[[ty]],[e1;e2], m)
6161
+
letmkCallBitwiseXorOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.bitwise_xor_info,[[ty]],[e1;e2], m)
6162
+
letmkCallShiftLeftOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.bitwise_shift_left_info,[[ty]],[e1;e2], m)
6163
+
letmkCallShiftRightOperator(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.bitwise_shift_right_info,[[ty]],[e1;e2], m)
6164
+
6165
+
letmkCallUnaryNegOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.unchecked_unary_minus_info,[[ty]],[e1], m)
6166
+
letmkCallUnaryNotOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.bitwise_unary_not_info,[[ty]],[e1], m)
6167
+
6168
+
letmkCallAdditionChecked(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.checked_addition_info,[[ty; ty; ty]],[e1;e2], m)
6169
+
letmkCallSubtractionChecked(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.checked_subtraction_info,[[ty; ty; ty]],[e1;e2], m)
6170
+
letmkCallMultiplyChecked(g:TcGlobals)m ty e1 e2= mkApps g(typedExprForIntrinsic g m g.checked_multiply_info,[[ty; ty; ty]],[e1;e2], m)
6171
+
letmkCallUnaryNegChecked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.checked_unary_minus_info,[[ty]],[e1], m)
6172
+
6173
+
letmkCallToByteChecked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.byte_checked_info,[[ty]],[e1], m)
6174
+
letmkCallToSByteChecked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.sbyte_checked_info,[[ty]],[e1], m)
6175
+
letmkCallToInt16Checked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.int16_checked_info,[[ty]],[e1], m)
6176
+
letmkCallToUInt16Checked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.uint16_checked_info,[[ty]],[e1], m)
6177
+
letmkCallToIntChecked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.int_checked_info,[[ty]],[e1], m)
6178
+
letmkCallToInt32Checked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.int32_checked_info,[[ty]],[e1], m)
6179
+
letmkCallToUInt32Checked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.uint32_checked_info,[[ty]],[e1], m)
6180
+
letmkCallToInt64Checked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.int64_checked_info,[[ty]],[e1], m)
6181
+
letmkCallToUInt64Checked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.uint64_checked_info,[[ty]],[e1], m)
6182
+
letmkCallToIntPtrChecked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.nativeint_checked_info,[[ty]],[e1], m)
6183
+
letmkCallToUIntPtrChecked(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.unativeint_checked_info,[[ty]],[e1], m)
6184
+
6185
+
letmkCallToByteOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.byte_operator_info,[[ty]],[e1], m)
6186
+
letmkCallToSByteOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.sbyte_operator_info,[[ty]],[e1], m)
6187
+
letmkCallToInt16Operator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.int16_operator_info,[[ty]],[e1], m)
6188
+
letmkCallToUInt16Operator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.uint16_operator_info,[[ty]],[e1], m)
6189
+
letmkCallToIntOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.int_operator_info,[[ty]],[e1], m)
6190
+
letmkCallToInt32Operator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.int32_operator_info,[[ty]],[e1], m)
6191
+
letmkCallToUInt32Operator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.uint32_operator_info,[[ty]],[e1], m)
6192
+
letmkCallToInt64Operator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.int64_operator_info,[[ty]],[e1], m)
6193
+
letmkCallToUInt64Operator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.uint64_operator_info,[[ty]],[e1], m)
6194
+
letmkCallToSingleOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.float32_operator_info,[[ty]],[e1], m)
6195
+
letmkCallToDoubleOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.float_operator_info,[[ty]],[e1], m)
6196
+
letmkCallToIntPtrOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.nativeint_operator_info,[[ty]],[e1], m)
6197
+
letmkCallToUIntPtrOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.unativeint_operator_info,[[ty]],[e1], m)
6198
+
6199
+
letmkCallToCharOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.char_operator_info,[[ty]],[e1], m)
6200
+
letmkCallToEnumOperator(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.enum_operator_info,[[ty]],[e1], m)
6201
+
6202
+
letmkCallArrayLength(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.array_length_info,[[ty]],[e1], m)
6203
+
letmkCallArrayGet(g:TcGlobals)m ty e1 idx1= mkApps g(typedExprForIntrinsic g m g.array_get_info,[[ty]],[ e1; idx1], m)
6152
6204
letmkCallArray2DGet(g:TcGlobals)m ty e1 idx1 idx2= mkApps g(typedExprForIntrinsic g m g.array2D_get_info,[[ty]],[ e1; idx1; idx2], m)
6153
6205
letmkCallArray3DGet(g:TcGlobals)m ty e1 idx1 idx2 idx3= mkApps g(typedExprForIntrinsic g m g.array3D_get_info,[[ty]],[ e1; idx1; idx2; idx3], m)
6154
6206
letmkCallArray4DGet(g:TcGlobals)m ty e1 idx1 idx2 idx3 idx4= mkApps g(typedExprForIntrinsic g m g.array4D_get_info,[[ty]],[ e1; idx1; idx2; idx3; idx4], m)
6207
+
letmkCallArraySet(g:TcGlobals)m ty e1 idx1 v= mkApps g(typedExprForIntrinsic g m g.array_set_info,[[ty]],[ e1; idx1; v], m)
6208
+
letmkCallArray2DSet(g:TcGlobals)m ty e1 idx1 idx2 v= mkApps g(typedExprForIntrinsic g m g.array2D_set_info,[[ty]],[ e1; idx1; idx2; v], m)
6209
+
letmkCallArray3DSet(g:TcGlobals)m ty e1 idx1 idx2 idx3 v= mkApps g(typedExprForIntrinsic g m g.array3D_set_info,[[ty]],[ e1; idx1; idx2; idx3; v], m)
6210
+
letmkCallArray4DSet(g:TcGlobals)m ty e1 idx1 idx2 idx3 idx4 v= mkApps g(typedExprForIntrinsic g m g.array4D_set_info,[[ty]],[ e1; idx1; idx2; idx3; idx4; v], m)
6211
+
6212
+
letmkCallHash(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.hash_info,[[ty]],[ e1], m)
6213
+
letmkCallBox(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.box_info,[[ty]],[ e1], m)
6214
+
letmkCallIsNull(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.isnull_info,[[ty]],[ e1], m)
6215
+
letmkCallIsNotNull(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.isnotnull_info,[[ty]],[ e1], m)
6216
+
letmkCallRaise(g:TcGlobals)m ty e1= mkApps g(typedExprForIntrinsic g m g.raise_info,[[ty]],[ e1], m)
6217
+
6155
6218
letmkCallNewDecimal(g:TcGlobals)m(e1,e2,e3,e4,e5)= mkApps g(typedExprForIntrinsic g m g.new_decimal_info,[],[ e1;e2;e3;e4;e5], m)
6156
6219
6157
6220
letmkCallNewFormat(g:TcGlobals)m aty bty cty dty ety e1= mkApps g(typedExprForIntrinsic g m g.new_format_info,[[aty;bty;cty;dty;ety]],[ e1], m)
6158
-
letmkCallRaise(g:TcGlobals)m aty e1= mkApps g(typedExprForIntrinsic g m g.raise_info,[[aty]],[ e1], m)