53 STRING "\"Not allowed here\""
119 STRING "\"Nor here\""
165 STRING "\"Nor here\""
195 error 52: expected `[`
196 error 52: expected pattern
197 error 53: expected FAT_ARROW
198 error 78: expected `,`
199 error 161: expected `[`
200 error 161: expected pattern
201 error 162: expected FAT_ARROW
202 error 232: expected `[`
203 error 232: expected pattern
204 error 233: expected FAT_ARROW
205 error 250: expected `,`