You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently ghci generates a lot of compiler warnings while compiling the saw-remote-api package in the saw-script repo. We should make this code warning-clean. Some of the warnings are minor, but there are also potentially serious incomplete-pattern-match warnings in there too.
The text was updated successfully, but these errors were encountered:
Currently ghci generates a lot of compiler warnings while compiling the
saw-remote-api
package in the saw-script repo. We should make this code warning-clean. Some of the warnings are minor, but there are also potentially serious incomplete-pattern-match warnings in there too.The text was updated successfully, but these errors were encountered: