-
Notifications
You must be signed in to change notification settings - Fork 1
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
Unknown Language Extension causes crash on startup #34
Comments
Hi! i am investigating on this and i found that ghc couls throw several
Maybe it is not probable but ghc dev could add more |
|
But the behavior catching the exception is not optimal, i.e. the actual of hie master (from ghc-mod): it shows a code error with a quick fix to replace the bad extension name with the more similar good one in any case (editing or just opening the bad file) 😟 Moreover the error alert is shown repeteadly (up to 5 times). EDIT: If i edit the file and write an incorrect extension the editor shows it correctly as a code error with quick fix but no if i open the file containing already the incorrect extension |
@jneira The error comes from |
It turns out that |
Just need to catch another exception.
Logs
The text was updated successfully, but these errors were encountered: