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
[395/395 UnusedName] src/Websocket.purs:377:7
377 otherwise -> pure unit
^^^^^^^^^
Name otherwise was introduced but not used.
in value declaration receiveServerEvent
An error
[2/2 UnknownImport] src/Websocket.purs:39:26
39 import Data.Array.Extra (firstMaybe)
^^^^^^^^^^
Cannot import value firstMaybe from module Data.Array.Extra
It either does not exist or the module does not export it.
The only way to tell that it is a warning or an error is by the color. But now we immediately see the problem, as soon as you copy paste and lose terminal colors the information is gone. I would suggest the following: 395 Warning UnusedName in src/Websocket.purs:377:7
The /395 and the brackets [, ] don't really add much but i would be ok if they stayed
The text was updated successfully, but these errors were encountered:
A warning
An error
The only way to tell that it is a warning or an error is by the color. But now we immediately see the problem, as soon as you copy paste and lose terminal colors the information is gone. I would suggest the following:
395 Warning UnusedName in src/Websocket.purs:377:7
The
/395
and the brackets[
,]
don't really add much but i would be ok if they stayedThe text was updated successfully, but these errors were encountered: