Sam Vervaeck

The following example should result in an error but none is raised: ``` let foo x : { first : Bool, second : Int | a } -> Int foo...

As discussed in issue #42, it should be possible to omit the body of a variable expression and only have it assigned later in the program. Eventually, this will require...

More specifically, an assertion triggers termination in `Checker.cc`.

We'd like to do something like (pseudo-syntax): ``` let x = match y. True => 1; False => 0 ``` ``` let i = 0; i += 1; print i...

## Problem Consider the following program: ``` let foo k. let bar l = k == l bar True bar 1 foo 1 ``` Right now, this program correctly produces...

We have chosen `:=` to mean assignment in our language. ``` let mut foo: Int foo := 1 if toss. foo += foo ``` ## Implementation Strategy 1. Create a...

Add type unification boundaries to improve diagnostic messages

1

The problem we're facing is that error messages often do not explain exactly what made the error occur. A small improvement would be to pick an arbitrary expression from one...