Skip to content

Use spaces instead of tab character#17

Open
msakai wants to merge 1 commit intoadamwalker:masterfrom
msakai:untabify
Open

Use spaces instead of tab character#17
msakai wants to merge 1 commit intoadamwalker:masterfrom
msakai:untabify

Conversation

@msakai
Copy link

@msakai msakai commented Dec 18, 2021

How about replacing tab characters with spaces?

Recent GHC warns tab character usage [-Wtabs]. E.g.

haskell_cudd/Cudd/C.hs:116:1: warning: [-Wtabs]
    Tab character found here, and in 27 further locations.
    Please use spaces instead.
    |
116 |         c_cuddReadOne :: Ptr CDDManager -> IO (Ptr CDDNode)
    | ^^^^^^^^

Recent GHC warns tab usage [-Wtabs].
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant