c3lang/c3c v0.8.0

Version 0.8.0

on GitHub

Changes / improvements

• Removed "old-enums, old-slice-copy and old-compact-eq" feature flags.
• Removed deprecated $evaltype.
• Removed all deprecated (as of 0.7.11) types and functions from the stdlib.
• Removed deprecated iXX and uXX suffixes.
• Removed deprecated Enum.lookup.
• Removed deprecated ? as suffix operator in the expression io::EOF?.
• Removed deprecated module foo {Type} generic syntax.
• Distinct types now defaults to be "structlike"
• Removed @structlike attribute.
• Removed deprecated @extern attribute.
• : in contracts before description is now mandatory.
• Removed deprecated Enum.associated (use Enum.membersof).
• Removed deprecated Enum.elements (use Enum.len).
• Removed deprecated foo_function.params (use foo_function.paramsof).
• Removed deprecated $is_const.
• Removed deprecated $assignable.
• Enums now no longer directly support + and - – use ordinals instead.
• For enums, using ++ and -- will step through enums with implicit wrap-around.
• Rename isz -> sz.
• Make $sizeof, $alignof and all similar functions return sz instead of usz.
• Align literal types with C semantics.
• Use value promotion instead of signedness promotion to int. So that small unsigned types promote to int, not uint.
• Add a @mustinit attribute to enforce zero-initialization of a type. #3094
• Improve error message when keyword is used instead of an expression. #3088
• Add --warn-recursivecontracts.
• Mutex.destroy and friends no longer return optionals.
• Remove @operator(!=) overload.
• Add @operator(<) overload, enabling type comparison overloads.
• Generic inference can now look through pointer.
• Enums now implicitly convert to their ordinal when used as indices.
• Enums can no longer declare themselves inline.
• Nested generics allowed inside generic functions/methods.
• a = ... parameters may be shadowed if not defined.
• $eval can now be used with named parameters, e.g. foo($eval("arg"): 2) #3090
• Type properties are now accessed using :: and the "of" suffix, removed: int.sizeof -> int::size
• Added $reflect with properties name, cname, qname, offset, alignment, size.
• Added @kindof, @alignof and @sizeof macros.
• Removed $nameof, $extnameof, $qnameof, $offsetof, $alignof, $kindof, $sizeof.
• .nameof is changed to .description on fault and enum types.
• Type property is_eq is renamed has_equals.
• Type function tagof is renamed get_tag.
• Add untypedlist as a usable type #2647.
• ?? and ?: has new precedence and binds tighter than + and -
• Added the tags property for types and $reflect.
• Allow taking the type of an interface method.
• Add $expand compile time function to convert strings to code.
• Constdef now infers through unary negations.
• Only used libraries are scanned for dependencies. #3144
• $vaconst, $vaexpr and $vatype removed.
• Improve error message on unsupported typeid runtime access at runtime. #3170
• Added support for Emscripten.
• Replace $vacount by $vaarg.len, replace $vasplat by ...$vaarg.
• $vaarg behaves as $vaexpr.
• Added docgen command to generate documentation.
• Added jmpabs x86 CPU feature.
• Implicit unsigned <-> signed integer conversions removed.
• Added C3 Compiler setup installer for Windows
• alias Foo = int::typeid now works.
• $typeof => $Typeof, $typefrom => $Typefrom.

Stdlib changes

• Add List.remove_unordered_at.
• PanicFn now takes an int for row.
• Add std::collections::Deque.
• Add compare_to and compare_to_ignore_case to String. #3096
• Add SortedMap based on skip lists.
• Add OneShotChannel to std::thread::channel for single-send/single-receive thread synchronization.
• BufferedChannel and UnbufferedChannel are now pointers, create using create_unbuffered and create_buffered
• RingBuffer now conforms to foreach and adds additional functions.
• Ini parser and encoder.
• Updated ref::new argument order.
• Support setting thread stack size.
• Support setting thread priority.
• Support syscall on RISCV.
• Make DString.append_repeat polymorphic adding append_string_repeat and append_char_repeat.
• Add DString.append_inline for optimized uses.
• Ordering of object::new_* arguments are now "allocator first".
• Add remove_unordered_at to FixedList.
• Changed json to support two flavors of JSON: JSON and JSONC.
• Changed json API: parse -> load, parse_string -> parse.
• conv::detect_bom, convert utf16/utf32 from bytes with byteswap / unaligned data.
• Mergesort added.
• set_cursor is renamed seek, and the old seek is removed.
• std::math name changes: HALF_PI => HALF_PI, QUARTER_PI => QUARTER_PI, DIV_PI => INV_PI etc, cosec => csc, cotan => cot, muladd => mad
• std::time name changes: diff_hour => diff_hours. DateTime.set_date => DateTime.set, datetime::from_date_* => datetime::at_*
• std::hash method name convention changes: updatec / update_char => update_byte.
• std::string name changes: strip => strip_prefix, strip_end => strip_suffix.
• std::collections::object added Object.to_value to convert from an object to a value.
• std::encoding::xml added for XML parsing and serialization.
• Fix Path.append separator not honoring the specified environment.
• Add multi part and extension support to Path.append.
• The Path API now is split into PathPosix and PathWin, Path is implicitly castable to String and loses the str_view() method. Use path::tnew instead of path::temp for a temporary path.

Fixes

• Slice comparison lowering would not work correctly in macros in some cases. #3095
• Attributes @allow_deprecated, @constinit, @noalias, @nostrip, and @optional would erroneously accept parameters. #3098
• Fix pipe handle leaks across concurrent process spawns #10067.
• $$trap was incorrectly marked noreturn.
• Recursive inclusion of contracts was not detected.
• \r was not filtered when piping a source file from stdin.
• SHA-3 and Keccak contexts are now explicitly @mustinit structures. #3110
• UnbufferedChannel would deadlock on multiple producers.
• Don't override sigaltstack when running with --sanitize=address. #3115
• Binary search broken for some supported functions.
• Fix bug casting (void*[<3>])x.
• Compiler crash compiling a switch with a constant case range overlapping a constant case value. #3127
• Incorrect handling of overaligned struct fields #3136
• EnumSet with more than 128 entries was broken.
• Handle underflow in zip.
• Bugs in check for name suggestions on name mismatch.
• Fix bug where only one ensure would not be inlined correctly. #3162
• Incorrect error message when casting to non-existent enum.
• Macro $Type = ... would not work correctly with $defined
• Fix enum value handling in Object (std::collections::object) to conform with changes in enums.
• Compiler assert in certain cases with ?? and void returns. #3168
• Bug in compiler-rt for i128 shift.
• LinkedBlockingQueue.push_timeout did not work correctly.
• Splat into vaarg macro, where vaarg is not used #2782.
• Comparison with floats had incorrect codegen, leading to incorrect results for NaN #3175.
• Zeroing out simd vectors in a struct could in some cases lead to incorrect lowering #3179.
• Incorrect lowering when returning a struct to an optional value on Win64 in some cases #3180.
• Fix bug where a method is considered doubly generic if declared in a generic module for a generic type. #3176
• Fix exp10 on platforms without exp10 as an LLVM builtin.
• LLVM 23 compatibility: map Os/Oz to O2 pass pipeline, fix returnaddress intrinsic signature, add optsize/minsize function attributes.
• Warning for ignored visibility modifiers was not emitted for macro methods #3071
• while (String? x = foo()!) was accidentally allowed causing a lowering error.
• Crash casting uint to bitstruct inside struct field assignment #3187
• Vec2/Vec3 transform missed matrix translation.
• Matrix rotation ignored matrix itself.
• Fix BigInt shr, to_format, and others.
• Fix ends in TDist.quantile, FDist.pdf, ChiSquaredDist.pdf
• Fix to easing expo_in and bounce_inout.
• deque with shrinking a zero sized list caused infinite loop.
• Printing an enummap yielded the wrong character count.
• Incorrect contract in FixedList allowed insert out of range.
• Fix double-free in InterfaceList.
• Object.set_at was incorrect.
• Bitstruct with backing char[n] would occasionally be incorrectly stored.
• fmuladd lowering crashes on a + -(b * c) with fastmath.
• Constant folding -30 % -7 would incorrectly yield "2".
• Parsing << in asm would not be correctly handled.