mirror of
https://github.com/dlang/dmd.git
synced 2025-04-26 05:00:16 +03:00
bb638373d6
* Fix Issue 15436 - Compiler still refers to AliasSeq-s as "tuple"-s Replace "tuple type" with "type sequence". Replace "tuple" with "sequence". Pretty print `AliasSeq!(args)`, not `tuple(args)`. Leave json as "tuple" for now. Also mention std.typecons.Tuple when trying to return a sequence. Note: This does not rename any internal compiler symbols. * Update runnable tests * Update stringof tests * Update remaining tests * retrigger tests
77 lines
2.1 KiB
D
77 lines
2.1 KiB
D
alias void FuncType();
|
|
|
|
struct Opaque;
|
|
|
|
template Tuple(T...) { alias T Tuple; }
|
|
alias Tuple!(int, int) TupleType;
|
|
|
|
/******************************************/
|
|
// return type
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/fail12436.d(18): Error: functions cannot return a function
|
|
fail_compilation/fail12436.d(19): Error: functions cannot return a sequence (use `std.typecons.Tuple`)
|
|
---
|
|
*/
|
|
FuncType test1();
|
|
TupleType test2();
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/fail12436.d(28): Error: functions cannot return opaque type `Opaque` by value
|
|
fail_compilation/fail12436.d(29): Error: functions cannot return opaque type `Opaque[1]` by value
|
|
---
|
|
*/
|
|
Opaque ret12436a(); // error
|
|
Opaque[1] ret12436b(); // error
|
|
Opaque* ret12436c(); // no error
|
|
Opaque[] ret12436d(); // no error
|
|
Opaque[]* ret12436e(); // no error
|
|
|
|
ref Opaque ret12436f(); // no error
|
|
ref Opaque[1] ret12436g(); // no error
|
|
|
|
/******************************************/
|
|
// parameter type
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/fail12436.d(46): Error: cannot have parameter of function type `void()`
|
|
---
|
|
*/
|
|
void test3(FuncType) {}
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/fail12436.d(55): Error: cannot have parameter of opaque type `Opaque` by value
|
|
fail_compilation/fail12436.d(56): Error: cannot have parameter of opaque type `Opaque[1]` by value
|
|
---
|
|
*/
|
|
void param12436a(Opaque); // error
|
|
void param12436b(Opaque[1]); // error
|
|
void param12436c(Opaque*); // no error
|
|
void param12436d(Opaque[]); // no error
|
|
void param12436e(Opaque[]*); // no error
|
|
|
|
void param12436f(ref Opaque); // no error
|
|
void param12436g(ref Opaque[1]); // no error
|
|
void param12436h(out Opaque); // no error
|
|
void param12436i(out Opaque[1]); // no error
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/fail12436.d(75): Error: cannot have parameter of opaque type `A14906` by value
|
|
fail_compilation/fail12436.d(76): Error: cannot have parameter of opaque type `A14906[3]` by value
|
|
fail_compilation/fail12436.d(77): Error: cannot have parameter of opaque type `A14906[3][3]` by value
|
|
---
|
|
*/
|
|
enum A14906;
|
|
void f14906a(A14906) {}
|
|
void f14906b(A14906[3]) {}
|
|
void f14906c(A14906[3][3]) {}
|