Open
Description
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"