diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-17 17:00:53 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-17 19:02:12 +0100 |
| commit | 414c035582c39398ddd927b5e4fdfd7a6f3aefc5 (patch) | |
| tree | ccc2277a5c8f233d376fb4117203c3bb7e14ce7a /pkg/compiler/testdata/errors.txt | |
| parent | a08436c97370fa1df802728683ca2429af93b841 (diff) | |
pkg/compiler: support template template arguments
Can be useful for netfilter descriptions.
Diffstat (limited to 'pkg/compiler/testdata/errors.txt')
| -rw-r--r-- | pkg/compiler/testdata/errors.txt | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/pkg/compiler/testdata/errors.txt b/pkg/compiler/testdata/errors.txt index 2be2e65ad..f4c9cf69a 100644 --- a/pkg/compiler/testdata/errors.txt +++ b/pkg/compiler/testdata/errors.txt @@ -260,6 +260,23 @@ type templ_struct2[A] { f B ### unknown type B } +type templ_base0[TYPE] { + f1 TYPE +} + +type templ_templ0[BASE] { + f1 BASE +} + +type templ_templ1[BASE] { + f1 BASE[int16] ### both template parameter BASE and its usage have sub-arguments +} + +templ_templ_use0 { + f1 templ_templ0[templ_base0] ### template templ_base0 needs 1 arguments instead of 0 + f2 templ_templ1[templ_base0[int32]] +} + foo$200(a templ0[42, int8]) foo$202(a templ0) ### template templ0 needs 2 arguments instead of 0 foo$203(a type0[42]) ### type type0 is not a template |