André

compiler assertion failure on empty union and switch statement

1

## Context Odin: `dev-2022-01:2b918ada` The compiler flag `check` will not produce the compiler assertion. You need to use `build` (or `run`). ## Current Behavior ```odin u: union {} switch t...

compiler panic on invalid procedure aliasing

2

## Context Odin: `dev-2021-12:eec61c3f` The compiler flag `check` will not produce the panic. You need to use `build` (or `run`). ## Current Behavior The following invalid syntax causes a compiler...

Foo(123) on Foo($T: typeid) :: struct - assertion failure

2

Odin `dev-2021-09:b3dc3f59` ```odin Foo :: struct($T: typeid) {} foo: Foo(123) ``` `Odin\src\types.cpp(2906): Assertion Failure: is_type_typed(t)`

assignment of generic procs with ternary operator fails

3

Odin `dev-2021-10:eebf49ba` ```odin fn_ : proc(_: int) //proc pointer fn :: proc(_: $T ) {} fn_ = fn //works if true do fn_ = fn else do fn_ = fn...

proc(foo := &Foo{}) - parameter becomes nil

1

Odin `dev-2021-09:08ae186d` ```odin Foo :: struct {} foo :: proc(f := &Foo{}) { fmt.println(f) } foo() //unexpected behaviour here foo(&Foo{}) ``` Output ``` &Foo{} ``` `` is unexpected. `f :=...

creating a parametric struct with mismatched parameter count

1

Odin `dev-2021-09:b3dc3f59` ```odin Foo :: struct($A: typeid) {} foo: Foo(int, f32, 123, rawptr, nil, ODIN_DEBUG) //mismatch fmt.println(foo) ``` should be a syntax error, but the compiler does not report an...

parametric struct from another package can be written without specialization on parameter decl

1

Odin `dev-2021-08:0e84e067` ```odin Foo :: struct (T: typeid) {}; bar :: proc (foo: Foo) {} //wrong syntax ``` here the compiler will error out on the declaration, which is expected...

#type proc and global container init - code gen failed

1

Odin `dev-2021-07:ec9667ef` OS `Windows` Seems like `#type proc` and global containers don't play together. ```odin Proc :: #type proc(); m: []Proc; main :: proc() { m = make([]Proc, 123); }...

## Context Odin e24315eed892aeb6c53da78c415455a80ccdf5e5 Linux ## Bug ```odin Bug :: struct { val: int, arr: []int, } v: int = 123 bug := Bug { val = v, //expected: 123...

## Context Odin `dev-2022-11:e9e05a37` ## Current Behavior It seems like type inference cannot resolve `type`->`typeid` conversion when used in a _ternary expression_. The following code will not compile. ```odin t:...