Veikka Tuominen
b048fa4f13
Sema: prevent spurious "depends on itself" errors
...
Closes #14059
2023-01-02 19:23:09 +02:00
Veikka Tuominen
332a43858a
Sema: @intToEnum on non-exhaustive enum at comptime should check int is in range
...
Closes #14155
2023-01-02 17:06:06 +02:00
Veikka Tuominen
4e64373fc0
fix generic function arg debug info referencing wrong parameter
...
Closes #14123
2022-12-30 17:00:50 +02:00
Veikka Tuominen
54160e7f6a
Sema: make overflow arithmetic builtins return tuples
2022-12-27 15:13:14 +02:00
Andrew Kelley
1b86a628ac
Merge pull request #14015 from Vexu/recursive-inline
...
Sema: add error for recursive inline call
2022-12-26 20:34:22 -05:00
Veikka Tuominen
81443fcde8
Sema: add error for recursive inline call
...
Closes #12973
2022-12-26 16:36:30 +02:00
Veikka Tuominen
3535c4b3b6
Sema: fix elem ptr type of vector in slice
...
Closes #14071
2022-12-26 15:26:27 +02:00
Jacob Young
64865679cf
Sema: add missing resolveLazyValue cases
...
Closes #14032
2022-12-26 04:39:32 -05:00
Jacob Young
8dd844d96f
Sema: fix typo
2022-12-26 04:18:08 -05:00
Matt Knight
cf822c6ddd
@export() with linksection option ( #14035 )
2022-12-25 20:19:50 -05:00
Jacob Young
f5b6019646
Sema: fix missing struct layout for llvm backend
...
Closes #14063
2022-12-25 20:18:15 -05:00
Jacob Young
6cd8004213
Sema: relax undefined checks for concat
...
Closes #14037
2022-12-24 02:40:33 -05:00
Jacob Young
0559cdb554
Sema: support concat of tuple and array
...
Closes #14041
2022-12-24 02:40:33 -05:00
Veikka Tuominen
6da070c5ac
Sema: fix crash with generic function with generic function parameter
...
Closes #12810
2022-12-20 17:32:04 +02:00
Veikka Tuominen
6511afcfe0
Sema: fix coercion from [:0]T to [*c]T
2022-12-19 20:45:53 +02:00
Veikka Tuominen
0c1d8659c5
Sema: print notes and reference traces when using --debug-compile-errors
2022-12-19 17:01:44 +02:00
Veikka Tuominen
ee334aea80
value: remove indexVectorlike
...
Vectors can represented in all the same values as arrays
so this was never a valid shortcut.
2022-12-19 17:01:44 +02:00
Veikka Tuominen
0eddf0cbc0
Sema: fix condition for non-pointer noalias error
...
Closes #13987
2022-12-19 12:19:25 +02:00
Andrew Kelley
aca9c74e80
Merge pull request #13914 from Vexu/variadic
...
implement defining C variadic functions
2022-12-18 16:24:13 -05:00
Veikka Tuominen
40ed6ae846
Merge pull request #13930 from r00ster91/renamings
...
std.builtin: renamings
2022-12-18 19:33:15 +02:00
shwqf
11a81e1b29
Call ensureResultUsed before comptime .call is evaluated.
...
Fixes #12580
2022-12-18 16:04:33 +02:00
r00ster91
ceff03f3e9
std.builtin: remove layout field from Type.Enum
2022-12-18 13:31:38 +01:00
Veikka Tuominen
901c3e9636
Merge pull request #13552 from hryx/comparus-tautologicus
...
Sema: elide integer comparisons with guaranteed outcomes
2022-12-18 01:57:49 +02:00
r00ster91
aac2d6b56f
std.builtin: rename Type.UnionField and Type.StructField's field_type to type
2022-12-17 14:11:33 +01:00
r00ster91
20d3fd901e
std.builtin: rename Type.Fn.Param's arg_type to type
...
It's the type of a parameter, not an argument, but the prefix is redundant either way.
2022-12-17 14:11:33 +01:00
Veikka Tuominen
9bb1104e37
implement defining C variadic functions
2022-12-17 13:22:09 +02:00
Veikka Tuominen
58caed1c71
Sema: make is_non_{null,err} stricter about types
...
Closes #13023
2022-12-17 13:22:09 +02:00
Veikka Tuominen
8a0a6b7387
port packed vector elem ptr logic from stage1
...
Closes #12812
Closes #13925
2022-12-15 21:06:35 -05:00
Stevie Hryciw
35750cd54f
Resolve lazy value before comparing
2022-12-15 00:56:27 -08:00
Stevie Hryciw
e57e835904
Sema: elide integer comparisons with guaranteed outcomes
2022-12-15 00:56:27 -08:00
Veikka Tuominen
bc97a5662d
Sema: display cimport errors from clang
2022-12-14 14:08:22 +02:00
Veikka Tuominen
886fa455fa
Sema: avoid analyzing functions which failed when inlining
2022-12-14 14:08:21 +02:00
Veikka Tuominen
e6588857df
Sema: fix memory management of union enum tag int tag
...
This likely went unnoticed due to all power of two integer types being special cased.
Closes #13812
2022-12-14 14:08:21 +02:00
Veikka Tuominen
927d20b46b
Sema: implement missing stage1 errors
2022-12-14 14:08:21 +02:00
Veikka Tuominen
7b2a936173
remove stack option from @call
2022-12-13 12:52:21 +02:00
IntegratedQuantum
15a6336bb4
Add a helpful note when using ** on number types. ( #13871 )
2022-12-11 14:41:42 -05:00
Veikka Tuominen
9d93b2ccf1
Eliminate BoundFn type from the language
...
Closes #9484
2022-12-09 20:37:18 -07:00
Veikka Tuominen
d5ecb318c4
Sema: check for uneeded src loc when using --debug-compile-errors
2022-12-08 11:10:08 +02:00
Veikka Tuominen
dff32a2cd7
Sema: resolve lazy values in analyzeMinMax
...
Closes #13797
2022-12-07 14:48:24 +02:00
Veikka Tuominen
ddce76059b
Sema: add error for @tagName on empty enum
2022-12-07 14:48:24 +02:00
Veikka Tuominen
d078d08e4f
Sema: export function instead of the constant referencing it
...
Closes #13706
2022-12-07 14:48:24 +02:00
Andrew Kelley
50eb7983cd
remove most conditional compilation based on stage1
...
There are still a few occurrences of "stage1" in the standard library
and self-hosted compiler source, however, these instances need a bit
more careful inspection to ensure no breakage.
2022-12-06 20:38:54 -07:00
Andrew Kelley
b7b905d227
add behavior test for while(true) not needing else unreachable
...
closes #707
2022-12-06 17:57:27 -07:00
Andrew Kelley
7ef745db59
Sema: queue type resolution for result of @fieldParentPtr
2022-12-06 12:15:04 -07:00
Andrew Kelley
d5312d53a0
WASI: remove absolute path emulation from std lib
...
Instead of checking for absolute paths and current working directories
in various file system operations, there is one simple solution: allow
overriding `std.fs.cwd` on WASI.
os.realpath is back to causing a compile error when used on WASI. This
caused a compile error in the Sema handling of `@src()`. The compiler
should never call realpath, so the commit that made this change is
reverted (95ab942184427e7c9b840d71f4d093931e3e48fb). If this breaks
debug info, a different strategy is needed to solve it other than using
realpath.
I also removed the preopens code and replaced it with something much
simpler. There is no longer any global state in the standard library.
Additionally-
* os.openat no longer does an unnecessary fstat on WASI when O.WRONLY
is not provided.
* os.chdir is back to causing a compile error on WASI.
2022-12-06 12:15:04 -07:00
Andrew Kelley
28514476ef
remove -fstage1 option
...
After this commit, the self-hosted compiler does not offer the option to
use stage1 as a backend anymore.
2022-12-06 12:15:04 -07:00
Andrew Kelley
36da3000c0
Sema: resolve elem type for non-default aligned ptrs
...
Before this commit, I observe a crash from this abiSize call because the
element type is a struct that is not yet resolved. This is triggered by
running the behavior tests with -ofmt=c -target x86_64-windows.
2022-12-06 02:54:58 -05:00
r00ster91
f094c4bce5
Sema: detect duplicate enum tag values
2022-12-04 14:12:24 +02:00
Veikka Tuominen
b500e0eb17
Sema: add "parameter type declared here" note to type coercion
2022-12-03 00:48:04 +02:00
Veikka Tuominen
f20e449fd6
Sema: improve error for mismatched type in implicit return
...
Closes #2653
2022-12-03 00:48:03 +02:00
