Skip to content

Commit

Permalink
Add separators to gadts test
Browse files Browse the repository at this point in the history
  • Loading branch information
Cypher1 committed Oct 8, 2024
1 parent 4089f69 commit a5c15aa
Showing 1 changed file with 245 additions and 3 deletions.
248 changes: 245 additions & 3 deletions tree-sitter-tako/test/corpus/generic_abstract_data_types.tk
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ SExpr: Type = struct.new(
func: (args: [Value; n]),
args: [SExpr; n],
forall n: Int,
)
);

// A well typed, but little, language using GADTs.
Expr(
Expand All @@ -36,7 +36,249 @@ Expr(
// Constants:
integer(value: Integer): Expr(SubExpr, R=Integer),
boolean(value: Boolean): Expr(SubExpr, R=Boolean),
)
);
---


(source_file
(shebang)
(single_line_comment)
(single_line_comment)
(sequence
(assign
(has_type
(ident)
(ident))
(field
(ident)
(call
(ident)
(has_type
(ident)
(parens
(has_type
(ident)
(container
(sequence
(ident)
(ident))))))
(has_type
(ident)
(container
(sequence
(ident)
(ident))))
(has_type
(binding
(forall)
(ident))
(ident)))))
(single_line_comment)
(sequence
(assign
(call
(ident)
(assign
(has_type
(call
(ident)
(has_type
(ident)
(ident)))
(call
(ident)
(call
(ident)
(ident)
(ident))))
(ident))
(has_type
(ident)
(ident))
(assign
(binding
(forall)
(ident))
(bit_or
(ident)
(ident))))
(field
(ident)
(call
(ident)
(single_line_comment)
(has_type
(call
(ident)
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident))))
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident))))
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident))))
(has_type
(binding
(forall)
(ident))
(ident)))
(call
(ident)
(ident)
(assign
(ident)
(ident))))
(single_line_comment)
(has_type
(call
(ident)
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident))))
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident)))))
(call
(ident)
(ident)
(assign
(ident)
(ident))))
(has_type
(call
(ident)
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident))))
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident)))))
(call
(ident)
(ident)
(assign
(ident)
(ident))))
(has_type
(call
(ident)
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident))))
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident)))))
(call
(ident)
(ident)
(assign
(ident)
(ident))))
(has_type
(call
(ident)
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident))))
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident)))))
(call
(ident)
(ident)
(assign
(ident)
(ident))))
(has_type
(call
(ident)
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident))))
(has_type
(ident)
(call
(ident)
(assign
(ident)
(ident)))))
(call
(ident)
(ident)
(assign
(ident)
(ident))))
(single_line_comment)
(has_type
(call
(ident)
(has_type
(ident)
(ident)))
(call
(ident)
(ident)
(assign
(ident)
(ident))))
(has_type
(call
(ident)
(has_type
(ident)
(ident)))
(call
(ident)
(ident)
(assign
(ident)
(ident))))))))))

0 comments on commit a5c15aa

Please sign in to comment.