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

Do not give repeated errors on missing type/methods optionally #1069

Closed
Jand42 opened this issue Oct 15, 2019 · 1 comment
Closed

Do not give repeated errors on missing type/methods optionally #1069

Jand42 opened this issue Oct 15, 2019 · 1 comment

Comments

@Jand42
Copy link
Member

Jand42 commented Oct 15, 2019

Currently, when attempting to compile a .NET library for WebSharper fully, if any basic type is not proxied (does not have a WebSharper/JavaScript implementation), every use of the type or any of its methods generate an error. This can be a long list with many repetitions although possibly there are only a couple missing types.

As a quick solution, these errors could be tracked and only reported at the first occurrence. This is not compromising build result but gives a much shorter list of errors to work through.

@Jand42
Copy link
Member Author

Jand42 commented Oct 15, 2019

Thinking about this a bit more, when the goal is not to proxy missing types but to work through the code and eliminate the type (switch to using something else), original error reporting (all locations) is better. So I am making it a compiler setting, with old behavior kept by default.

@Jand42 Jand42 added this to v4.6 in Releases Oct 23, 2019
@Jand42 Jand42 changed the title Do not give repeated errors on missing type/methods Do not give repeated errors on missing type/methods optionally Oct 23, 2019
Jand42 added a commit that referenced this issue Oct 25, 2019
@Jand42 Jand42 closed this as completed Jan 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant