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
I'll ask the Idris devs whether they mind addressing the issue once-off (by importing only the required names from System.FilePath) but as Neil Mitchell points out it's probably better for GHCJS not to patch System.FilePath's exported names.
What's isWindows used for? Would you be open to a pull request to move it to somewhere internal to GHCJS?
Using GHCJS with Stack like so:
I cannot install
hlint
. It looks like thefilepath
patch is additionally exportingisWindows
, which causes the following error:The text was updated successfully, but these errors were encountered: