-
Notifications
You must be signed in to change notification settings - Fork 26
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
Class Relies on other Class with Less Strict Void Safety Settings #62
Comments
I located the tutorial project ECF's and got the same issue. The problem appears to be in the: path: "[user_path]\EWF-0.3\library\server\wsf\default\nino-safe.ecf" In the tutorial "hello" target, the error is the same:
Configuration error: a class relies on another class with less strict void safety settings. Class: HELLO_APPLICATION |
Hi, Which version of EiffelStudio are you using ? |
Indeed one need to apply a commit I made on the master to ensure all compile fine. I am in vacation right now until end of July. For now either use eiffelstudio 7.3 with the EWF lib delivered with 7.3. Or use the master branch of EWF |
Just realized I'm not part of the EiffelWebFramework Owners Team so I won't be able to fix it as I don't have the right to 😞 |
Just to double check, we want to merge the release-03 branch with the master branch? |
Using v. 7.2, but curious to know what changes are in 7.3 that facilitate the EWF. |
Quick reply 7.3 introduces the notion of complete void safety. Hopefully Olivier and Javier corrected this since I am currently in I hope this is clear now = all my mistake. Jocelyn
|
Thanks to Jocelyn, I'm now part of the EWF Owners Team 😏 @ljr1981 : can you update your local repository and try again ? |
I will try today! :-) Thank you folks! |
Larry, can you confirm this issue is fixed? |
I am not entirely certain, but the issue seems to have been a confusion based on the different void-safety settings in 7.3 v. 7.2 and I was opening the project in 7.2. I had a similar issue with another project and then noted the differences in the void-safety settings. Having downloaded 7.3 GPL for my local laptop, there appears to be no issue. I think you can close this one out. |
The following error stops the clean compile of the "simple" project when opening for the first time in Windows.
Configuration error: a class relies on another class with less strict void safety settings.
What to do: change void safety options so that ancestor or supplier provides higher or equal void safety.
Class: APPLICATION
Other class: WSF_DEFAULT_SERVICE
Line: 10
inherit
-> WSF_DEFAULT_SERVICE
redefine
I have double-checked each target to ensure it is set to Complete Void Safety. Not sure what is wrong.
The text was updated successfully, but these errors were encountered: