From a9f6cfb6a8b6d38057faca067c015da1f72cf62d Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Mon, 5 Oct 2026 00:26:05 +0200 Subject: Add a treesitter grammar --- .../tree-sitter/test/corpus/generic_base_chain.txt | 144 +++++++++++++++++++++ 1 file changed, 144 insertions(+) create mode 100644 tools/tree-sitter/test/corpus/generic_base_chain.txt (limited to 'tools/tree-sitter/test/corpus/generic_base_chain.txt') diff --git a/tools/tree-sitter/test/corpus/generic_base_chain.txt b/tools/tree-sitter/test/corpus/generic_base_chain.txt new file mode 100644 index 0000000..770b7db --- /dev/null +++ b/tools/tree-sitter/test/corpus/generic_base_chain.txt @@ -0,0 +1,144 @@ +================== +generic_base_chain +================== + +program() +type + File = record + fd: Int + end + + Map#[K, V] = record + key: ^K; + value: ^V + end + + Cache#[K, V] = record(Map#[Word8, V]) + newest: ^K + end + +var + store: Cache#[Int, File] + byte_key: ^Word8 + upcast: ^Map#[Word8, File] + +proc put#[K2, V2](target: ^Map#[K2, V2]; key: ^K2) +begin + target^.key := key +return + +begin + upcast := @store; + put(@store, byte_key) +end. + +--- + +(source_file + (program_declaration + (type_section + (type_declaration + (identifier_definition + (identifier)) + (record_type + (field_declaration + (identifier_definition + (identifier)) + (identifier)))) + (type_declaration + (identifier_definition + (identifier)) + (type_parameters + (identifier) + (identifier)) + (record_type + (field_declaration + (identifier_definition + (identifier)) + (pointer_type + (identifier))) + (field_declaration + (identifier_definition + (identifier)) + (pointer_type + (identifier))))) + (type_declaration + (identifier_definition + (identifier)) + (type_parameters + (identifier) + (identifier)) + (record_type + (generic_type + (identifier) + (type_arguments + (identifier) + (identifier))) + (field_declaration + (identifier_definition + (identifier)) + (pointer_type + (identifier)))))) + (var_section + (variable_declaration + (identifier_definition + (identifier)) + (generic_type + (identifier) + (type_arguments + (identifier) + (identifier)))) + (variable_declaration + (identifier_definition + (identifier)) + (pointer_type + (identifier))) + (variable_declaration + (identifier_definition + (identifier)) + (pointer_type + (generic_type + (identifier) + (type_arguments + (identifier) + (identifier)))))) + (procedure_declaration + (identifier_definition + (identifier)) + (type_parameters + (identifier) + (identifier)) + (parameter_list + (field_declaration + (identifier_definition + (identifier)) + (pointer_type + (generic_type + (identifier) + (type_arguments + (identifier) + (identifier))))) + (field_declaration + (identifier_definition + (identifier)) + (pointer_type + (identifier)))) + (procedure_body + (block + (assignment_statement + (field_expression + (dereference_expression + (identifier)) + (identifier)) + (identifier))) + (return_clause))) + (assignment_statement + (identifier) + (unary_expression + (identifier))) + (call_expression + (identifier) + (argument_list + (unary_expression + (identifier)) + (identifier))))) -- cgit v1.2.3