Proposal: Allow U+0009 in source files #3939

Summary

Purescript is an indentation-based syntax, similar to Haskell. It would therefore be useful to be able to indent code using the character set aside for this purpose, which is U+0009.

Motivation

Currently U+0009 is considered a syntax error.

Proposal

Allow U+0009 and treat it as one level of indentation. If a layout algorithm that is not aware of indentation is used, treating it as a single whitespace character should suffice. If a very picky alignment-based algorithm is used, treating it as eight whitespace characters should suffice.

Examples

main = do
	log "hello"