-
Notifications
You must be signed in to change notification settings - Fork 11
/
NEWS
3396 lines (2259 loc) · 98.9 KB
/
NEWS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
Cdecl NEWS -- history of user-visible changes.
Copyright (C) 2018-2024 Paul J. Lucas, et al.
See the end of the file for license conditions.
Note: over its 35+ year history, cdecl has never had good version numbering.
For changes in a particular version where the version number is unknown, the
version's author is given instead. For the full (known) list of authors along
with their complete changes, see the AUTHORS file.
-------------------------------------------------------------------------------
* Changes in Cdecl 18.4.1
** readline.h & stdio.h fix
Compensating for the apparent fact that genuine GNU readline.h (wrongly)
requires a manual #include <stdio.h>.
* Changes in Cdecl 18.4
** C++26
Initial support for C++26 has been added, specifically `= delete("reason")` is
now supported.
However, since C++26 is (at least) 2 years away, the default language for C++
is still C++23.
** Placemarker for empty macro argument
Macros that can take a single argument can also accept no arguments since it's
interpreted as an argument of a placemarker, e.g.:
cdecl> #define M1(A) [A]
cdecl> expand M1()
M1() => [A]
| A =>
M1() => []
is correct.
* Changes in Cdecl 18.3
** `no` option autocompletion
Since the "no" options are of the form `nofoo` and not `no-foo`, if the user
types:
cdecl> set no-<tab>
i.e., includes '-', it's changed to just "no" so **cdecl** will still present
all the "no" options.
** Dynamic `__FILE__` & `__LINE__` macros.
The value of `__FILE__` is now the current input file, if any, or `stdin`. The
value of `__LINE__` is the line numer within that file, if any.
** `language` option
The `lang` option has been replaced by `language` to match the `--language`
command-line option.
** Fixed `set` _lang_
Giving a value for a language for the `set` command is now correctly forbidden,
e.g.:
cdecl> set c=x
^
7: error: "x": set option "c" takes no value
** `##` whitespace
Fixed incorrect deletion of whitespace when concatenating tokens in some cases.
** `__VA_ARGS__` as `##` argument
`__VA_ARGS__` as a `##` argument is now correctly not further expanded, e.g.:
cdecl> #define XPASTE(...) x ## __VA_ARGS__
cdecl> expand XPASTE(__LINE__)
...
XPASTE(__LINE__) => x__LINE__
** `__VA_OPT__` expanding to nothing
When `__VA_OPT__` expands to nothing, it needs to expand into a placemarker.
** `__VA_OPT__` whitespace
Leading & trailing whitespace in `__VA_OPT__()` tokens is now trimmed, e.g.:
cdecl> #define CALL_QUOTE(x) QUOTE(x)
cdecl> #define QUOTE(X) #X
cdecl> #define TILDAS(...) ~__VA_OPT__( ~ )~
cdecl> expand CALL_QUOTE(TILDAS(x))
...
CALL_QUOTE(~~~) => "~~~"
* Changes in Cdecl 18.2
** More permissive types
Unknown names are now always permitted as types in pseudo-English. Hence, the
`--permissive-types` option now only additionally allows keywords in language
versions other than the current language as types.
* Changes in Cdecl 18.1
** `alignas` scoped names
Alignments can now have names to denote the number of bytes, e.g.:
c++decl> explain alignas(N) char c
declare c as character aligned as N bytes
where `N` is presumed to be an integer constant.
** `_BitInt` multi-declarations
Declarations like:
declare x, y as bit precise integer 4
are now correct.
** `CDECL_TEST=false` tests
Fixed these tests.
** `CDECL_TEST=true` & `--no-config`
Specifying the `--no-config` option now always works even when testing.
** `enum`, `class`, `struct`, & `union` multi-declarations
Explaining these is now correct, e.g.:
cdecl> explain enum E x, y, f()
declare x, y as enumeration E
declare f as function returning enumeration E
** Glob help
Fixed glob help.
** Implicit `int` warnings
In C89, implicit `int` is now warned about in more cases, e.g.:
cdecl> set c89
cdecl> explain static x
^
9: warning: missing type specifier; "int" assumed
declare x as static integer
** K&R C typeless parameters in English
To match gibberish output, K&R C typeless parameters now print `as integer` in
pseudo-English:
cdecl> set c17
cdecl> explain char f(x)
^
16: warning: missing type specifier; "int" assumed
declare f as function (x as integer) returning character
** `--no-prompt` option short option
The short option for `--no-prompt` has been changed from `-p` to `-P`.
** New `--permissive-types`, `-p` options
Permits either unknown names or keywords in language versions other than the
current language as types in pseudo-English. By default, a declaration like:
declare p as pointer to T
where `T` is an unknown type would result in "unknown type" error. Similarly,
a declaration in C like:
declare p as pointer to class
would result in an "unsupported type in C" error even though `class` would be a
valid user-defined type in C. This option permits such declarations.
Permissive types is not the default because always permitting either unknown
names or keywords in language versions other than the current language as types
can result in confusing errors. For example, if permissive types were the
default, then you would get the following in C:
cdecl> declare D as virtual destructor
^
14: warning: "virtual" is a keyword in C++
virtual D;
^
22: syntax error: "destructor": unexpected token ...
Here, `virtual`, not being a keyword in C and therefore a valid name for a
user-defined type, would be taken to be a type name, so **cdecl** would
interpret that to mean you want to declare `D` as a variable of type `virtual`
-- and **cdecl** would do so by printing `virtual D` (but still warning that
`virtual` is a keyword in C++). But then `destructor` would be unexpectedly
encountered and generate an error. (It could easily be the case that you
simply forgot to set the current language to C++ instead of C.)
With the default non-permissive behavior, you would instead get:
cdecl> declare D as virtual destructor
^
14: error: "virtual": unsupported keyword in C
which is clearer, but at the cost of not permitting valid declarations that use
either unknown names or keywords in language versions other than the current
language as types.
** `show ::FILE`
Fixed a crash.
** `show` fixed glob
Now, showing a specific glob (one having no `*`s in it) like:
c++decl> show ::FILE
will show the definition of `FILE` even though it's predefined and not the
default of user-defined.
** Type name warnings
Defining types that are keywords in other languages are now warned about, e.g.:
cdecl> struct friend
^
8: warning: "friend" is a keyword in C++98
** `typedef` modifiers
Attempting to use modifiers with `typedef`s is now correctly forbidden, e.g.:
typedef int T
explain unsigned T // error
** Unknown names
Now checking for unknown names in pointer-to-member and reference declarations.
* Changes in Cdecl 18.0
** Allowing blocks & user-defined literals in multi-declarations
Apple blocks and C++ user-defined literals are now correctly allowed in multi-
declarations, e.g.:
int i, a[2], (^b)(char), f(double), operator~(S&), operator""_x(char)
** `cast` & `declare` command executable name support
Support for the `cast` & `declare` command as the executable name has been
dropped; only the `explain` command is still supported. (I didn't realize
until now that `declare` conflicts with the shell built-in.)`
** Cast to `typedef`
Casting to a `typedef`d type is fixed:
cdecl> typedef int T
cdecl> cast x into T
(T)x
** C99 language extensions
Fixed printing of C99 language extention names.
** `CDECL_DEBUG` environment variable
If set to an "affirmative" value (one of 1, t, true, y, or yes, case-
insensitive), then **cdecl** will print its process ID and a "waiting for
debugger to attach" message to standard error and wait indefinitely for a
debugger to attach.
** `CDECL_TEST` environment variable
If set to an "affirmative" value (one of 1, t, true, y, or yes, case-
insensitive), then **cdecl** be in "testing mode" (see man page for details).
** `complex` & `imaginary` help
Adding these missing modifiers to the help.
** Constructor & pre-C99 function qualifiers
`const`, `volatile`, `__restrict`, `final`, and `override` qualifiers are now
syntactically allowed on constructors and pre-c99 functions even though they
are still semantically illegal to give better error messages.
** Digraph & trigraph preprocessor support
Digraphs & trigraphs are now supported by the preprocessor:
#define ML ??/
multiline
%:define QD(X) %:X // same as: #define QD(X) #X
??=define QT(X) ??=X // same as: #define QT(X) #X
Additionally when showing macros in either digraph or trigraph mode, the
correct tokens are used:
cdecl> set digraphs
cdecl> show QD
%:define QD(X) %:X
** Digraph & trigraph structured binding support
Digraphs & trigraphs are now correctly supported for structured bindings.
** `--echo-commands` & config files
Commands are now also echoed for those in configuration files.
** `infer-command` and `constant cast`
When `infer-command` mode is set, spelling out `constant` now works correctly:
constant cast p into pointer to int
** File line number
When reading from a file via `-f`, now includes the file name and error line
number in error messages.
** Fixed multi-declaration of functions
A multi-declaration of functions with different signatures has been fixed,
e.g.:
cdecl> explain int f(int), g(double)
declare f as function (integer) returning integer
declare g as function (double precision) returning integer
** Invalid conf file is now fatal
An error in a conf file is now fatal.
** New `--lineno`, `-L` option
Specifies an integer to add to all line numbers in error and warning messages
as a debugging aid. (See the man page for details.)
** `show` non-existent glob
An error message will now be printed if a glob has no matches.
** More permissive `scope`
Now, `scope` can be used anywhere in a scoped declaration, i.e., something
having the generic `scope` can have anything nest within it and `scope` can
nest within anything.
** C++ `std` namespace
Whenver "std" is used for a scope, **cdecl** now automatically makes it a
namespace, e.g.:
c++decl> struct std::T
c++decl> explain std::T x
declare x as structure T of namespace std
** Using predefined macro names elsewhere
Attempting to use a predefined macro name as an ordinary name now results in an error:
cdecl> explain int __DATE__
^
9: error: "__DATE__" is a predefined macro
* Changes in Cdecl 17.0.1
** Fixed returning parameter packs
Functions returning parameter packs is now correctly illegal.
* Changes in Cdecl 17.0
** Abbreviated function template parameter packs
Functions with `auto` parameters (abbreviated function templates) like:
int f( auto x )
have been supported since **cdecl** 9.6; this release adds additional support
for parameter packs like:
int f( auto ...x )
** Added `help` option suggestions
Added suggestions to error messages for the help options `commands`, `english`,
and `options`, for example:
cdecl> help eglish
^
6: "eglish": no such command or option; did you mean "english"?
** Constrained `auto`
For abbreviated function templates, _constrained_ `auto` declarations are now
supported:
c++decl> explain C auto x
declare x as concept C
c++decl> explain C auto ...x
declare x as concept C parameter pack
** `auto` parameters in `typedef`s
Use of `auto` in `typedef` function-like parameters is now correctly reported
as an error:
c++decl> typedef int F(auto)
^
15: error: "auto" illegal in type definition
** `decltype` declarations
Now recognizing `decltype` just to say it's not supported.
** Glob help
The help text now defines "glob."
** GNU `--version`
Now printing **cdecl** copyright year, author, license, free software
statement, and no warranty statement to conform to the GNU Coding Standards;
see <https://www.gnu.org/prep/standards/html_node/_002d_002dversion.html>.
** Structured binding declarations
Structured binding declarations are now supported except that you don't assign
them from anything (no `=` _expression_):
c++decl> explain auto [x, y]
declare x, y as structured binding
c++decl> explain auto&& [x, y]
declare x, y as rvalue reference to structured binding
** Fixed `operator` declaration core dump
An invalid scoped operator name containing a keyword like:
c++decl> explain bool int::operator!()
would dump core; fixed.
** Fixed `--west-decl=t` for `pointer to const pointer`
Given:
c++decl --west-decl=t 'declare p as pointer to const pointer to int'
you'd incorrectly get:
int *const *p;
You now correctly get:
int* const* p;
* Changes in Cdecl 16.4.1
** Fixed `make install DESTDIR=...`
Fixed `make install` of shell completion functions when setting `DESTDIR` on
the command-line.
** Better error message when expanding `__VA_*` macros
Attempting to expand either `__VA_ARGS__` or `__VA_OPT__` now says that either
is valid only in a macro definition.
* Changes in Cdecl 16.4
** Echoing commands short option
The short option for `--echo-commands` has been changed from `-O` to `-E`.
** Number help
Help now includes what a "number" is.
** Shell completion options
There are two new options: `--commands`/`-K` that prints **cdecl**'s commands
for the current language and `--options`/`-O` that prints cdecl's options.
Both are intended to aid in writing shell completion functions for **cdecl**.
** Shell completion functions
Bash and Zsh shell completion functions for **cdecl** are included under
`share` and are installed as part of `make install`.
** Improved error messages for predefined types
Improved error messages in cases involving a predefined type such as:
cdecl> explain int int8_t
cdecl> struct int8_t
In both cases, the error message printed now is:
error: "int8_t" is a predefined type starting in C99
* Changes in Cdecl 16.3
** Better destructor parameter error message
Attempting either to explain or declare a destructor having a parameter list
now prints "destructors may not have parameters" explicitly.
** Defining a type more than once
If a type is defined again where the current language is older than the
language in which it was previously defined, the type's set of languages is now
updated to be the current language and newer. For example, previously:
cdecl> set c23
cdecl> typedef int Int
cdecl> show
typedef int Int;
cdecl> set c17
cdecl> typedef int Int // Already exists so did nothing.
cdecl> show // Would NOT show anything.
cdecl>
Now the second `typedef` would update `Int` to make it available in C17 and
newer so the second `show` would show it.
** Multiple conflicting declarations
Now exhaustively checking multiple declarations for conflicts in C.
Previously, multiple declarations of a variable or function with conflicting
types that was separated by a different variable or function wasn't caught:
int x, x; // OK in C
int x, *x; // error (different types)
int x, y, *x; // error, but wasn't caught
Now it is.
** Using macros elsewhere
Previously, attempting to use a macro where names are generally allowed would
result in an error like:
cdecl> #define N 5
cdecl> explain int a[N]
^
15: syntax error: "N": ']' expected
because "N" was returned as a macro token by the lexer. Now, the lexer ignores
the fact that a name might be a macro.
* Changes in Cdecl 16.2.2
** `long long` not until C++11
Previously, **cdecl** allowed `long long` in C++98 and C++03, but it wasn't
officially supported until C++11. Now, **cdecl** allows `long long` in C++
only since C++11.
* Changes in Cdecl 16.2.1
** Fixed macro argument list memory leak
Fixed said leak.
* Changes in Cdecl 16.2
** Partial `typeof` support
Both `typeof` and `typeof_unqual` in C23 are partially supported in that types
are accepted (but expressions are not):
typeof(int*) x // supported
typeof(x) y // not supported
Additionally, GNU's `__typeof__` is a synonym for `typeof`.
* Changes in Cdecl 16.1
** `explicit-ecsu` in English
The value of the `explicit-ecsu` option now also applies in pseudo-English.
Previously:
c++decl> class C
c++decl> explain C *p
declare p as pointer to C
Now (with `explicit-ecsu` containing `c`):
c++decl> class C
c++decl> set explicit-ecsu = csu
c++decl> explain C *p
declare p as pointer to class C
** Leading/trailing whitespace stringification
Previously:
#define Q2(A,B,C) #B
expand Q2(, a b ,)
incorrectly returned `" a b "` whereas now it correctly returns `"a b"`.
* Changes in Cdecl 16.0
** Macro expansion
Cdecl now allows you to `#define` macros and `expand` them step-by-step.
** C99 with extension error messages
Improved C99 with extension error messages.
** `--disable-cdecl-debug` removed
The `--disable-cdecl-debug` `configure` option has been removed (which means
**cdecl** debug output is always compiled in).
** `GCC_COLORS`
Support for `GCC_COLORS` has been removed. It was more of a hindrance than a
help.
** Implicit `int` pointers in C++
Implicit `int` pointer declarations, e.g., `*p`, are now correctly illegal in
C++.
** `--infer-command`, `-I`
The former `--explain` and `-e` options have been renamed `--infer-command` and
`-I`; the former `explain-by-default` `set` option has been renamed `infer-
command`.
** Fixed issue #32: Invalid function declarator accepted as valid
A declarator like "int f()()()" was incorrectly accepted as valid -- fixed.
** Fixed `infer-command` comment syntax error
When in `infer-command` mode, a line starting with a comment would cause a
syntax error. Fixed.
** `--east-const`, `-e`
Since the old `-e` was renamed to `-I`, the short option for `--east-const` is
now `-e`.
** Lambdas in C
Lambdas are now correctly illegal in C.
** Nested `typedef`s
Fixed printing of `typedef`s of nested types, e.g.:
c++decl> struct S { typedef int I; }
c++decl> typedef typename S::I T
c++decl> show
typedef S::I T;
** `restrict` arrays
Arrays being `restrict` except as function parameter is now correctly illegal.
** Fixed parsing `struct` member bit-field
A declararation like:
struct S
explain int S::x : 3
was incorrectly parsed; that's now fixed. (Scoped names still correctly can't
be declared like that with bit fields, however.)
** Types in error & warning messages
For types that are `typedef`s, now printing `aka` followed by their underlying
types in more cases.
** Fixed escaped newlines
Fixed escaped newline handling when not using GNU readline.
** Fixed `q` command
Fixed having `q` be a synonym for `quit` in `infer-command` (formerly `explain-
by-default`) mode.
* Changes in Cdecl 15.0
** Coalesced `explain` output
Output from `explain` coalesces same-base-type declarations together, e.g.:
cdecl> explain int x, *p, y
declare x, y as integer
declare p as pointer to integer
** Command help
The `help` command now accepts a **cdecl** command name and prints help for
only that command.
** Optional `unique_id` in dump output
By default, dumped AST JSON5 no longer includes `unique_id` values. (This is
so diffs of debug output that differ only by `unique_id` don't cause tests to
fail.)
Correspondingly, the `-d` and `--debug` command-line options and the `debug`
`set` option now optionally take a `u` argment to re-enable printing
`unique_id` values (that are useful for debugging).
** `dup_from_id`
When dumping JSON5 output and `unique_id` values are included, an additional
`dup_from_id` value is now also printed. It is the `unique_id` of the AST node
the current node was duplicated from, if any.
** Dump in JSON5 (really)
The format of the dump output is now (really) in valid JSON5 format.
** More std types
Added more standard types.
** Folded `cast` help
Help for new-style casts has been folded into the same line for C-style casts.
** `--no-buffer-stdout` & `-b`
Added command-line options to set stdout to unbuffered. (This is useful to
print output immediately while single-stepping in a debugger.)
** `non-throwing`
Previously, `non-throwing` always means `throw()`. Now, the meaning changes
based on the current language: if it's C++11 or later, it means `noexcept`.
** `type` in `define`
**cdecl** now allows the word `type` to appear in a `define` command, e.g.:
define PI as pointer to int
define PI as type pointer to int // same as above
** Multiple declarations fixes
Declarations like:
explain bool b, operator!(const S&)
explain int f(), a[2]
now work.
** Showing `inline namespace` types
Showing `inline namespace` types as gibberish has been fixed.
** Types in error & warning messages
The offending type is now included in error messages. For example:
cdecl> explain void f(double d, int x[d])
^
31: error: invalid array dimention type "double"; must be integral
If the type is a `typedef`, also prints `aka` followed by its underlying type:
c++decl> explain std::size_t operator new( std::size_t )
^
9: error: invalid operator "new" return type "std::size_t" (aka, "unsigned long"); must be "void*"
* Changes in Cdecl 14.4
** `_Alignas` forward declarations
`_Alignas` is now correctly forbidden on forward declarations.
** `auto` with multiple declarators in C
`auto` with multiple declarators is now correctly forbidden in C.
** `auto *p` in C
`auto` with a pointer declarator is now correctly forbidden in C.
** Bit-field `typedef`s for `enum`s
A bit-field of a `typedef` for an `enum` is now correctly forbidden in C:
typedef enum E T
explain T x : 4 // error: enum bit-field is illegal
** `const` `typedef` of reference
**cdecl** will now warn about applying `const` to a reference `typedef`:
c++decl> using rint = int&;
c++decl> explain const rint x
^
9: warning: "const" on reference type has no effect
** Reference to function or reference
**cdecl** now correctly allows references to function and references.
** Reworked qualified array syntax
C99 added the ability to qualify function parameters using array syntax, e.g.:
void f( int x[const] ); // or volatile or restrict
void f( int x[static 2] ); // must be non-null and 2 mininum size
The problem was if this new use of `static` was converted to pseudo-English in
the intuitive way:
declare f as function (x as static array 2 of integer) returning void
then it would be ambiguous with conventional `static` arrays:
static int x[2];
As an ugly fix, **cdecl** forced you to put the qualifiers _after_ `array`:
declare f as function (x as array static 2 of integer) returning void
The new `static` is really a new qualifier, not a storage-class specifier. To
give **cdecl** an intuitive syntax, the new `static` is now `non-empty` in
pseudo-English to disambiguate it and allow it to come _before_ `array`:
declare f as function (x as non-empty array 2 of integer) returning void
** Function returning `typedef` of `volatile`
Functions returning a `typedef` of `volatile` are now correctly warned about in
C++20 and later:
c++decl> using vint = volatile int
c++decl> explain vint f()
^
9: warning: "volatile" return types are deprecated since C++20
declare f as function returning vint
** Member functions with linkage
Now flagging member functions with user-specified linkage as an error.
** Unsupported `set` options
When printing all `set` options in response to the `set` command, **cdecl** now
also prints `(Not supported ....)` next to options that are not supported in
the current language.
* Changes in Cdecl 14.3
** `*` and `-`
For the `explicit-ecsu`, `explicit-int`, and `west-pointer` options, `*` is a
synonym for "all" and `-` is a synonym for "none" but only when they're by
themselves.
** Arrays with named sizes
Arrays can now have names to denote their size, e.g.:
cdecl> explain int a[N]
declare a as array N of integer
When such an array is a function parameter, **cdecl** now knows it's a VLA:
cdecl> explain void f( int n, int a[n] )
declare f as function (n as integer, a as variable length array n of integer) returning void
** Autocompleting `precision`
`precision` is now autocompleted following `double` in pseudo-English.
** Autocompleting `returning` for lambdas
`returning` was added to the set of next autocompletable keywords for `lambda`.
** Ding on no command match
When no command is matched at all for autocompletion, we now ring the bell.
** Improved "declaration expected" error message
For declarations like:
cdecl> explain int float
**cdecl** now mentions that "float" is a keyword in error messages.
* Changes in Cdecl 14.2
** Autocompletion `=`
Autocompleting `set` options that take a value now includes `=`.
** `-I` changed to `-i`
The `-I` option (`--explicit-int`) has been changed to `-i`.
** `-R` changed to `-r`
The `-R` option (`--trailing-return`) has been changed to `-r`.
** "West" pointer types
New `--west-pointer` and `-w` command-line options and a new `west-pointer`
`set` option allow specification of when to print `*`, `&`, and `&&` adjacent
to types ("west"):
int *p; // east
int* p; // west
* Changes in Cdecl 14.1.1
** Escaping quotes in dump strings
When dumping, quotes in strings are now properly escaped.
** Quoting lambda capture dump strings
When dumping, `this` and `*this` are now properly quoted.
** Fixed operator dump crash
Dumping an operator caused a crash: fixed.
* Changes in Cdecl 14.1
** Alternative tokens
Blocks, lambda captures, and reference functions now correctly print
alternative tokens when the option is enabled.
** Alternative tokens vs. di/trigraphs
If both alternative token and either di/trigraph options are set, alternative
tokens now have priority.
** C casting without a name
Now allowing C-style casting without a name:
cdecl> cast to pointer to char
(char*)
** Di/Trigraphs
Now correctly emitting di/trigraphs for lambda captures and `operator[]`.
** Debug output
The format of the debug output has been made more JSON5-like.
** Limit when `q` means `quit`
The `q` command is now recognized as a synonym for `quit` only when it's the
only thing on a line other than whitespace. This now allows things like:
cdecl> declare p, q as pointer to int
int *p, *q;
to work without complaining that `q` is a **cdecl** keyword.
** Trailing return type
New `--trailing-return` and `-R` command-line options and `trailing-return`
`set` option enable printing a function's or operator's return type using the
trailing return type syntax in C++11 and later.
** `unsigned` in K&R C
Now correctly restrict `unsigned` to `int` only in K&R C.
** Verbose version
If either the `--version` or `-v` is given twice, additionally prints the set
of `configure` feature & package options and whether GNU readline (if compiled
in) is genuine.
** Fixed explicit constructor with unecessary `()`
A declaration like:
explain explicit (C)(int)
that's an explicit constructor with unnecessary `()` caused a crash. Fixed.
* Changes in Cdecl 14.0
** Autocompletion bell
When hitting TAB and there are no completion matches, **cdecl** now rings the
terminal's bell.
** Cast into array
Now correctly allowing casting into an array when there is no name:
cdecl> explain (char const *const[])
cast into array of constant pointer to constant character
** Destructors in C
**Cdecl** now correctly reports destructors in C as an error.
** Digraph & trigraph fixes
The digraphs and trigraphs for `{` and `}` weren't emitted when they should
have been for nested types. The digraphs & trigraphs for `{` and `}` weren't
parsed at all. Both fixed.
** Lambdas
Support for C++ lambdas has been added:
c++decl> explain [=,&x](int n)
declare lambda capturing [copy by default, reference to x] (n as integer)
** Undid K&R function parameter printed as `int`
Undid a change in **cdecl** 11.5 where K&R C typeless function parameters were
printed as being of type `int`: they now again print as only their names.
* Changes in Cdecl 13.2
** Improved autocompletion
In cases where words in pseudo-Engish can only have a limited set of words that
follow in the grammar, only those are now suggested.
** Array of array check
Now correctly reporting declarations of arrays of incomplete arrays as an
error, e.g.:
cdecl> explain void f(int x[][])
^
23: error: array dimension required
** Fixed color prompts
Prompts were always being displayed in color even when --color=never. Fixed.
** Function parameter checks
No longer require certain declarations to be function parameters: `const`,
`volatile`, `static`, and variable length arrays; `[[carries_dependency]]`.
This was changed so you can explain an individual function parameter
declaration without having to wrap it inside a function declaration.
** Autocompletion word-break characters
The set of word-break characters for autocompletion has been expanded to be
(almost) all non-identifier characters.
** `extern void v`
C allows you to declare an object of an incomplete type, so C allows:
extern void v
Now cdecl does also.
** More English synonyms
The following English synonyms have been added:
bit-precise integer _BitInt
bit precise integer _BitInt
** `[[no_unique_address]]` bit fields
Bit-fields having `[[no_unique_address]]` are now correctly reported as an
error.
** User-defined literal parameter lists
Fixed requiring parameter list for user-defined literals in English.
* Changes in Cdecl 13.1
** `auto` type definitions and casts
Defining or casting a type containing `auto` is now correctly reported as an
error.
** C23 `auto`
Added support for `auto` as a deduced type in C23.
** C23 trigraphs
Trigraphs are no longer supported in C23.
** `_BitInt(<int>)` help
`_BitInt(<int>)` was added to the help text.
** Color prompt
Now printing the prompt in color even when readline is disabled.
** More English synonyms
The following English synonyms have been added:
boolean _Bool
Boolean _Bool