Files
c3c/resources/castrules.md
Christoffer Lerno e293c435af 0.6.0: init_new/init_temp removed. LinkedList API rewritten. List "pop" and "remove" function now return Optionals. RingBuffer API rewritten. Allocator interface changed. Deprecated Allocator, DString and mem functions removed. "identity" functions are now constants for Matrix and Complex numbers. @default implementations for interfaces removed. any* => any, same for interfaces. Emit local/private globals as "private" in LLVM, following C "static". Updated enum syntax. Add support [rgba] properties in vectors. Improved checks of aliased "void". Subarray -> slice. Fix of llvm codegen enum check. Improved alignment handling. Add --output-dir #1155. Removed List/Object append. GenericList renamed AnyList. Remove unused "unwrap". Fixes to cond. Optimize output in dead branches. Better checking of operator methods. Disallow any from implementing dynamic methods. Check for operator mismatch. Remove unnecessary bitfield. Remove numbering in --list* commands Old style enum declaration for params/type, but now the type is optional. Add note on #1086. Allow making distinct types out of "void", "typeid", "anyfault" and faults. Remove system linker build options. "Try" expressions must be simple expressions. Add optimized build to Mac tests. Register int. assert(false) only allowed in unused branches or in tests. Compile time failed asserts is a compile time error. Remove current_block_is_target. Bug when assigning an optional from an optional. Remove unused emit_zstring. Simplify phi code. Remove unnecessary unreachable blocks and remove unnecessary current_block NULL assignments. Proper handling of '.' and Win32 '//server' paths. Add "no discard" to expression blocks with a return value. Detect "unsigned >= 0" as errors. Fix issue with distinct void as a member #1147. Improve callstack debug information #1184. Fix issue with absolute output-dir paths. Lambdas were not type checked thoroughly #1185. Fix compilation warning #1187. Request jump table using @jump for switches. Path normalization - fix possible null terminator out of bounds. Improved error messages on inlined macros.
Upgrade of mingw in CI. Fix problems using reflection on interface types #1203. Improved debug information on defer. $foreach doesn't create an implicit syntactic scope.
Error if `@if` depends on `@if`. Updated Linux stacktrace. Fix of default argument stacktrace. Allow linking libraries directly by file path. Improve inlining warning messages. Added `index_of_char_from`. Compiler crash using enum nameof from different module #1205. Removed unused fields in find_msvc. Use vswhere to find msvc. Update tests for LLVM 19
2024-06-12 10:14:26 +02:00

3.2 KiB

Some short names:

  1. expl - explicit
  2. sw/sn - simple widening + subexpression narrowing
  3. yes - always allowed
  4. explptr - explicit if pointer sized
  5. ptrconv - to/from void* is fine, other cast must be explicit
  6. saconv - explicit if same element size
  7. explbase - explicit to base disregaring sign
  8. distel - explicit to same element disregarding distinct
  9. inline - implicit if type subtype
  10. cond - implicit in cond, explicit otherwise
  11. edist - explicit to anything underlying type can convert to, if inline as underlying
  12. arve - if array or vec ptr
from, to bool int float pointer subarr vec bits distc array struct union any fault enum typeid
bool n/a expl expl no no expand no edist no no no no no no no
int cond sw/sn always explptr no expand explbase edist no no no no no edist no
float cond expl sw/sn no no expand no edist no no no no no no no
pointer cond explptr no ptrconv arve expand no edist no no no yes expl no expl
slice cond no no no saconv no no edist no? no no no no no no
vec cond no no no no as base no edist expl no no no no no no
bits no explbase no no no no no? edist explbase no no no no no no
distc edist edist edist edist edist edist edist edist edist edist edist edist edist edist edist
array no no no no no explbase explbase edist distel no no no no no no
struct inline inline inline inline inline inline inline edist inline inline inline inline inline inline inline
union no no no no no no no edist no no no no no no no
any cond no no expl no no no edist no no no n/a no no no
fault cond explptr no expl no no no edist no no no no anyf no no
enum no expl no no no expand no edist no no no no no no no
typeid cond no no expl no no no edist no no no no no no n/a