CohenArthur issues

Results 350 issues of


                                            CohenArthur

Fix parser requiring extra semicolons in blocks

Fixes #395 - [ ] Add more tests? - [ ] Fix commit history

Execute record type instantiations

Requires #654

Typecheck type instantiations properly

- [ ] Check for missing fields - [ ] Check type of field arguments

typechecker

priority [high]

Remove mutability from the language

parser

typechecker

Handle extra useless semicolons after expression

parser

Define `bool` as a a union type in the standard library

```rust type true; type false; type bool = true | false; ```

stdlib

typechecker

Explore copy and update syntax

```rust type Record(a: int, b: int); where foo = Record(a: 1, b: 2); where bar = foo

parser

design

Implement proper parser errors

parser

priority [high]

Allow specifying a multi type's type to help with type widening ambiguities

e.g. with the following result type: ```rust type Result[T, E] = T | E; func ambiguous() -> Result[int, int] { 15 // Ok or Err? } ``` which we could...

design

typechecker

generics

Arithmetic operations type errors should hint that the type must be the exact same

e.g. `15 + 14.3` should hint that operations on an integer can only be done with another integer