| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
|
|
|
|
| |
Introduce a new non-terminal "SimpleLiteral". Only SimpleLiterals can be
types.
|
|
|
|
|
|
| |
Null and 'sym are not legal as singleton types because the underlying
values are not stable. They are rejected now outright instead of issuing
a cryptic "X is not stable" error message.
|
|
|
|
| |
It's decided that constant types and purity are independent.
|
|
As the comment in pos/singletons.scala says, we currently
test only constant propagation during typer. We should also have a
test that literalize produces the literals in the right places.
|