Appearance
| 1 | namespace Syntax.Process.Printer is | |
| 2 | // The types a build settled at the sites that left them to inference, | |
| 3 | // looked up by where each site was written, so that a fresh parse of | |
| 4 | // the same file can be printed with them written in. | |
| 5 | trait InferredAnnotations is | |
| 6 | parameter_type(location: Source.LOCATION) -> string? | |
| 7 | return_type(location: Source.LOCATION) -> string? | |
| 8 | local_type(location: Source.LOCATION) -> string? | |
| 9 | ||
| 10 | // The type arguments a call or construction bound, keyed by the | |
| 11 | // span of its callee, as a comma-separated list. | |
| 12 | type_arguments(callee: Source.LOCATION) -> string? | |
| 13 | si | |
| 14 | si |