aboutsummaryrefslogtreecommitdiff
path: root/src/check_expr.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Define which mutexes are blocking and recursive explicitlygingerBill2021-07-271-2/+2
|
* Remove dead mutexesgingerBill2021-07-131-12/+0
|
* Reduce mutex usage and convert things to queues from arraysgingerBill2021-07-131-13/+5
|
* Big improvement to the `-threaded-checker` code, unifying the logic and ↵gingerBill2021-07-131-2/+2
| | | | simplify behaviour
* Temporarily disable `-threaded-checker`; Restructure the untyped-expr-info ↵gingerBill2021-07-131-45/+51
| | | | system to be much more thread-friendly
* Add sanity casts for 32/64 bit correctnessgingerBill2021-07-121-1/+1
|
* Clean up big int to LLVM integer codegingerBill2021-07-111-1/+1
|
* Change the compiler's big integer library to use libTomMathgingerBill2021-07-111-13/+7
| | | | This now replaces Bill's crappy big int implementation
* Add sanity conversion check for integer to quaterniongingerBill2021-07-111-21/+23
|
* Minimize mutex usage in `update_expr_type`gingerBill2021-07-111-20/+20
|
* Add experimental support for a threaded semantic checker to `-threaded-checker`gingerBill2021-07-101-30/+64
|
* Move things around for sanity checking for multithread preparationgingerBill2021-07-101-0/+1
|
* Prepare for multithreading the semantic checker by giving mutexes to ↵gingerBill2021-07-101-15/+24
| | | | | | variables of contention NOTE(bill): I know this is dodgy, but I want to make sure it is correct logic before improve those data structures
* Improve CheckerContext usagegingerBill2021-07-101-11/+9
|
* Fix #1028gingerBill2021-07-101-2/+3
|
* Fix #1051gingerBill2021-07-101-1/+3
|
* Allow `x in ptr_to_map_or_bit_set`gingerBill2021-07-101-9/+11
|
* Improve update expr type semantics for ternary expressionsgingerBill2021-07-101-15/+13
|
* Add "Suggestion: Did you mean?" for selector expression typosgingerBill2021-07-081-2/+53
|
* Remove `try`; Replace `try x else y` with `or_else(x, y)`gingerBill2021-07-051-186/+0
|
* Improve error messages for try expressionsgingerBill2021-07-041-31/+62
|
* Try `try` and `or_else` built-in procedures with operators `try` and `try else`gingerBill2021-07-041-0/+192
|
* [Experimental] Add 'try' and `or_else' built-in proceduresgingerBill2021-07-041-43/+28
|
* Support compound literals for `struct #raw_union` typesgingerBill2021-06-261-4/+48
|
* Fix double evaluation bug with selector call expressions `x->y(z)`gingerBill2021-06-161-4/+27
|
* Correct minimum dependency for `complex32`gingerBill2021-06-081-0/+9
|
* Add support for `Addressing_OptionalOkPtr`gingerBill2021-06-061-19/+28
| | | | Allowing for `i, ok := &x.(T);` (type assertions) and `v, ok := &m[k];` (map indexing)
* Improve error message for addressing a swizzle intermediate array valuegingerBill2021-06-051-0/+4
|
* Experimental support for inline swizzling for array types of len <= 4 e.g. ↵gingerBill2021-06-051-0/+88
| | | | `v.xyz`, `v.argb`, `v.xxx`
* Fix #998gingerBill2021-05-311-0/+10
|
* Fix polymorphic record "too few" lacking error messagegingerBill2021-05-311-2/+10
|
* Fix `..=` logic in the backendgingerBill2021-05-211-1/+1
|
* Add range-based error messages to `-verbose-errors`gingerBill2021-05-191-8/+9
| | | | | | | | Example: Cannot convert '(1 + 2)' to 'untyped bool' from 'untyped integer' x := (1 + 2) * true; ^~~~~~^
* Improve untyped to typed logic for aiding the backendgingerBill2021-05-161-2/+21
|
* Add concrete type information for untyped values as procedure argumentsgingerBill2021-05-161-0/+6
|
* Fix #988gingerBill2021-05-161-0/+1
|
* Allow `..=` alongside `..` as a "full range" operator; Update ↵gingerBill2021-05-161-3/+4
| | | | `core:odin/parser` etc
* Remove old dead codegingerBill2021-05-151-72/+0
|
* Fix #987gingerBill2021-05-151-1/+1
|
* Disallow slicing of constant valuesgingerBill2021-05-151-3/+10
|
* Add minor ignoring hint on type assertions to get better code generation ↵gingerBill2021-05-131-0/+20
| | | | with no optimizations enabled
* Fix #741gingerBill2021-05-131-1/+3
|
* Improve error message to "fix" #640gingerBill2021-05-121-1/+1
|
* Fix #713gingerBill2021-05-121-2/+8
|
* Fix #651gingerBill2021-05-121-2/+11
|
* Remove unused hintgingerBill2021-05-061-4/+0
|
* Improve type inference system to allow `&{}` alongside `&T{}` in some casesgingerBill2021-05-061-1/+6
|
* Improve type inference rules for implicit selector expressionsgingerBill2021-05-061-68/+110
| | | | | | New improvements: `(.A == x)` `a_union_containing_many_enums = .A;`
* Unify `AstTernaryExpr` with `AstTernaryIfExpr`gingerBill2021-05-051-105/+15
| | | | | Allow for both syntaxes `x if cond else y` and `cond ? x : y` Removes the confusing semantics behind `?:` which could be `if` or `when` depending on the context.
* Improve ternary expression logic within parametric polymorphic parameter ↵gingerBill2021-05-051-1/+34
| | | | assignments
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-15 15:06:53 +0000