The C3 Blog

Changes / improvements

• Support alias foo = module std::io module aliasing.
• Add compile-time @intlog2 macro to math.
• Add compile-time @clz builtin. #2367
• Add bitsizeof macro builtins. #2376
• Add compile-time @min and @max builtins. #2378
• Deprecate @compact use for comparison. Old behaviour is enabled using --use-old-compact-eq.
• Switch available for types implementing @operator(==).
• Type.is_eq is now true for types with == overload.
• Methods ignore visibility settings.
• Allow inout etc on untyped macro parameters even if they are not pointers.
• Deprecate add_array in favour of push_all on lists.
• Fix max module name to 31 chars and the entire module path to 63 characters.
• Improve error message for missing $endif.
• foo[x][y] = b now interpreted as (*&foo[x])[y] = b which allows overloads to do chained [] accesses.
• Error if a stack allocated variable is too big (configurable with --max-stack-object-size).
• Add @safeinfer to allow var to be used locally.
• Types converts to typeid implicitly.
• Allow $defined take declarations: $defined(int x = y)
• Struct and typedef subtypes inherit dynamic functions.
• Improved directory creation error messages in project and library creation commands.
• @assignable_to is deprecated in favour of $define
• Add linklib-dir to c3l-libraries to place their linked libraries in. Defaults to linked-libs
• If the os-arch linked library doesn’t exist, try with os for c3l libs.
• A file with an inferred module may not contain additional other modules.
• Update error message for missing body after if/for/etc #2289.
• @is_const is deprecated in favour of directly using $defined.
• @is_lvalue(#value) is deprecated in favour of directly using $defined.
• Added $kindof compile time function.
• Deprecated @typekind macro in favour of $kindof.
• Deprecated @typeis macro in favour of $typeof(#foo) == int.
• $defined(#hash) will not check the internal expression, just that #hash exists. Use $defined((void)#hash) for the old behaviour.
• Added optional macro arguments using macro foo(int x = ...) which can be checked using $defined(x).
• Add compile time ternary $val ??? <expr> : <expr>.

Fixes

• List.remove_at would incorrectly trigger ASAN.
• With avx512, passing a 512 bit vector in a union would be lowered incorrectly, causing an assert. #2362
• Codegen error in if (try x = (true ? io::EOF? : 1)), i.e. using if-try with a known Empty.
• Codegen error in if (try x = (false ? io::EOF? : 1)), i.e. using if-try with a CT known value.
• Reduce allocated Vmem for the compiler on 32 bit machines.
• Bug causing a compiler error when parsing a broken lambda inside of an expression.
• Fixed: regression in comments for @deprecated and @pure.
• Detect recursive creation of generics #2366.
• Compiler assertion when defining a function with return type untyped_list #2368.
• Compiler assert when using generic parameters list without any parameters. #2369
• Parsing difference between “0x00.” and “0X00.” literals #2371
• Fixed bug generating $c += 1 when $c was derived from a pointer but behind a cast.
• Compiler segfault when using bitwise not on number literal cast to bitstruct #2373.
• Formatter did not properly handle “null” for any, and null for empty faults. #2375
• Bitstructs no longer overloadable with bitops. #2374
• types::has_equals fails with assert for bitstructs #2377
• Fix native_cpus functionality for OpenBSD systems. #2387
• Assert triggered when trying to slice a struct.
• Improve codegen for stack allocated large non-zero arrays.
• Implement a5hash in the compiler for compile-time $$str_hash to match String.hash().
• Functions being tested for overload are now always checked before test.
• Compile time indexing at compile time in a $typeof was no considered compile time.
• Slicing a constant array with designated initialization would not update the indexes.
• Fix for bug when @format encountered * in some cases.
• Compiler segfault on global slice initialization with null[:0] #2404.
• Use correct allocator in replace.
• Regression: 1 character module names would create an error.
• Compiler segfault with struct containing list of structs with an inline member #2416
• Occasionally when using macro method extensions on built-in types, the liveness checker would try to process them. #2398
• Miscompilation of do-while when the while starts with a branch #2394.
• Compiler assert when calling unassigned CT functions #2418.
• Fixed crash in header generation when exporting functions with const enums (#2384).
• Fix incorrect panic message when slicing with negative size.
• Incorrect type checking when &[] and [] return optional values.
• Failed to find subscript overloading on optional values.
• Socket.get_option didn’t properly call getsockopt, and getsockopt had an invalid signature.
• Taking the address of a label would cause a crash. #2430
• @tag was not allowed to repeat.
• Lambdas on the top level were not exported by default. #2428
• has_tagof on tagged lambdas returns false #2432
• Properly add “inlined at” for generic instantiation errors #2382.
• Inlining a const as an lvalue would take the wrong path and corrupt the expression node.
• Grabbing (missing) methods on function pointers would cause crash #2434.
• Fix alignment on jump table.
• Fix correct ? after optional function name when reporting type errors.
• Make log and exp no-strip.
• @test/@benchmark on module would attach to interface and regular methods.
• Deprecated @select in favor of ???.
• Enum inference, like Foo x = $eval("A"), now works correctly for $eval.
• Fix regression where files were added more than once. #2442
• Disambiguate types when they have the same name and need cast between each other.
• Compiler module-scope pointer to slice with offset, causes assert. #2446
• Compiler hangs on == overload if other is generic #2443
• Fix missing end of line when encountering errors in project creation.
• Const enum methods are not being recognized. #2445
• $defined returns an error when assigning a struct initializer with an incorrect type #2449

Stdlib changes

• Add == to Pair, Triple and TzDateTime. Add print to Pair and Triple.
• Add OpenBSD to env::INET_DEVICES and add required socket constants.
• Added FileMmap to manage memory mapped files.
• Add vm::mmap_file to memory map a file.
• Updated hash functions in default hash methods.
• Added FixedBlockPool which is a memory pool for fixed size blocks.
• Added the experimental std::core::log for logging.
• Added array @zip and @zip_into macros. #2370
• Updated termios bindings to use bitstructs and fixed some constants with incorrect values #2372
• Add Freestanding OS types to runtime env:: booleans.
• Added libloaderapi to std::os::win32.
• Added HashSet.values and String.contains_char #2386
• Added &[] overload to HashMap.
• Deprecated PollSubscribes and PollEvents in favour of PollSubscribe and PollEvent and made them const enums.
• Added AsciiCharset for matching ascii characters quickly.
• Added String.trim_charset.
• Added array @reduce, @filter, @any, @all, @sum, @product, and @indices_of macros.
• String.bformat has reduced overhead.
• Supplemental roundeven has a normal implementation.