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
Use the more polymorphic <> to concatenate strings
Just in case we ever move a String type that is not a [Char], but
something more like UTF-8 text. The more polymorphic <> should work even
if String is no longer a list.
Also, add a signature to throwErrnoTwoPathsIfMinus1_
Co-authored-by: Viktor Dukhovni <[email protected]>
0 commit comments