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

Commit44e3e0d

Browse files
vasily-kirichenkoKevinRansom
authored andcommitted
Fix IL types constructors nice print (#3754)
* fix IL types constructors nice print* fix a test* static constructors do not return anything
1 parentbaf0c53 commit44e3e0d

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

‎src/fsharp/NicePrint.fs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1299,7 +1299,7 @@ module InfoMemberPrinting =
12991299
// Container(argName1:argType1, ..., argNameN:argTypeN) : retType
13001300
// Container.Method(argName1:argType1, ..., argNameN:argTypeN) : retType
13011301
letprivatelayoutMethInfoCSharpStyle amap m denv(minfo:MethInfo)minst=
1302-
letretTy= minfo.GetFSharpReturnTy(amap, m, minst)
1302+
letretTy=ifminfo.IsConstructorthen minfo.EnclosingTypeelse minfo.GetFSharpReturnTy(amap, m, minst)
13031303
letlayout=
13041304
if minfo.IsExtensionMemberthen
13051305
LeftL.leftParen^^ wordL(tagKeyword(FSComp.SR.typeInfoExtension()))^^ RightL.rightParen

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -349,9 +349,9 @@ neg20.fs(319,8,319,17): typecheck error FS3132: This type definition may not hav
349349

350350
neg20.fs(322,8,322,18): typecheck error FS3132: This type definition maynot have the 'CLIMutable' attribute. Only record types may have this attribute.
351351

352-
neg20.fs(335,11,335,24): typecheck error FS0041: A unique overloadfor method 'String' couldnot be determined based on type information priorto this program point. A type annotation may be needed. Candidates: System.String(value: char []) :unit, System.String(value: nativeptr<char>) :unit, System.String(value: nativeptr<sbyte>) :unit
352+
neg20.fs(335,11,335,24): typecheck error FS0041: A unique overloadfor method 'String' couldnot be determined based on type information priorto this program point. A type annotation may be needed. Candidates: System.String(value: char []) :System.String, System.String(value: nativeptr<char>) :System.String, System.String(value: nativeptr<sbyte>) :System.String
353353

354-
neg20.fs(336,11,336,22): typecheck error FS0041: A unique overloadfor method 'Guid' couldnot be determined based on type information priorto this program point. A type annotation may be needed. Candidates: System.Guid(b: byte []) :unit, System.Guid(g: string) :unit
354+
neg20.fs(336,11,336,22): typecheck error FS0041: A unique overloadfor method 'Guid' couldnot be determined based on type information priorto this program point. A type annotation may be needed. Candidates: System.Guid(b: byte []) :System.Guid, System.Guid(g: string) :System.Guid
355355

356356
neg20.fs(355,19,355,38): typecheck error FS1124: Multiple types exist called 'OverloadedClassName', taking different numbers of generic parameters. Provide a type instantiationto disambiguate the type resolution, e.g. 'OverloadedClassName<_>'.
357357

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp