Change Log: 2.104.0 - D Programming Language
Description: D Programming Language
Keywords: D programming language

Menu

- Learn
- Documentation
  - Language Reference
  - Library Reference
  - Command-line Reference
  - Feature Overview
  - Articles
- Downloads
- Packages
- Community
  - Blog
  - Orgs using D
  - Twitter
  - Forums
  - IRC
  - Community Discord
  - Wiki
  - GitHub
  - Issues
  - Get involved
  - Contributors
  - Foundation
  - Security Team
  - Donate
  - Sponsors
- Resources
  - Tour
  - Books
  - Tutorials
  - Tools
  - Editors
  - IDEs
  - run.dlang.io
  - Visual D
  - Acknowledgments
  - D Style
  - Glossary
  - Sitemap

Search
Report a bug
If you spot a problem with this page, click here to create a Bugzilla issue.
Improve this page
Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using a local clone.

# Change Log: 2.104.0

Download D 2.104.0
released Jun 01, 2023

2.104.0 comes with 11 major changes and 63 fixed Bugzilla issues. A huge thanks goes to the 38 contributors who made 2.104.0 possible.

#### Compiler changes

1. Better error message when attribute inference fails down the call stack
2. Using ; as an empty statement has been turned into an error
3. Using in parameters with non extern(D)/extern(C++) functions is deprecated
4. in ref on parameters has been deprecated in favor of -preview=in
5. Throwing qualified objects is now deprecated
6. User Defined Attributes now parse Template Arguments

#### Library changes

1. Better static assert messages for std.algorithm.comparison.clamp
2. std.typecons.Rebindable now supports all types

#### Tools changes

1. rdmd supports -shared

#### Dub changes

1. Add new properties 'cSourcePaths' and 'cImportPaths' to SDL/JSON
2. The way packages are stored internally has changed

List of all bug fixes and enhancements in D 2.104.0.

#### Compiler changes

1. Better error message when attribute inference fails down the call stack

   When a function fails to infer a function attribute, all callers of that function also fail to infer the attribute. The resulting error message only points to the top most function with the explicit attribute:

       void main() @nogc
       {
           fun();
       }

       auto fun()
       {
           funImpl();
       }

       auto funImpl()
       {
           int[] a = [1, 2, 3];
       }

       app.d(4): Error: @nogc function D main cannot call non-@nogc function app.fun

   This doesn't tell the underlying reason why fun wasn't inferred @nogc, and led to use of workarounds to get better information. The new error message will point to the function which failed to infer the attribute:

       app.d(4): Error: @nogc function D main cannot call non-@nogc function app.fun
       app.d(7):        which calls app.funImpl
       app.d(14):        which wasn't inferred @nogc because of:
       app.d(14):        array literal in @nogc function app.funImpl may cause a GC allocation

   Note: this was already implemented for @safe since 2.101, but it has now been extended to @nogc, nothrow, and pure.

2. Using ; as an empty statement has been turned into an error

   This has been deprecated since 2.075.0 because it's error prone:

       void main()
       {
           foreach (i; 0 .. 8);
           {
               // Because of the accidental semicolon above,
               // this block statement is executed once.
               // It's not the loop body
           }
       }

   It will now result in an error.

       app.d(3): Error: use { } for an empty statement, not ;

3. Using in parameters with non extern(D)/extern(C++) functions is deprecated

   In preparation for enabling -preview=in by default, using in parameters on function that have neither D nor C++ linkage is deprecated. Users can replace instances of in with either const or scope const. Refer to v2.101.0 changelog's for a full rationale.

4. in ref on parameters has been deprecated in favor of -preview=in

   Using in ref (or ref in) on function parameters will now yield a deprecation. Users are encouraged to remove the ref and compile with -preview=in, which will infer whether the parameter should be passed by reference or value. Users wanting a specific ABI are encouraged to use scope const ref instead. Note that this also applies to auto ref in, which is equivalent to in with -preview=in, but the latter doesn't require the function to be templated.

5. Throwing qualified objects is now deprecated

   Previously, an immutable, const, inout or shared exception could be thrown and then caught in an unqualified catch (Exception e) clause. That breaks type safety. Throwing a qualified object is now deprecated. This helps to prevent possible mutation of an immutable object in a catch clause.

   The runtime also modifies a thrown object (e.g. to contain a stack trace) which can violate const or immutable objects. Throwing qualified objects has been deprecated for this reason also.

6. User Defined Attributes now parse Template Arguments

   It was already allowed to put types in UDAs, but the parser would reject basic types written directly, requiring the use of an alias.

       alias Tint = int;

       @Tint void f();

   Also, simple literals that can appear in template instantiations without brackets (example: foo!"arg") require parentheses when used as an attribute:

       @("my test") unittest
       {

       }

   Now, arguments that can appear after a template instantiation foo! can also appear after an @ attribute.

       @int void f();

       @"my test" unittest
       {

       }

#### Library changes

1. Better static assert messages for std.algorithm.comparison.clamp

   Until now, clamp used a template constraint to check if the passed types could be used. If they were not, it was very tedious to figure out why.

   As the template constraint is not used for overload resolution the constrains are moved into static asserts with expressive error messages.

2. std.typecons.Rebindable now supports all types

   Rebindable can now be used to store and rebind values of any type, including immutable struct values.

   To ensure const safety is preserved, the stored values cannot be accessed by reference.

   The implementation used for all previously supported types (classes, interfaces and arrays) is unchanged.

#### Tools changes

1. rdmd supports -shared

   rdmd now understands DMD's -shared switch, and sets the default output file name appropriately (.dll, .so, or .dylib depending on the platform), in the same way as -lib.

#### Dub changes

1. Add new properties 'cSourcePaths' and 'cImportPaths' to SDL/JSON

   cSourcePaths passes the C source files in all specified directories to the compiler. All C sources found in the given directories for 'cImportPaths' are passed to the D compiler. This ensures backward compatible behaviour for projects that stored C sources aside of D source file, while porting them to D.

   The second keyword 'cImportPaths' will add additional search paths for C headers. These directories are passed to the D compilers as addition include paths. The feature might need additional tweaking, because the include paths are currently joint with the D import paths. This might change in future to support independant search paths for C to be passed to the D compilers.

2. The way packages are stored internally has changed

   Previous versions of dub stored packages in the following format: $CACHE_PATH/$PACKAGE_NAME-$PACKAGE_VERSION/$PACKAGE_NAME/ Starting from this version, the format will be: $CACHE_PATH/$PACKAGE_NAME/$PACKAGE_VERSION/$PACKAGE_NAME.

   Introducing a new level will help users quickly list what packages they actually have installed, and reduce visibility of packages that might update frequently. It will render various commands (e.g. du) more useful, pave the way for a package GC function, and make manual browsing easier.

   More importantly, it will allow future version of dub to infer the version from the path to the package, removing the need to read (or edit) the recipe file on every dub invocation.

List of all bug fixes and enhancements in D 2.104.0:

#### DMD Compiler regression fixes

1. Bugzilla 23764: Message printed twice: Usage of in on parameter
2. Bugzilla 23832: dmd regression 2.103.0 silent error cannot call decode at runtime
3. Bugzilla 23874: -profile=gc segfaults / ICE regression
4. Bugzilla 23882: ICE (segfault) on nasty alias this code
5. Bugzilla 23905: Initialization of SumType with opaque enum causes ICE
6. Bugzilla 23913: __traits(getMember) fails for some C symbols

#### DMD Compiler bug fixes

1. Bugzilla 12118: Modify immutable data using throw
2. Bugzilla 18493: [betterC] Can't use aggregated type with postblit
3. Bugzilla 19454: Name collisions with unnamed function parameters
4. Bugzilla 19706: Attribute inference in struct fails
5. Bugzilla 20737: TLS variables unusable with -betterC for Windows MSVC targets
6. Bugzilla 21667: scope parameter causes 'no size because of forward references'
7. Bugzilla 22760: Segmentation fault in CppMangleVisitor.template_arg
8. Bugzilla 22785: joiner does not support range over immutable
9. Bugzilla 22960: importC: K&R-style functions assume variadic calling convention
10. Bugzilla 23014: importC: static thread-locals do not work
11. Bugzilla 23055: importC: using compound-literal array as pointer in CTFE gives 'dereference of invalid pointer'
12. Bugzilla 23402: importc function definitions from includes can cause D name conflicts
13. Bugzilla 23427: ImportC: some bitfield combinations lead to wrong size struct
14. Bugzilla 23509: ImportC: need statement expressions extension for GLibC's assert()
15. Bugzilla 23691: compilable/test22294.i:16:1: control Z interpreted as end of file
16. Bugzilla 23715: ImportC: No rejection of _Thread_local variables declared at function scope without 'static' as per C11 6.2.4-5
17. Bugzilla 23727: ImportC support imaginary real numbers
18. Bugzilla 23784: ImportC: __ptr32, __ptr64
19. Bugzilla 23787: ImportC: __unaligned
20. Bugzilla 23789: ImportC: __declspec(align(n))
21. Bugzilla 23795: Cannot cast _Complex!double to _Complex!float
22. Bugzilla 23801: ImportC: enumeration constant does not fit in an int
23. Bugzilla 23802: ImportC: __volatile__ is yet another alias for volatile
24. Bugzilla 23808: #include is not working with importc
25. Bugzilla 23822: Deprecated struct alias ignored completely
26. Bugzilla 23826: Deprecated type member passed to template doesn't warn
27. Bugzilla 23836: Two errors printed for typeof(super) in non-static member context
28. Bugzilla 23837: importc fails to link on windows x86 but successes on x64
29. Bugzilla 23838: DMD lexer / parser examples might not compile
30. Bugzilla 23861: Compiler segmentation fault with ref and alias this
31. Bugzilla 23863: typeof rejects AliasSeq!() as argument
32. Bugzilla 23866: ImportC: Multiple __declspecs rejected
33. Bugzilla 23867: ImportC: undefined identifier __builtin_isnan
34. Bugzilla 23869: ImportC: undefined identifier isfinite
35. Bugzilla 23873: [ICE] segfault on imported static if ; else auto x
36. Bugzilla 23885: [CI] C++ interop tests with g++ fail

#### DMD Compiler enhancements

1. Bugzilla 13577: More informative error message for refused immutable foreach loop
2. Bugzilla 17374: Improve inferred attribute error message
3. Bugzilla 20268: anonymous function parameter mismatch errors don't include parameters
4. Bugzilla 22559: ImportC: support gnu case ranges
5. Bugzilla 23401: ImportC: add -cpp=filename switch to select C preprocessor
6. Bugzilla 23862: with statement should accept an expression with enum type

#### Phobos bug fixes

1. Bugzilla 19642: std.range.slide!(No.withPartial) on lengthless forward range: get empty when expecting one window
2. Bugzilla 22147: DList can't accept a struct with postblit disabled
3. Bugzilla 22786: maxElement et al does not support range over immutable
4. Bugzilla 23834: std.file : File links to c functions are invalid and need updating
5. Bugzilla 23846: std.math can't compile under macos rosetta

#### Phobos enhancements

1. Bugzilla 6106: Keep track of changes during replace function
2. Bugzilla 14478: isInputRange should allow ranges of non-copyable elements
3. Bugzilla 23769: Lambda isn't a unary predicate for lambda that doesn't compile

#### Druntime bug fixes

1. Bugzilla 14891: profilegc_setlogfilename w/o null-terminated string might fail during fopen
2. Bugzilla 23949: core.stdc.assert_ for FreeBSD and DragonFlyBSD is incorrect

#### Druntime enhancements

1. Bugzilla 11989: Phase out TickDuration

#### dlang.org bug fixes

1. Bugzilla 14932: The language specification does not define what the shared attribute does
2. Bugzilla 23698: ImportC: __stdcall is not documented as supported MSVC/DMC extensions
3. Bugzilla 23699: ImportC: Unclear documentation that struct/union/enum introduce implicit typedefs
4. Bugzilla 23872: Wrong example in Interfacing to C: Calling printf section

### Contributors to this release (38)

A huge thanks goes to all the awesome people who made this release possible.

- Adam D. Ruppe
- Andrew Lalis
- Ate Eskola
- Atila Neves
- Caleb Xu
- Christian Koestlin
- Denis Feklushkin
- Dennis
- Dennis Korpel
- Dmytro Katyukha
- drpriver
- Ernesto Castellotti
- Grim Maple
- Hiroki Noda
- Iain Buclaw
- jamesragray
- Jan Jurzitza
- Jeremy
- Jordi Sayol
- Lance Bachmeier
- Lucian Danescu
- lucica28
- Marcelo Silva Nascimento Mancini
- Mathias Lang
- Mathis Beer
- Max Haughton
- Mike Parker
- Nick Treleaven
- Per Nordlöw
- Petar Kirov
- Rainer Schuetze
- Razvan Nitu
- Robert burner Schadek
- Steven Schveighoffer
- Temtaime
- Teodor Dutu
- Vladimir Panteleev
- Walter Bright

Copyright © 1999-2023 by the D Language Foundation | Page generated by Ddoc on Fri Jun 2 09:00:01 2023