Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Rust] Reduced generated method namespacing #3916

Merged
merged 1 commit into from
Oct 1, 2024
Merged

[Rust] Reduced generated method namespacing #3916

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
133 changes: 61 additions & 72 deletions src/Fable.Transforms/Rust/Fable2Rust.fs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4416,20 +4416,10 @@ module Util =
let fnKind = mkFnKind DEFAULT_FN_HEADER fnDecl NO_GENERICS fnBody
let fnItem = mkFnAssocItem [] "fmt" fnKind

let genArgsOpt = transformGenArgs com ctx genArgs
let traitBound = mkTypeTraitGenericBound [ entName ] genArgsOpt
let self_ty = mkTraitTy [ traitBound ]
let generics = makeGenerics com ctx genArgs

let implItemFor traitName =
let path = mkGenericPath ("core" :: "fmt" :: traitName :: []) None
let ofTrait = mkTraitRef path |> Some
mkImplItem [] "" self_ty generics [ fnItem ] ofTrait
let path = mkGenericPath ("core" :: "fmt" :: "Display" :: []) None
let ofTrait = mkTraitRef path |> Some

[
// implItemFor "Debug"
implItemFor "Display"
]
makeTraitImpls com ctx entName genArgs ofTrait [ fnItem ]

let op_impl_map =
Map
Expand All @@ -4455,40 +4445,47 @@ module Util =
com
ctx
(ent: Fable.Entity)
entType
self_ty
genArgTys
(decl: Fable.MemberDecl, memb: Fable.MemberFunctionOrValue)
entName
genArgs
(members: (Fable.MemberDecl * Fable.MemberFunctionOrValue) list)
=
op_impl_map
|> Map.tryFind memb.CompiledName
|> Option.filter (fun _ ->
// TODO: more checks if parameter types match the operator?
ent.IsValueType
&& not (memb.IsInstance) // operators are static
&& decl.Args.Head.Type = entType
&& decl.Body.Type = entType
)
|> Option.map (fun (op_macro, op_trait, op_fn) ->
let rhs_tys =
decl.Args.Tail
|> List.map (fun arg ->
if arg.Type = entType then
mkImplSelfTy ()
else
arg.Type |> transformType com ctx
)
let entType = FSharp2Fable.Util.getEntityType ent
let genArgTys = transformGenTypes com ctx genArgs
let genArgsOpt = transformGenArgs com ctx genArgs
let self_ty = makeFullNamePathTy entName genArgsOpt

let macroName = getLibraryImportName com ctx "Native" op_macro
let id_tokens = [ op_trait; op_fn; decl.Name ] |> List.map mkIdentToken
let ty_tokens = (self_ty :: rhs_tys) @ genArgTys |> List.map mkTyToken
members
|> List.choose (fun (decl, memb) ->
op_impl_map
|> Map.tryFind memb.CompiledName
|> Option.filter (fun _ ->
// TODO: more checks if parameter types match the operator?
ent.IsValueType
&& not (memb.IsInstance) // operators are static
&& decl.Args.Head.Type = entType
&& decl.Body.Type = entType
)
|> Option.map (fun (op_macro, op_trait, op_fn) ->
let rhs_tys =
decl.Args.Tail
|> List.map (fun arg ->
if arg.Type = entType then
mkImplSelfTy ()
else
arg.Type |> transformType com ctx
)

let macroName = getLibraryImportName com ctx "Native" op_macro
let id_tokens = [ op_trait; op_fn; decl.Name ] |> List.map mkIdentToken
let ty_tokens = (self_ty :: rhs_tys) @ genArgTys |> List.map mkTyToken

let implItem =
id_tokens @ ty_tokens
|> mkParensCommaDelimitedMacCall macroName
|> mkMacCallItem [] ""
let implItem =
id_tokens @ ty_tokens
|> mkParensCommaDelimitedMacCall macroName
|> mkMacCallItem [] ""

implItem
implItem
)
)

let withCurrentScope ctx (usedNames: Set<string>) f =
Expand Down Expand Up @@ -4527,19 +4524,20 @@ module Util =

[ ctorItem ]

let makeInterfaceTraitImpls (com: IRustCompiler) ctx entName genArgs ifcEntRef ifcGenArgs memberItems =
let makeTraitImpls (com: IRustCompiler) ctx entName genArgs ofTrait memberItems =
let genArgsOpt = transformGenArgs com ctx genArgs
let traitBound = mkTypeTraitGenericBound [ entName ] genArgsOpt
let self_ty = mkTraitTy [ traitBound ]
let generics = makeGenerics com ctx genArgs
let implItem = mkImplItem [] "" self_ty generics memberItems ofTrait
[ implItem ]

let ifcFullName = ifcEntRef |> getEntityFullName com ctx
let ifcGenArgsOpt = ifcGenArgs |> transformGenArgs com ctx

let makeInterfaceTraitImpls (com: IRustCompiler) ctx entName genArgs ifcEntRef ifcGenArgs memberItems =
let ifcFullName = getEntityFullName com ctx ifcEntRef
let ifcGenArgsOpt = transformGenArgs com ctx ifcGenArgs
let path = makeFullNamePath ifcFullName ifcGenArgsOpt
let ofTrait = mkTraitRef path |> Some
let implItem = mkImplItem [] "" self_ty generics memberItems ofTrait
[ implItem ]
memberItems |> makeTraitImpls com ctx entName genArgs ofTrait

// let objectMemberNames =
// set
Expand All @@ -4562,21 +4560,15 @@ module Util =
let transformClassMembers (com: IRustCompiler) ctx genArgs (classDecl: Fable.ClassDecl) =
let entRef = classDecl.Entity
let ent = com.GetEntity(entRef)

let isObjectExpr = ent.IsInterface || ent.FullName = "System.Object"

let entName, self_ty =
let entName =
if isObjectExpr then
let entName = classDecl.Name
let genArgsOpt = transformGenArgs com ctx genArgs
let self_ty = makeFullNamePathTy entName genArgsOpt
entName, self_ty
classDecl.Name
else
let entName = getEntityFullName com ctx entRef |> Fable.Naming.splitLast
let self_ty = transformEntityType com ctx entRef genArgs
entName, self_ty
getEntityFullName com ctx entRef |> Fable.Naming.splitLast

let entType = FSharp2Fable.Util.getEntityType ent
let genArgTys = transformGenTypes com ctx genArgs
let genParams = FSharp2Fable.Util.getGenParamTypes genArgs

let ctx = { ctx with ScopedEntityGenArgs = getEntityGenParamNames ent }
Expand Down Expand Up @@ -4614,9 +4606,7 @@ module Util =
if List.isEmpty memberItems then
[]
else
let generics = makeGenerics com ctx genArgs
let implItem = mkImplItem [] "" self_ty generics memberItems None
[ implItem ]
memberItems |> makeTraitImpls com ctx entName genArgs None

let displayTraitImpls =
let hasToString =
Expand All @@ -4625,8 +4615,7 @@ module Util =
makeDisplayTraitImpls com ctx entName genParams hasToString

let operatorTraitImpls =
nonInterfaceMembers
|> List.choose (makeOpTraitImpls com ctx ent entType self_ty genArgTys)
nonInterfaceMembers |> makeOpTraitImpls com ctx ent entName genArgs

let interfaceTraitImpls =
interfaceMembers
Expand All @@ -4637,8 +4626,12 @@ module Util =
not (ignoredInterfaceNames |> Set.contains ifcEntRef.FullName)
)
|> List.collect (fun ifcEntRef ->
let ifcEnt = com.GetEntity(ifcEntRef)
let ifcGenArgs = FSharp2Fable.Util.getEntityGenArgs ifcEnt
let ifcGenArgs =
if ent.IsInterface then
genArgs
else
let ifcEnt = com.GetEntity(ifcEntRef)
FSharp2Fable.Util.getEntityGenArgs ifcEnt

let memberNames = getInterfaceMemberNames com ifcEntRef

Expand All @@ -4647,12 +4640,8 @@ module Util =
|> List.filter (fun (d, m) -> Set.contains m.FullName memberNames)
|> List.map (makeMemberItem com ctx false)

if ent.IsInterface then
memberItems
|> makeInterfaceTraitImpls com ctx entName genParams ifcEntRef genArgs
else
memberItems
|> makeInterfaceTraitImpls com ctx entName genParams ifcEntRef ifcGenArgs
memberItems
|> makeInterfaceTraitImpls com ctx entName genParams ifcEntRef ifcGenArgs
)

nonInterfaceImpls @ displayTraitImpls @ operatorTraitImpls @ interfaceTraitImpls
Expand Down
2 changes: 1 addition & 1 deletion tests/Rust/tests/src/ClassTests.fs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -86,8 +86,8 @@
override _.ToString() = "Adder"
interface IHasAdd with
member _.Add x y = x + y }
// b.ToString() |> equal "Adder"
// b.ToString() |> equal "Adder" // TODO: enable once lrc_ptr is default
(b :> IHasAdd).Add 2 3 |> equal 5

Check warning on line 90 in tests/Rust/tests/src/ClassTests.fs

View workflow job for this annotation

GitHub Actions / build-rust (no_std) 

This upcast is unnecessary - the types are identical

Check warning on line 90 in tests/Rust/tests/src/ClassTests.fs

View workflow job for this annotation

GitHub Actions / build-rust (threaded) 

This upcast is unnecessary - the types are identical

Check warning on line 90 in tests/Rust/tests/src/ClassTests.fs

View workflow job for this annotation

GitHub Actions / build-rust (default) 

This upcast is unnecessary - the types are identical

Check warning on line 90 in tests/Rust/tests/src/ClassTests.fs

View workflow job for this annotation

GitHub Actions / analyzers 

This upcast is unnecessary - the types are identical

[<Fact>]
let ``Object expression instance calls works`` () =
Expand Down
Loading