Open srghma opened 5 days ago
42. purescript - corpus - exp_do_ado - Ado-notation, single line
Incorrect parse for purescript - corpus - exp_do_ado - Ado-notation, single line - seed 14384619006177184866
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_ado in: (exp_array) (comment))) (function name: (variable) rhs: (exp_ado (statement (exp_array)) in: (exp_array) (comment))) (function name: (variable) rhs: (exp_ado (ERROR (statement (let (declarations)))) (statement (exp_infix (exp_name (variable)) (operator) (exp_array))) in: (exp_array) (comment))))
(purescript (function name: (variable) rhs: (exp_ado in: (exp_array) (comment))) (function name: (variable) rhs: (exp_ado (statement (exp_array)) in: (exp_array) (comment))) (ERROR name: (variable) (statement (let (declarations (function name: (variable) rhs: (exp_apply (exp_array) (exp_name (variable)) (exp_array))) (comment))))))
Incorrect parse for purescript - corpus - exp_do_ado - Do-notation, let-binders - seed 4330627787603795456
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_infix (exp_apply (exp_do (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations))) (MISSING _layout_end)) (exp_name (constructor)) (exp_name (variable))) (operator) (exp_name (variable)))) (function name: (variable) patterns: (patterns (pat_name (constructor)) (pat_name (variable)) (pat_name (variable))) rhs: (exp_name (variable))) (ERROR name: (variable) patterns: (patterns (pat_literal (integer)))))
(purescript (function name: (variable) rhs: (exp_do (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable))) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable)) (pat_name (variable))) rhs: (exp_name (variable)))))) (statement (exp_apply (exp_name (variable)) (exp_literal (integer)))))))
...
40. purescript - corpus - exp_do_ado - Ado-notation, let-binders
Incorrect parse for purescript - corpus - exp_do_ado - Ado-notation, let-binders - seed 4330627787603795456
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_ado (ERROR (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations)))) (statement (exp_infix (exp_apply (exp_name (constructor)) (exp_name (variable))) (operator) (exp_name (variable)))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable)) (pat_name (variable))) rhs: (exp_name (variable)))))) in: (exp_literal (integer)))))
(purescript (function name: (variable) rhs: (exp_ado (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable))) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable)) (pat_name (variable))) rhs: (exp_name (variable)))))) in: (exp_literal (integer)))))
Incorrect parse for purescript - corpus - rows-and-records - record literal in a let binding pattern - seed 9403340077322281330
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_do (ERROR (statement (let (declarations)))) (statement (exp_infix (exp_apply (exp_name (variable)) (record_literal (record_field (field_name) (field_value (exp_name (variable)))) (comma) (record_field (field_name) (field_value (exp_name (variable)))) (comma) (record_field (field_pun)))) (operator) (exp_name (variable)))) (statement (exp_name (variable))))))
(purescript (function name: (variable) rhs: (exp_do (statement (let (declarations (function name: (variable) patterns: (patterns (pat_record fields: (pat_fields (pat_field (field_name) (pat_name (variable))) (comma) (pat_field (field_name) (pat_name (variable))) (comma) (pat_field (field_name))))) rhs: (exp_name (variable)))))) (statement (exp_name (variable))))))
Incorrect parse for purescript - corpus - functions - Function as a let-in binder - seed 9403340077322281300
correct / expected / unexpected
(purescript (function name: (variable) patterns: (patterns (pat_name (variable))) rhs: (exp_let_in (declarations (function name: (variable) patterns: (patterns (pat_name (variable))) rhs: (exp_apply (exp_literal (integer))))) (exp_name (variable)))))
(purescript (function name: (variable) patterns: (patterns (pat_name (variable))) rhs: (exp_let_in (declarations (function name: (variable) patterns: (patterns (pat_name (variable))) rhs: (exp_literal (integer)))) (exp_name (variable)))))
29. purescript - corpus - exp_case - case expression, multi-slot
Incorrect parse for purescript - corpus - exp_case - case expression, multi-slot - seed 9403340077322281343
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_infix (exp_infix (exp_case condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (comma) condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (comma) condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (alts)) (operator (MISSING _operator)) (exp_name (variable))) (operator) (exp_name (variable)))))
(purescript (function name: (variable) rhs: (exp_case condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (comma) condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (comma) condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (alts (alt pat: (pat_name (variable)) exp: (exp_name (variable)))))))
30. purescript - corpus - exp_case - case expression, multiple alternatives
31. purescript - corpus - exp_case - case lambda, one slot
32. purescript - corpus - exp_case - case lambda, multi-slot
33. purescript - corpus - exp_case - case exp, with guards
34. purescript - corpus - exp_do_ado - Do-notation
35. purescript - corpus - exp_do_ado - Do-notation, bind-binders
36. purescript - corpus - exp_do_ado - Do-notation, let-binders
37. purescript - corpus - exp_do_ado - Do-notation, nested do-notation
38. purescript - corpus - exp_do_ado - Ado-notation
39. purescript - corpus - exp_do_ado - Ado-notation, bind-binders
40. purescript - corpus - exp_do_ado - Ado-notation, let-binders
Incorrect parse for purescript - corpus - exp_do_ado - Ado-notation, let-binders - seed 9403340077322281328
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_ado (ERROR (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations)))) (statement (exp_infix (exp_apply (exp_name (constructor)) (exp_name (variable))) (operator) (exp_name (variable)))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable)) (pat_name (variable))) rhs: (exp_name (variable)))))) in: (exp_literal (integer)))))
(purescript (function name: (variable) rhs: (exp_ado (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable))) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable)) (pat_name (variable))) rhs: (exp_name (variable)))))) in: (exp_literal (integer)))))
~/projects/tree-sitter-purescript strict TREE_SITTER_ITERATIONS=1000 ./node_modules/.bin/tree-sitter fuzz --edits 1000
0. purescript - corpus - classes - Simple class
1. purescript - corpus - classes - Simple class instance
2. purescript - corpus - classes - Simple class with a member
3. purescript - corpus - classes - Simple class instance with a member
4. purescript - corpus - classes - Simple class with two members
5. purescript - corpus - classes - Class with a superclass
6. purescript - corpus - classes - Instance with a superclass
7. purescript - corpus - classes - Class with fundeps
8. purescript - corpus - classes - Class and instance - no parens in superclass
9. purescript - corpus - data - Data definition
10. purescript - corpus - data - Data definition with parameters
11. purescript - corpus - data - Data definition with signature
12. purescript - corpus - derive - derive instance
13. purescript - corpus - derive - derive instance (single constraint, no parens)
14. purescript - corpus - derive - derive instance (single constraint, parens)
15. purescript - corpus - derive - derive instance (multiple constraints)
16. purescript - corpus - derive - derive instance (named)
17. purescript - corpus - derive - derive instance (named, single constraint, no parens)
18. purescript - corpus - derive - derive instance (named, single constraint, parens)
19. purescript - corpus - derive - derive instance (named, multiple constraints)
20. purescript - corpus - derive - derive newtype instance
21. purescript - corpus - derive - derive newtype instance (single constraint, no parens)
22. purescript - corpus - derive - derive newtype instance (single constraint, parens)
23. purescript - corpus - derive - derive newtype instance (multiple constraints)
24. purescript - corpus - derive - derive newtype instance (named)
25. purescript - corpus - derive - derive newtype instance (named, single constraint, no parens)
26. purescript - corpus - derive - derive newtype instance (named, single constraint, parens)
27. purescript - corpus - derive - derive newtype instance (named, multiple constraints)
28. purescript - corpus - exp_case - case expression, one slot
Incorrect parse for purescript - corpus - exp_case - case expression, one slot - seed 14881596767675877560
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_infix (exp_infix (exp_case condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (alts)) (operator (MISSING _operator)) (exp_name (variable))) (operator) (exp_name (variable)))))
(purescript (function name: (variable) rhs: (exp_case condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (alts (alt pat: (pat_name (variable)) exp: (exp_name (variable)))))))
29. purescript - corpus - exp_case - case expression, multi-slot
Incorrect parse for purescript - corpus - exp_case - case expression, multi-slot - seed 14881596767675877469
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_infix (exp_infix (exp_case condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (comma) condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (comma) condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (alts)) (operator (MISSING _operator)) (exp_name (variable))) (operator) (exp_name (variable)))))
(purescript (function name: (variable) rhs: (exp_case condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (comma) condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (comma) condition: (exp_apply (exp_name (variable)) (exp_name (variable))) (alts (alt pat: (pat_name (variable)) exp: (exp_name (variable)))))))
30. purescript - corpus - exp_case - case expression, multiple alternatives
31. purescript - corpus - exp_case - case lambda, one slot
32. purescript - corpus - exp_case - case lambda, multi-slot
33. purescript - corpus - exp_case - case exp, with guards
34. purescript - corpus - exp_do_ado - Do-notation
35. purescript - corpus - exp_do_ado - Do-notation, bind-binders
36. purescript - corpus - exp_do_ado - Do-notation, let-binders
Incorrect parse for purescript - corpus - exp_do_ado - Do-notation, let-binders - seed 14881596767675877828
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_infix (exp_apply (exp_do (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable))) rhs: (exp_name (variable)))))) (statement (let (declarations))) (MISSING _layout_end)) (exp_name (constructor)) (exp_name (variable)) (exp_name (variable))) (operator) (exp_name (variable)))) (ERROR name: (variable) patterns: (patterns (pat_literal (integer)))))
(purescript (function name: (variable) rhs: (exp_do (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable))) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable)) (pat_name (variable))) rhs: (exp_name (variable)))))) (statement (exp_apply (exp_name (variable)) (exp_literal (integer)))))))
37. purescript - corpus - exp_do_ado - Do-notation, nested do-notation
38. purescript - corpus - exp_do_ado - Ado-notation
39. purescript - corpus - exp_do_ado - Ado-notation, bind-binders
40. purescript - corpus - exp_do_ado - Ado-notation, let-binders
Incorrect parse for purescript - corpus - exp_do_ado - Ado-notation, let-binders - seed 14881596767675877462
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_ado (ERROR (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations)))) (statement (exp_infix (exp_apply (exp_name (constructor)) (exp_name (variable))) (operator) (exp_name (variable)))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable)) (pat_name (variable))) rhs: (exp_name (variable)))))) in: (exp_literal (integer)))))
(purescript (function name: (variable) rhs: (exp_ado (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable))) rhs: (exp_name (variable)))))) (statement (let (declarations (function pattern: (pat_apply (pat_name (constructor)) (pat_name (variable)) (pat_name (variable))) rhs: (exp_name (variable)))))) in: (exp_literal (integer)))))
41. purescript - corpus - exp_do_ado - Ado-notation, nested ado-notation
Incorrect parse for purescript - corpus - exp_do_ado - Ado-notation, nested ado-notation - seed 14881596767675877849
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_ado in: (exp_ado in: (exp_literal (integer))))) (function name: (variable) rhs: (exp_ado (statement (bind_pattern (pat_name (variable)) (exp_lambda (pat_wildcard (pat_wildcard)) (exp_ado (statement (bind_pattern (pat_name (variable)) (exp_case condition: (exp_name (variable)) (alts (alt pat: (pat_name (variable)) exp: (exp_ado (statement (bind_pattern (pat_name (variable)) (exp_name (variable)))) in: (exp_name (variable)))))))) in: (exp_name (variable)))))) (statement (let (declarations))) (ERROR) in: (exp_name (variable)))))
(purescript (function name: (variable) rhs: (exp_ado in: (exp_ado in: (exp_literal (integer))))) (function name: (variable) rhs: (exp_ado (statement (bind_pattern (pat_name (variable)) (exp_lambda (pat_wildcard (pat_wildcard)) (exp_ado (statement (bind_pattern (pat_name (variable)) (exp_case condition: (exp_name (variable)) (alts (alt pat: (pat_name (variable)) exp: (exp_ado (statement (bind_pattern (pat_name (variable)) (exp_name (variable)))) in: (exp_name (variable)))))))) in: (exp_name (variable)))))) (statement (let (declarations (function name: (variable) rhs: (exp_name (variable)))))) (statement (bind_pattern (pat_name (variable)) (exp_name (variable)))) in: (exp_name (variable)))))
42. purescript - corpus - exp_do_ado - Ado-notation, single line
43. purescript - corpus - exp_do_ado - Ado-notation, no previous layout issues
44. purescript - corpus - exp_if - if-then-else expression
45. purescript - corpus - exp_if - if-then-else lambda expression, first slot
46. purescript - corpus - exp_if - if-then-else lambda expression, second slot
47. purescript - corpus - exp_if - if-then-else lambda expression, third slot
48. purescript - corpus - exp_if - if-then-else lambda expression, all slots
49. purescript - corpus - exp_infix - Simple operator usage
50. purescript - corpus - exp_infix - Multiple operators
51. purescript - corpus - exp_infix - Infix expression, single variable
52. purescript - corpus - exp_infix - Infix expression, compound
53. purescript - corpus - exp_infix - Multiple infix expressions
54. purescript - corpus - exp_infix - Infix expressions have highest precedence
55. purescript - corpus - exp_infix - Section left, operator
56. purescript - corpus - exp_infix - Section left, infix expression
57. purescript - corpus - exp_infix - Section right, operator
58. purescript - corpus - exp_infix - Section right, infix expression
59. purescript - corpus - exp_lambda - Simple one-argument lambda
60. purescript - corpus - exp_lambda - Multi-argument lambda
61. purescript - corpus - exp_lambda - Explicit currying (consecutive lambdas)
62. purescript - corpus - exp_lambda - Lambdas with patterns
63. purescript - corpus - exp_literals - Int
64. purescript - corpus - exp_literals - Int, base 16
65. purescript - corpus - exp_literals - Int, negative
66. purescript - corpus - exp_literals - Int, underscore delimiters
67. purescript - corpus - exp_literals - Numbers, underscore delimiter
68. purescript - corpus - exp_literals - Numbers, exponent
69. purescript - corpus - exp_literals - Char
70. purescript - corpus - exp_literals - String
71. purescript - corpus - exp_literals - Multi-line string
72. purescript - corpus - exp_literals - Multi-line string on a single line (doesn't conflict with simple string)
73. purescript - corpus - exp_literals - Two multi-line strings (don't conflict with each other)
74. purescript - corpus - exp_literals - Multi-line string with " inside of it
75. purescript - corpus - exp_literals - Arrays
76. purescript - corpus - exp_literals - Records
77. purescript - corpus - exp_literals - Booleans
78. purescript - corpus - exp_other - Type application, simple
79. purescript - corpus - exp_other - Type application, parens
80. purescript - corpus - exp_other - Type application, multiple applications
81. purescript - corpus - exp_other - Type annotation, simple
82. purescript - corpus - foreign_import - Foreign import
83. purescript - corpus - functions - Value
84. purescript - corpus - functions - Simple function
85. purescript - corpus - functions - Simple function with a signature
86. purescript - corpus - functions - Function with where-block binders
87. purescript - corpus - functions - Function as a let-in binder
88. purescript - corpus - functions - Function as a let binder
Incorrect parse for purescript - corpus - functions - Function as a let binder - seed 14881596767675877549
correct / expected / unexpected
(purescript (function name: (variable) patterns: (patterns (pat_name (variable))) rhs: (exp_do (ERROR (statement (let (declarations)))) (statement (exp_infix (exp_apply (exp_name (variable)) (exp_name (variable))) (operator) (exp_literal (integer)))) (statement (exp_name (variable))))))
(purescript (function name: (variable) patterns: (patterns (pat_name (variable))) rhs: (exp_do (statement (let (declarations (function name: (variable) patterns: (patterns (pat_name (variable))) rhs: (exp_literal (integer)))))) (statement (exp_name (variable))))))
89. purescript - corpus - functions - Function with boolean guards
90. purescript - corpus - functions - Function with pattern guards
91. purescript - corpus - holes - value-level holes
92. purescript - corpus - holes - type-level holes
93. purescript - corpus - kinds - Kind
94. purescript - corpus - kinds - Kind value
95. purescript - corpus - kinds - type roles - one role
96. purescript - corpus - kinds - type roles - multiple roles
97. purescript - corpus - modules_and_imports - Module
98. purescript - corpus - modules_and_imports - Module name with dots
99. purescript - corpus - modules_and_imports - Module with explicit exports
100. purescript - corpus - modules_and_imports - Module with open, closed, qualified and unqualified imports
101. purescript - corpus - modules_and_imports - Module with keyword-prefixed imports
102. purescript - corpus - modules_and_imports - Module with hidden imports
103. purescript - corpus - modules_and_imports - Module importing modules with dots in names
104. purescript - corpus - newtypes - Simple newtype
105. purescript - corpus - newtypes - Parameterized newtype
106. purescript - corpus - newtypes - Phantom type newtype
107. purescript - corpus - newtypes - Newtype with explicit kind signature
108. purescript - corpus - newtypes - Newtype with parameterized type with type annotation
109. purescript - corpus - newtypes - Newtype over an infix type constructor
110. purescript - corpus - rows-and-records - basic value-level record literal
111. purescript - corpus - rows-and-records - value-level record literal with quoted labels
112. purescript - corpus - rows-and-records - record updates
113. purescript - corpus - rows-and-records - record literal updates
114. purescript - corpus - rows-and-records - qualified record updates
115. purescript - corpus - rows-and-records - nested record updates
116. purescript - corpus - rows-and-records - record literal with 1 wildcard
117. purescript - corpus - rows-and-records - record literal with 3 wildcards
118. purescript - corpus - rows-and-records - record literal with a wildcard and provided fields
119. purescript - corpus - rows-and-records - record literal with a wildcard and row puns
120. purescript - corpus - rows-and-records - record literal in a top-level function pattern
121. purescript - corpus - rows-and-records - record literal in a where-block function pattern
122. purescript - corpus - rows-and-records - record literal in a case-alternative pattern
Incorrect parse for purescript - corpus - rows-and-records - record literal in a case-alternative pattern - seed 14881596767675877836
correct / expected / unexpected
(purescript (function name: (variable) (ERROR (exp_case condition: (exp_name (variable)) (alts))) rhs: (exp_infix (record_literal (record_field (field_name) (field_value (exp_name (variable)))) (comma) (record_field (field_name) (field_value (exp_name (variable)))) (comma) (record_field (field_pun))) (operator) (exp_name (variable)))))
(purescript (function name: (variable) rhs: (exp_case condition: (exp_name (variable)) (alts (alt pat: (pat_record fields: (pat_fields (pat_field (field_name) (pat_name (variable))) (comma) (pat_field (field_name) (pat_name (variable))) (comma) (pat_field (field_name)))) exp: (exp_name (variable)))))))
123. purescript - corpus - rows-and-records - record literal in a let-in binding pattern
124. purescript - corpus - rows-and-records - record literal in a let binding pattern
Incorrect parse for purescript - corpus - rows-and-records - record literal in a let binding pattern - seed 14881596767675878069
correct / expected / unexpected
(purescript (function name: (variable) rhs: (exp_do (ERROR (statement (let (declarations)))) (statement (exp_infix (exp_apply (exp_name (variable)) (record_literal (record_field (field_name) (field_value (exp_name (variable)))) (comma) (record_field (field_name) (field_value (exp_name (variable)))) (comma) (record_field (field_pun)))) (operator) (exp_name (variable)))) (statement (exp_name (variable))))))
(purescript (function name: (variable) rhs: (exp_do (statement (let (declarations (function name: (variable) patterns: (patterns (pat_record fields: (pat_fields (pat_field (field_name) (pat_name (variable))) (comma) (pat_field (field_name) (pat_name (variable))) (comma) (pat_field (field_name))))) rhs: (exp_name (variable)))))) (statement (exp_name (variable))))))
125. purescript - corpus - rows-and-records - record literal in a (<-) binding pattern
126. purescript - corpus - rows-and-records - record updates don't conflict with function application
127. purescript - corpus - rows-and-records - type-level record literal -- closed row
128. purescript - corpus - rows-and-records - type-level record literal -- open row
129. purescript - corpus - rows-and-records - type-level record literal with quoted labels
130. purescript - corpus - rows-and-records - row type in isolation -- closed row
131. purescript - corpus - rows-and-records - row type application -- closed row
132. purescript - corpus - rows-and-records - row type -- open row
133. purescript - corpus - rows-and-records - row type -- quoted labels
134. purescript - corpus - rows-and-records - record accessors - single field
135. purescript - corpus - rows-and-records - record accessors - nested fields
136. purescript - corpus - rows-and-records - record access - single field
137. purescript - corpus - rows-and-records - record access - nested fields
138. purescript - corpus - rows-and-records - record accessor - quoted fields
139. purescript - corpus - rows-and-records - record access - quoted fields
140. purescript - corpus - type_fun - Type
141. purescript - corpus - type_fun - Type with parameters
142. purescript - corpus - type_fun - Type with parameters and signature
8 purescript corpus tests failed fuzzing
but I dont know how to fix fuzz