For type, class, etc. names that start with symbols, we'll need to escape them with an uppercase character; however, for function, argument, etc. names that start with symbols, we need to use lowercase characters. The Haskell Report requires type names to start with Unicode uppercase or titlecase characters, and value names to start with Unicode lowercase characters (or _). Unfortunately, caseless characters fulfill none of these requirements, I don't think.
Will we have to determine whether to use an uppercase or lowercase character based on where the identifiers is being used (i.e. in a type or not)?
For type, class, etc. names that start with symbols, we'll need to escape them with an uppercase character; however, for function, argument, etc. names that start with symbols, we need to use lowercase characters. The Haskell Report requires type names to start with Unicode uppercase or titlecase characters, and value names to start with Unicode lowercase characters (or
_). Unfortunately, caseless characters fulfill none of these requirements, I don't think.Will we have to determine whether to use an uppercase or lowercase character based on where the identifiers is being used (i.e. in a type or not)?
EDIT: This issue will now be focused on value-level identifiers. For now, we'll disallow type-level identifiers from starting with symbols. See https://app.gitkraken.com/glo/board/Wunz108ztxUAEpyt/card/XY7tJWQStAAPtSHR.