sascha
/
difftastic
mirror of https://github.com/Wilfred/difftastic/
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Extend binaryExpr to guards as well

pull/204/head
Jonathan Arnett 2022-01-15 16:56:44 +07:00
parent 7a9759c44c
commit b0a23fe88f
5 changed files with 13532 additions and 13465 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
corpus/functions.txt
Unescape Escape View File

@ -606,10 +606,10 @@ fn trial(x, y, z) {
(identifier))))
guard: (case_clause_guard
(binary_expression
(tuple_access
left: (tuple_access
tuple: (identifier)
index: (integer))
(integer)))
right: (integer)))
value: (record
name: (type_identifier)))
(case_clause
@ -620,18 +620,18 @@ fn trial(x, y, z) {
(identifier))))
guard: (case_clause_guard
(binary_expression
(binary_expression
(binary_expression
(tuple_access
left: (binary_expression
left: (binary_expression
left: (tuple_access
tuple: (identifier)
index: (integer))
(integer))
(integer))
(binary_expression
(tuple_access
right: (integer))
right: (integer))
right: (binary_expression
left: (tuple_access
tuple: (identifier)
index: (integer))
(integer))))
right: (integer))))
value: (record
name: (type_identifier)))))
(case

160
grammar.js
Unescape Escape View File

@ -254,28 +254,28 @@ module.exports = grammar({
_expression: ($) => choice($._expression_unit, $.binary_expression),
binary_expression: ($) =>
choice(
binaryExpr($, prec.left, 1, "||"),
binaryExpr($, prec.left, 2, "&&"),
binaryExpr($, prec.left, 3, "=="),
binaryExpr($, prec.left, 3, "!="),
binaryExpr($, prec.left, 4, "<"),
binaryExpr($, prec.left, 4, "<="),
binaryExpr($, prec.left, 4, "<."),
binaryExpr($, prec.left, 4, "<=."),
binaryExpr($, prec.left, 4, ">"),
binaryExpr($, prec.left, 4, ">="),
binaryExpr($, prec.left, 4, ">."),
binaryExpr($, prec.left, 4, ">=."),
binaryExpr($, prec.left, 5, "|>"),
binaryExpr($, prec.left, 6, "+"),
binaryExpr($, prec.left, 6, "+."),
binaryExpr($, prec.left, 6, "-"),
binaryExpr($, prec.left, 6, "-."),
binaryExpr($, prec.left, 7, "*"),
binaryExpr($, prec.left, 7, "*."),
binaryExpr($, prec.left, 7, "/"),
binaryExpr($, prec.left, 7, "/."),
binaryExpr($, prec.left, 7, "%")
binaryExpr(prec.left, 1, "||", $._expression),
binaryExpr(prec.left, 2, "&&", $._expression),
binaryExpr(prec.left, 3, "==", $._expression),
binaryExpr(prec.left, 3, "!=", $._expression),
binaryExpr(prec.left, 4, "<", $._expression),
binaryExpr(prec.left, 4, "<=", $._expression),
binaryExpr(prec.left, 4, "<.", $._expression),
binaryExpr(prec.left, 4, "<=.", $._expression),
binaryExpr(prec.left, 4, ">", $._expression),
binaryExpr(prec.left, 4, ">=", $._expression),
binaryExpr(prec.left, 4, ">.", $._expression),
binaryExpr(prec.left, 4, ">=.", $._expression),
binaryExpr(prec.left, 5, "|>", $._expression),
binaryExpr(prec.left, 6, "+", $._expression),
binaryExpr(prec.left, 6, "+.", $._expression),
binaryExpr(prec.left, 6, "-", $._expression),
binaryExpr(prec.left, 6, "-.", $._expression),
binaryExpr(prec.left, 7, "*", $._expression),
binaryExpr(prec.left, 7, "*.", $._expression),
binaryExpr(prec.left, 7, "/", $._expression),
binaryExpr(prec.left, 7, "/.", $._expression),
binaryExpr(prec.left, 7, "%", $._expression)
),
// The way that this function is written in the Gleam parser is essentially
// incompatible with tree-sitter. It first parses some base expression,
@ -373,102 +373,18 @@ module.exports = grammar({
),
_case_clause_guard_binary_expression: ($) =>
choice(
prec.left(
1,
seq(
$._case_clause_guard_expression,
"||",
$._case_clause_guard_expression
)
),
prec.left(
2,
seq(
$._case_clause_guard_expression,
"&&",
$._case_clause_guard_expression
)
),
prec.left(
3,
seq(
$._case_clause_guard_expression,
"==",
$._case_clause_guard_expression
)
),
prec.left(
3,
seq(
$._case_clause_guard_expression,
"!=",
$._case_clause_guard_expression
)
),
prec.left(
4,
seq(
$._case_clause_guard_expression,
"<",
$._case_clause_guard_expression
)
),
prec.left(
4,
seq(
$._case_clause_guard_expression,
"<=",
$._case_clause_guard_expression
)
),
prec.left(
4,
seq(
$._case_clause_guard_expression,
"<.",
$._case_clause_guard_expression
)
),
prec.left(
4,
seq(
$._case_clause_guard_expression,
"<=.",
$._case_clause_guard_expression
)
),
prec.left(
4,
seq(
$._case_clause_guard_expression,
">",
$._case_clause_guard_expression
)
),
prec.left(
4,
seq(
$._case_clause_guard_expression,
">=",
$._case_clause_guard_expression
)
),
prec.left(
4,
seq(
$._case_clause_guard_expression,
">.",
$._case_clause_guard_expression
)
),
prec.left(
4,
seq(
$._case_clause_guard_expression,
">=.",
$._case_clause_guard_expression
)
)
binaryExpr(prec.left, 1, "||", $._case_clause_guard_expression),
binaryExpr(prec.left, 2, "&&", $._case_clause_guard_expression),
binaryExpr(prec.left, 3, "==", $._case_clause_guard_expression),
binaryExpr(prec.left, 3, "!=", $._case_clause_guard_expression),
binaryExpr(prec.left, 4, "<", $._case_clause_guard_expression),
binaryExpr(prec.left, 4, "<=", $._case_clause_guard_expression),
binaryExpr(prec.left, 4, "<.", $._case_clause_guard_expression),
binaryExpr(prec.left, 4, "<=.", $._case_clause_guard_expression),
binaryExpr(prec.left, 4, ">", $._case_clause_guard_expression),
binaryExpr(prec.left, 4, ">=", $._case_clause_guard_expression),
binaryExpr(prec.left, 4, ">.", $._case_clause_guard_expression),
binaryExpr(prec.left, 4, ">=.", $._case_clause_guard_expression)
),
_case_clause_guard_unit: ($) =>
choice(
@ -822,13 +738,9 @@ function series_of(rule, separator) {
// A binary expression with a left-hand side, infix operator, and then right-hand-side
// https://github.com/elixir-lang/tree-sitter-elixir/blob/de20391afe5cb03ef1e8a8e43167e7b58cc52869/grammar.js#L850-L859
function binaryExpr($, assoc, precedence, operator) {
function binaryExpr(assoc, precedence, operator, expr) {
return assoc(
precedence,
seq(
field("left", $._expression),
field("operator", operator),
field("right", $._expression)
)
seq(field("left", expr), field("operator", operator), field("right", expr))
);
}

288
src/grammar.json vendored
Unescape Escape View File

@ -3307,16 +3307,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": "||"
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": "||"
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3328,16 +3340,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": "&&"
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": "&&"
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3349,16 +3373,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": "=="
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": "=="
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3370,16 +3406,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": "!="
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": "!="
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3391,16 +3439,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": "<"
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": "<"
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3412,16 +3472,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": "<="
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": "<="
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3433,16 +3505,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": "<."
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": "<."
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3454,16 +3538,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": "<=."
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": "<=."
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3475,16 +3571,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": ">"
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": ">"
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3496,16 +3604,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": ">="
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": ">="
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3517,16 +3637,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": ">."
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": ">."
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}
@ -3538,16 +3670,28 @@
"type": "SEQ",
"members": [
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "left",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
},
{
"type": "STRING",
"value": ">=."
"type": "FIELD",
"name": "operator",
"content": {
"type": "STRING",
"value": ">=."
}
},
{
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
"type": "FIELD",
"name": "right",
"content": {
"type": "SYMBOL",
"name": "_case_clause_guard_expression"
}
}
]
}

72
src/node-types.json vendored
Unescape Escape View File

@ -347,8 +347,8 @@
"named": true,
"fields": {
"left": {
"multiple": false,
"required": false,
"multiple": true,
"required": true,
"types": [
{
"type": "anonymous_function",
@ -425,12 +425,20 @@
{
"type": "tuple_access",
"named": true
},
{
"type": "{",
"named": false
},
{
"type": "}",
"named": false
}
]
},
"operator": {
"multiple": false,
"required": false,
"required": true,
"types": [
{
"type": "!=",
@ -523,8 +531,8 @@
]
},
"right": {
"multiple": false,
"required": false,
"multiple": true,
"required": true,
"types": [
{
"type": "anonymous_function",
@ -601,55 +609,17 @@
{
"type": "tuple_access",
"named": true
},
{
"type": "{",
"named": false
},
{
"type": "}",
"named": false
}
]
}
},
"children": {
"multiple": true,
"required": false,
"types": [
{
"type": "binary_expression",
"named": true
},
{
"type": "bit_string",
"named": true
},
{
"type": "float",
"named": true
},
{
"type": "identifier",
"named": true
},
{
"type": "integer",
"named": true
},
{
"type": "list",
"named": true
},
{
"type": "record",
"named": true
},
{
"type": "string",
"named": true
},
{
"type": "tuple",
"named": true
},
{
"type": "tuple_access",
"named": true
}
]
}
},
{

26457
src/parser.c vendored
View File

File diff suppressed because it is too large Load Diff