nwolverson/vscode-ide-purescript

Indentation settings not respected?

chtenb opened this issue · 1 comments

Hi, thanks for the great plugin.

After pressing enter to open a new line, the indentation width is 4 spaces instead of 2 spaces. This only happens in .purs files. The indentation size is set correctly using a .editorconfig file, and pressing tab explicitly indeed inserts two spaces.

image

Firstly, this extension is not responsible for purescript syntax, that would be vscode-language-purescript.

Secondly, I think you're not quite describing the behaviour fully, at least in my experience in some (even most) places hitting enter will align with the current indentation, there seems to be a case as you highlight above where the indentation is increased.

I can only assume this derives from the default VSCode indentation rules - there was an attempt to define PureScript indentation rules here which was reverted due to being unhelpful: nwolverson/vscode-language-purescript#12

I've raised an issue in the other repo.