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.

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

idiom119 broken, since moving feature∈ to property.equatable #3345

Open
michaellilltokiwa opened this issue Jul 9, 2024 · 0 comments
Open
Assignees
Labels
base library related to the Fuzion base library bug Something isn't working

Comments

@michaellilltokiwa
Copy link
Member

/home/not_synced/flang_dev/idioms/src/idiom119ex.fz:7:37: error 1: Call has an ambiguous result type since target of the call is a 'ref' type.
         r list String := nil, if e ∈ s then r
------------------------------------^^^
The result type of this call depends on the target type.  Since the target type is a 'ref' type that may represent a number of different actual dynamic types, the result type is not clearly defined.
Called feature: 'property.equatable.infix ∈'
Raw result type: 'container.Set property.this.equatable.this'
Type depending on target: 'property.this.equatable.this'
Target type: 'String'
To solve this, you could try to use a value type as the target type of the call, e,g., 'property.equatable', or change the result type of 'property.equatable.infix ∈' to no longer depend on 'property.this.equatable.this'.

one error.
@michaellilltokiwa michaellilltokiwa added bug Something isn't working base library related to the Fuzion base library labels Jul 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
base library related to the Fuzion base library bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants