Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fuzz parser errors #134

Open
srghma opened this issue Nov 14, 2024 · 1 comment
Open

fuzz parser errors #134

srghma opened this issue Nov 14, 2024 · 1 comment

Comments

@srghma
Copy link

srghma commented Nov 14, 2024

~/projects/tree-sitter-haskell   master ±  TREE_SITTER_ITERATIONS=1000 ./node_modules/.bin/tree-sitter fuzz --edits 1000

...
 88. haskell - corpus - cpp - cpp: newline after decl in layout with one-way if

Unexpected scope change in seed 16525026905110155462 with start seed 16525026905110154490
Position: (7, 0)
Byte offset: 46
Line: #endif
     ^
Old scopes: Some(["haskell", "declarations", "cpp"])
New scopes: Some(["haskell", "declarations", "instance", "instance_declarations", "cpp"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 7, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 1, column: 1 } }]


...
 159. haskell - corpus - decl - decl: do, let, where
Incorrect parse for haskell - corpus - decl - decl: do, let, where - seed 16525026905110155109

correct / expected / unexpected
(haskell (ERROR (function (variable) (patterns (variable)) (match (do (bind (variable) (variable)) (let (local_binds (bind (variable) (match (variable))))) (exp (variable)))) (local_binds (bind (variable) (match (apply (variable) (variable))))))) (declarations (bind (variable) (match (literal (integer))))))
(haskell (declarations (function (variable) (patterns (variable)) (match (do (bind (variable) (variable)) (let (local_binds (bind (variable) (match (variable))))) (exp (variable)))) (local_binds (bind (variable) (match (apply (variable) (variable)))) (bind (variable) (match (literal (integer))))))))


...
 180. haskell - corpus - decl - decl: guards
Incorrect parse for haskell - corpus - decl - decl: guards - seed 16525026905110154517

correct / expected / unexpected
(haskell (declarations (function (variable) (patterns (variable)) (match (guards (boolean (variable)) (let (local_binds (bind (variable) (match (variable)))))) (ERROR (variable)) (apply (apply (apply (variable) (ERROR) (variable)) (ERROR) (variable)) (ERROR) (variable))))))
(haskell (declarations (function (variable) (patterns (variable)) (match (guards (boolean (variable)) (let (local_binds (bind (variable) (match (variable))) (bind (variable) (match (variable))))) (pattern_guard (variable) (variable))) (variable)))))


...
 202. haskell - corpus - exp - exp: let basic
Incorrect parse for haskell - corpus - exp - exp: let basic - seed 16525026905110154842

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (apply (apply (variable) (variable)) (ERROR) (variable))))) (variable))))))
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (variable))) (bind (variable) (match (variable)))) (variable))))))


...
 228. haskell - corpus - exp - exp: multi-way if
Incorrect parse for haskell - corpus - exp - exp: multi-way if - seed 16525026905110155209

correct / expected / unexpected
(haskell (ERROR (declarations (bind (variable) (match (multi_way_if (match (guards (boolean (variable))) (variable)))))) (ERROR) (variable) (ERROR) (variable)) (declarations (bind (variable) (match (multi_way_if (match (guards (boolean (variable))) (variable)))))))
(haskell (declarations (bind (variable) (match (multi_way_if (match (guards (boolean (variable))) (variable)) (match (guards (boolean (variable))) (variable))))) (bind (variable) (match (multi_way_if (match (guards (boolean (variable))) (variable)))))))


 229. haskell - corpus - exp - exp: multi-way if with two matches in a guard rhs
Incorrect parse for haskell - corpus - exp - exp: multi-way if with two matches in a guard rhs - seed 16525026905110154593

correct / expected / unexpected
(haskell (ERROR (variable) (match (guards (boolean (variable))) (multi_way_if (match (guards (boolean (variable))) (variable)))) (guards (boolean (apply (variable) (ERROR) (variable))))))
(haskell (declarations (bind (variable) (match (guards (boolean (variable))) (multi_way_if (match (guards (boolean (variable))) (variable)) (match (guards (boolean (variable))) (variable)))))))


....
 278. haskell - corpus - family - family: data instance gadt

Unexpected scope change in seed 16525026905110155462 with start seed 16525026905110154490
Position: (2, 16)
Byte offset: 24
Line: data instance A a where
                     ^
Old scopes: Some(["haskell", "declarations", "data_instance", "data_type", "type_patterns", "variable"])
New scopes: Some(["haskell", "declarations", "data_instance", "data_type", "ERROR", "type_patterns", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 7, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 1, column: 1 } }]


...
 286. haskell - corpus - family - family: kind application

Unexpected scope change in seed 16525026905110155462 with start seed 16525026905110154490
Position: (5, 0)
Byte offset: 74
Line: type instance A @a A = a
     ^
Old scopes: Some(["haskell", "declarations", "type_instance", "type"])
New scopes: Some(["haskell", "declarations", "type_family", "equations", "equation", "type_patterns", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 8, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 2, column: 1 } }]


...
 302. haskell - corpus - gadt - gadt: simple deriving

Unexpected scope change in seed 16525026905110155462 with start seed 16525026905110154490
Position: (2, 7)
Byte offset: 15
Line: data A where
            ^
Old scopes: Some(["haskell", "declarations", "data_type", "where"])
New scopes: Some(["haskell", "declarations", "data_type", "ERROR", "where"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 7, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 1, column: 1 } }]


 303. haskell - corpus - gadt - gadt: deriving

Unexpected scope change in seed 16525026905110155462 with start seed 16525026905110154490
Position: (2, 8)
Byte offset: 15
Line: >data A where
             ^
Old scopes: Some(["haskell", "declarations", "data_type", "where"])
New scopes: Some(["haskell", "declarations", "data_type", "ERROR", "where"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 8, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 2, column: 1 } }]


...
 374. haskell - corpus - layout - layout: do nested
Incorrect parse for haskell - corpus - layout - layout: do nested - seed 16525026905110155046

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (do (exp (apply (apply (apply (variable) (variable)) (do (exp (variable)) (exp (variable)) (exp (do (exp (variable)) (exp (variable)))) (exp (variable)))) (variable))))))))
(haskell (declarations (bind (variable) (match (do (exp (variable)) (exp (variable)) (exp (do (exp (variable)) (exp (variable)) (exp (do (exp (variable)) (exp (variable)))) (exp (variable)))) (exp (variable)))))))


...
 388. haskell - corpus - layout - layout: let with multiple explicit semicolons before and after newline
Incorrect parse for haskell - corpus - layout - layout: let with multiple explicit semicolons before and after newline - seed 16525026905110154825

correct / expected / unexpected
(haskell (ERROR (declarations (top_splice (variable)) (ERROR (local_binds (bind (variable) (match (variable))))) (bind (variable) (match (variable)))) (ERROR (variable)) (variable)))
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (variable))) (bind (variable) (match (variable)))) (variable))))))


...
 393. haskell - corpus - layout - layout: empty where, then indented binds after inline where

Unexpected scope change in seed 16525026905110155462 with start seed 16525026905110154490
Position: (3, 0)
Byte offset: 20
Line: e = f where
     ^
Old scopes: Some(["haskell", "declarations", "bind", "variable"])
New scopes: Some(["haskell", "declarations", "bind", "local_binds", "bind", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 8, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 2, column: 0 } }]


...
 397. haskell - corpus - layout - layout: comment in empty where on next line indented

Unexpected scope change in seed 16525026905110155462 with start seed 16525026905110154490
Position: (3, 0)
Byte offset: 20
Line:   {- comment
     ^
Old scopes: Some(["haskell", "declarations"])
New scopes: Some(["haskell", "declarations", "bind"])
Invalidated ranges: [Range { start_byte: 1, end_byte: 8, start_point: Point { row: 1, column: 0 }, end_point: Point { row: 2, column: 1 } }]


...
 445. haskell - corpus - layout - layout: do in case in nested let, single line
Incorrect parse for haskell - corpus - layout - layout: do in case in nested let, single line - seed 16525026905110155079

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (let_in (local_binds (bind (variable) (match (apply (apply (case (variable)) (variable)) (ERROR) (do (exp (variable))))))) (variable))))) (variable))))))
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (let_in (local_binds (bind (variable) (match (case (variable) (alternatives (alternative (variable) (match (do (exp (variable)))))))))) (variable))))) (variable))))))


...
 588. haskell - corpus - prec - prec: block argument: apply
Incorrect parse for haskell - corpus - prec - prec: block argument: apply - seed 16525026905110155046

correct / expected / unexpected
(haskell (ERROR (declarations (bind (variable) (match (do (exp (lambda (patterns (variable)) (apply (apply (variable) (case (variable) (alternatives (alternative (variable) (match (variable)))))) (do (exp (infix (variable) (operator) (variable))))))) (ERROR))))) (ERROR) (declarations (top_splice (apply (variable) (ERROR) (variable)))) (ERROR) (apply (variable) (ERROR) (variable))) (ERROR) (declarations (top_splice (do (exp (variable))))))
(haskell (declarations (bind (variable) (match (infix (apply (apply (apply (do (exp (lambda (patterns (variable)) (variable)))) (case (variable) (alternatives (alternative (variable) (match (variable)))))) (do (exp (infix (variable) (operator) (variable))))) (multi_way_if (match (guards (boolean (variable))) (variable)) (match (guards (boolean (variable))) (variable)))) (operator) (do (exp (variable))))))))


...
16 haskell corpus tests failed fuzzing
@srghma
Copy link
Author

srghma commented Nov 14, 2024

~/projects/tree-sitter-haskell   master ✚  TREE_SITTER_ITERATIONS=10000 ./node_modules/.bin/tree-sitter fuzz --edits 1000

 ...
 88. haskell - corpus - cpp - cpp: newline after decl in layout with one-way if

Unexpected scope change in seed 1388170176950546331 with start seed 1388170176950541120
Position: (6, 0)
Byte offset: 40
Line: #endif
     ^
Old scopes: Some(["haskell", "declarations", "cpp"])
New scopes: Some(["haskell", "declarations", "instance", "instance_declarations", "cpp"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 1, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 0, column: 1 } }]


...
 158. haskell - corpus - decl - decl: case and where
Incorrect parse for haskell - corpus - decl - decl: case and where - seed 1388170176950544746

correct / expected / unexpected
(haskell (ERROR (bind (variable) (match (case (variable) (alternatives (alternative (apply (constructor) (variable)) (match (variable))) (alternative (constructor) (match (variable)))))) (local_binds (bind (variable) (match (literal (integer))))))) (declarations (bind (variable) (match (literal (integer))))))
(haskell (declarations (bind (variable) (match (case (variable) (alternatives (alternative (apply (constructor) (variable)) (match (variable))) (alternative (constructor) (match (variable)))))) (local_binds (bind (variable) (match (literal (integer)))) (bind (variable) (match (literal (integer))))))))


 159. haskell - corpus - decl - decl: do, let, where
Incorrect parse for haskell - corpus - decl - decl: do, let, where - seed 1388170176950541361

correct / expected / unexpected
(haskell (ERROR (function (variable) (patterns (variable)) (match (do (bind (variable) (variable)) (let (local_binds (bind (variable) (match (variable))))) (exp (variable)))) (local_binds (bind (variable) (match (apply (variable) (variable))))))) (declarations (bind (variable) (match (literal (integer))))))
(haskell (declarations (function (variable) (patterns (variable)) (match (do (bind (variable) (variable)) (let (local_binds (bind (variable) (match (variable))))) (exp (variable)))) (local_binds (bind (variable) (match (apply (variable) (variable)))) (bind (variable) (match (literal (integer))))))))


...
 180. haskell - corpus - decl - decl: guards
Incorrect parse for haskell - corpus - decl - decl: guards - seed 1388170176950541149

correct / expected / unexpected
(haskell (declarations (function (variable) (patterns (variable)) (match (guards (boolean (variable)) (let (local_binds (bind (variable) (match (variable)))))) (ERROR (variable)) (apply (apply (apply (variable) (ERROR) (variable)) (ERROR) (variable)) (ERROR) (variable))))))
(haskell (declarations (function (variable) (patterns (variable)) (match (guards (boolean (variable)) (let (local_binds (bind (variable) (match (variable))) (bind (variable) (match (variable))))) (pattern_guard (variable) (variable))) (variable)))))


...
 202. haskell - corpus - exp - exp: let basic
Incorrect parse for haskell - corpus - exp - exp: let basic - seed 1388170176950541871

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (apply (apply (variable) (variable)) (ERROR) (variable))))) (variable))))))
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (variable))) (bind (variable) (match (variable)))) (variable))))))


...
 228. haskell - corpus - exp - exp: multi-way if
Incorrect parse for haskell - corpus - exp - exp: multi-way if - seed 1388170176950541556

correct / expected / unexpected
(haskell (ERROR (declarations (bind (variable) (match (multi_way_if (match (guards (boolean (variable))) (variable)))))) (ERROR) (variable) (ERROR) (variable)) (declarations (bind (variable) (match (multi_way_if (match (guards (boolean (variable))) (variable)))))))
(haskell (declarations (bind (variable) (match (multi_way_if (match (guards (boolean (variable))) (variable)) (match (guards (boolean (variable))) (variable))))) (bind (variable) (match (multi_way_if (match (guards (boolean (variable))) (variable)))))))


 229. haskell - corpus - exp - exp: multi-way if with two matches in a guard rhs
Incorrect parse for haskell - corpus - exp - exp: multi-way if with two matches in a guard rhs - seed 1388170176950541243

correct / expected / unexpected
(haskell (ERROR (variable) (match (guards (boolean (variable))) (multi_way_if (match (guards (boolean (variable))) (variable)))) (guards (boolean (apply (variable) (ERROR) (variable))))))
(haskell (declarations (bind (variable) (match (guards (boolean (variable))) (multi_way_if (match (guards (boolean (variable))) (variable)) (match (guards (boolean (variable))) (variable)))))))


...
 278. haskell - corpus - family - family: data instance gadt

Unexpected scope change in seed 1388170176950546331 with start seed 1388170176950541120
Position: (1, 16)
Byte offset: 18
Line: data instance A a where
                     ^
Old scopes: Some(["haskell", "declarations", "data_instance", "data_type", "type_patterns", "variable"])
New scopes: Some(["haskell", "declarations", "data_instance", "data_type", "ERROR", "type_patterns", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 1, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 0, column: 1 } }]


...
 283. haskell - corpus - family - family: infix basic

Unexpected scope change in seed 1388170176950546331 with start seed 1388170176950541120
Position: (4, 0)
Byte offset: 41
Line: type instance A <> A = a
     ^
Old scopes: Some(["haskell", "declarations", "type_instance", "type"])
New scopes: Some(["haskell", "declarations", "type_family", "equations", "equation", "type_patterns", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 1, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 0, column: 1 } }]


...
 286. haskell - corpus - family - family: kind application

Unexpected scope change in seed 1388170176950541496 with start seed 1388170176950541120
Position: (4, 0)
Byte offset: 68
Line: type instance A @a A = a
     ^
Old scopes: Some(["haskell", "declarations", "type_instance", "type"])
New scopes: Some(["haskell", "declarations", "type_family", "equations", "equation", "type_patterns", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 1, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 0, column: 1 } }]


...
 288. haskell - corpus - family - family: forall before equation

Unexpected scope change in seed 1388170176950541496 with start seed 1388170176950541120
Position: (4, 0)
Byte offset: 43
Line: type instance ∀ a . A a = a
     ^
Old scopes: Some(["haskell", "declarations", "type_instance", "type"])
New scopes: Some(["haskell", "declarations", "type_family", "equations", "equation", "type_patterns", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 1, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 0, column: 1 } }]


...
 302. haskell - corpus - gadt - gadt: simple deriving

Unexpected scope change in seed 1388170176950541496 with start seed 1388170176950541120
Position: (1, 7)
Byte offset: 9
Line: data A where
            ^
Old scopes: Some(["haskell", "declarations", "data_type", "where"])
New scopes: Some(["haskell", "declarations", "data_type", "ERROR", "where"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 1, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 0, column: 1 } }]


 303. haskell - corpus - gadt - gadt: deriving

Unexpected scope change in seed 1388170176950546331 with start seed 1388170176950541120
Position: (1, 7)
Byte offset: 9
Line: data A where
            ^
Old scopes: Some(["haskell", "declarations", "data_type", "where"])
New scopes: Some(["haskell", "declarations", "data_type", "ERROR", "where"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 1, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 0, column: 1 } }]


...
 369. haskell - corpus - layout - layout: double where in lambda case in do
Incorrect parse for haskell - corpus - layout - layout: double where in lambda case in do - seed 1388170176950549360

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (do (exp (lambda_case)) (ERROR (apply (apply (apply (apply (wildcard) (ERROR) (variable)) (variable)) (variable)) (ERROR) (variable))))))))
(haskell (declarations (bind (variable) (match (do (exp (lambda_case (alternatives (alternative (wildcard) (match (variable)) (local_binds (bind (variable) (match (variable)))))))))) (local_binds (bind (variable) (match (variable)))))))


 370. haskell - corpus - layout - layout: double where in lambda cases in do
Incorrect parse for haskell - corpus - layout - layout: double where in lambda cases in do - seed 1388170176950541871

correct / expected / unexpected
(haskell (ERROR (declarations (bind (variable) (match (apply (apply (do (exp (lambda_cases))) (variable)) (variable))) (ERROR) (local_binds (bind (variable) (match (variable)))))) (ERROR (variable)) (bind (variable) (match (variable)))))
(haskell (declarations (bind (variable) (match (do (exp (lambda_cases (alternatives (alternative (patterns (wildcard) (wildcard)) (match (variable)) (local_binds (bind (variable) (match (variable)))))))))) (local_binds (bind (variable) (match (variable)))))))


...
 374. haskell - corpus - layout - layout: do nested
Incorrect parse for haskell - corpus - layout - layout: do nested - seed 1388170176950541573

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (do (exp (apply (apply (apply (variable) (variable)) (do (exp (variable)) (exp (variable)) (exp (do (exp (variable)) (exp (variable)))) (exp (variable)))) (variable))))))))
(haskell (declarations (bind (variable) (match (do (exp (variable)) (exp (variable)) (exp (do (exp (variable)) (exp (variable)) (exp (do (exp (variable)) (exp (variable)))) (exp (variable)))) (exp (variable)))))))


...
 387. haskell - corpus - layout - layout: let with explicit semicolon
Incorrect parse for haskell - corpus - layout - layout: let with explicit semicolon - seed 1388170176950541372

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (variable)))) (ERROR (variable) (variable)) (variable))))))
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (variable))) (bind (variable) (match (variable)))) (variable))))))


 388. haskell - corpus - layout - layout: let with multiple explicit semicolons before and after newline
Incorrect parse for haskell - corpus - layout - layout: let with multiple explicit semicolons before and after newline - seed 1388170176950541941

correct / expected / unexpected
(haskell (ERROR (declarations (top_splice (variable)) (ERROR (local_binds (bind (variable) (match (variable))))) (bind (variable) (match (variable)))) (ERROR (variable)) (variable)))
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (variable))) (bind (variable) (match (variable)))) (variable))))))


...
 393. haskell - corpus - layout - layout: empty where, then indented binds after inline where

Unexpected scope change in seed 1388170176950541496 with start seed 1388170176950541120
Position: (2, 0)
Byte offset: 14
Line: e = f where
     ^
Old scopes: Some(["haskell", "declarations", "bind", "variable"])
New scopes: Some(["haskell", "declarations", "bind", "local_binds", "bind", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 2, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 1, column: 0 } }]


...
 396. haskell - corpus - layout - layout: comment between where and decl

Unexpected scope change in seed 1388170176950546331 with start seed 1388170176950541120
Position: (4, 0)
Byte offset: 37
Line: a = b where
     ^
Old scopes: Some(["haskell", "declarations", "bind", "variable"])
New scopes: Some(["haskell", "declarations", "bind", "local_binds", "bind", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 2, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 1, column: 1 } }]


 397. haskell - corpus - layout - layout: comment in empty where on next line indented

Unexpected scope change in seed 1388170176950542691 with start seed 1388170176950541120
Position: (2, 0)
Byte offset: 14
Line:   {- comment
     ^
Old scopes: Some(["haskell", "declarations"])
New scopes: Some(["haskell", "declarations", "bind"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 2, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 1, column: 0 } }]


...
 418. haskell - corpus - layout - layout: infix in statement position ends layout

Unexpected scope change in seed 1388170176950541604 with start seed 1388170176950541120
Position: (11, 0)
Byte offset: 53
Line: -- a
     ^
Old scopes: Some(["haskell", "declarations", "bind", "match", "infix", "do", "comment"])
New scopes: Some(["haskell", "declarations", "bind", "match", "infix", "comment"])
Invalidated ranges: [Range { start_byte: 44, end_byte: 45, start_point: Point { row: 9, column: 3 }, end_point: Point { row: 9, column: 4 } }, Range { start_byte: 71, end_byte: 96, start_point: Point { row: 14, column: 4 }, end_point: Point { row: 17, column: 1 } }]


...
 444. haskell - corpus - layout - layout: case in let, single line
Incorrect parse for haskell - corpus - layout - layout: case in let, single line - seed 1388170176950542751

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (apply (apply (case (variable)) (variable)) (ERROR) (variable))))) (variable))))))
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (case (variable) (alternatives (alternative (variable) (match (variable)))))))) (variable))))))


 445. haskell - corpus - layout - layout: do in case in nested let, single line
Incorrect parse for haskell - corpus - layout - layout: do in case in nested let, single line - seed 1388170176950541188

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (ERROR (variable)) (match (case (variable) (alternatives (alternative (variable) (match (do (exp (variable)))))))))) (variable))))) (ERROR (variable) (variable)))
(haskell (declarations (bind (variable) (match (let_in (local_binds (bind (variable) (match (let_in (local_binds (bind (variable) (match (case (variable) (alternatives (alternative (variable) (match (do (exp (variable)))))))))) (variable))))) (variable))))))


...
 565. haskell - corpus - pragma - pragma: instance method with cpp

Unexpected scope change in seed 1388170176950546331 with start seed 1388170176950541120
Position: (7, 0)
Byte offset: 58
Line: a = a
     ^
Old scopes: Some(["haskell", "declarations", "bind", "variable"])
New scopes: Some(["haskell", "declarations", "instance", "instance_declarations", "bind", "variable"])
Invalidated ranges: [Range { start_byte: 0, end_byte: 1, start_point: Point { row: 0, column: 0 }, end_point: Point { row: 0, column: 1 } }]


...
 588. haskell - corpus - prec - prec: block argument: apply
Incorrect parse for haskell - corpus - prec - prec: block argument: apply - seed 1388170176950541573

correct / expected / unexpected
(haskell (ERROR (declarations (bind (variable) (match (do (exp (lambda (patterns (variable)) (variable))) (exp (case (variable) (alternatives (alternative (variable) (match (variable)))))) (exp (do (exp (infix (variable) (operator) (variable))))) (ERROR))))) (ERROR) (declarations (top_splice (apply (variable) (ERROR) (variable)))) (ERROR) (apply (variable) (ERROR) (variable))) (ERROR) (declarations (top_splice (do (exp (variable))))))
(haskell (declarations (bind (variable) (match (infix (apply (apply (apply (do (exp (lambda (patterns (variable)) (variable)))) (case (variable) (alternatives (alternative (variable) (match (variable)))))) (do (exp (infix (variable) (operator) (variable))))) (multi_way_if (match (guards (boolean (variable))) (variable)) (match (guards (boolean (variable))) (variable)))) (operator) (do (exp (variable))))))))


...
 629. haskell - corpus - th - th: do block top level splice
Incorrect parse for haskell - corpus - th - th: do block top level splice - seed 1388170176950550365

correct / expected / unexpected
(haskell (declarations (top_splice (apply (do (bind (variable) (variable))) (variable)))))
(haskell (declarations (top_splice (do (bind (variable) (variable)) (exp (variable))))))


...
 634. haskell - corpus - th - Close nested layouts at closing bracket in decl quote
Incorrect parse for haskell - corpus - th - Close nested layouts at closing bracket in decl quote - seed 1388170176950542245

correct / expected / unexpected
(haskell (declarations (bind (variable) (match (variable)) (local_binds (bind (variable) (match (quote (quoted_decls (instance (name)) (bind (variable) (match (variable))))))))) (bind (variable) (match (variable)))))
(haskell (declarations (bind (variable) (match (variable)) (local_binds (bind (variable) (match (quote (quoted_decls (instance (name) (instance_declarations (bind (variable) (match (variable))))))))))) (bind (variable) (match (variable)))))


...
28 haskell corpus tests failed fuzzing

to reproduce TREE_SITTER_SEED=1388170176950542245 ./node_modules/.bin/tree-sitter fuzz

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant