| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|\
| |
| | |
Add "enum" construct
|
| |
| |
| |
| |
| |
| |
| | |
The previous scheme did not work because desugaring cannot deal with
repeated expansions. We now sidestep the issue by doing the expansion in the parser. Luckily,
positions work out perfectly, so that one can reconstruct the source precisely from the parsed untyped
trees.
|
| |
| |
| |
| | |
Modify syntax.md and Tokens/Parser/untpd to support enums.
|
|\ \
| |/
|/| |
Fixes `@unchecked` warnings
|
| | |
|
|\ \
| | |
| | | |
Fix #1959: infix type operators in the REPL
|
| |/
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
Infix type operators were broken in the REPL.
The REPL uses fold methods from the untpd package,
but those were skipping the operator subtree when folding
over an InfixOp.
Fix the issue by taking the operator into account.
Tested:
1) Verified that only the REPL code uses the modified
fold method.
2) Added repl test.
|
|/ |
|
| |
|
|
|
|
|
|
|
|
| |
This has two advantages:
- We can distinguish BackquotedIdent from Ident, allowing the user to
use a defined "type `&`", see testcase.
- We get better positions for the operators. This is useful in IDEs, for
example to get the type at point.
|
| |
|
| |
|
|
|
|
|
| |
When the expected type is an implicit function, create an
implicit closure to match it.
|
|
|
|
|
| |
Implicit modifiers were quite irregular compared
to the other ones. This commit does a cleanup.
|
| |
|
|
|