Skip to content

Commit

Permalink
Merge branch 'mr/pmderodat/lkt-reformat-tokens' into 'master'
Browse files Browse the repository at this point in the history
ada/tokens.lkt: minor reformatting

See merge request eng/libadalang/libadalang!1692
  • Loading branch information
pmderodat committed Jul 10, 2024
2 parents fa3d2d8 + bd3baa8 commit 4835aac
Showing 1 changed file with 4 additions and 16 deletions.
20 changes: 4 additions & 16 deletions ada/tokens.lkt
Original file line number Diff line number Diff line change
Expand Up @@ -148,31 +148,19 @@ lexer ada_lexer {
Notequal <- "/="
Divide <- "/"
Tick <- "'"
Pipe <- or(
| "|"
| "!"
)
Pipe <- or("|" | "!")
LabelStart <- "<<"
LabelEnd <- ">>"
Target <- "@"

# Literals
@unparsing_spacing(with=alphanumericals)
family alphanumericals {
Integer <- or(
| p"{integer_literal}"
| p"{based_integer_literal}"
)
Decimal <- or(
| p"{decimal_literal}"
| p"{based_decimal_literal}"
)
Integer <- or(p"{integer_literal}" | p"{based_integer_literal}")
Decimal <- or(p"{decimal_literal}" | p"{based_decimal_literal}")
}

String <- or(
| p"{p_string}"
| p"{p_percent_string}"
)
String <- or(p"{p_string}" | p"{p_percent_string}")
FormatStringStart <- p"{p_format_string_start}"
FormatStringMid <- p"{p_format_string_mid}"
FormatStringEnd <- p"{p_format_string_end}"
Expand Down

0 comments on commit 4835aac

Please sign in to comment.