Aleksander Sabak

Compiler inconsistency in slotless tuple construction

9

I wanted to create a class that will only store data about identity of its instances, for which I thought `TUPLE: foo ;` is the correct choice. When new instances...

Nested braces in tuple slot definitions aren't highlighted properly. This feature would be useful when using words similar to `maybe{` . **Current behavior example:** 

From [`README.md`](https://github.com/cdiggins/type-inference/blob/47cfb5b2b2e42e17a44f097fde4e2816a3d45d60/README.md?plain=1#L183-L189): > When we infer the type for the term `quote dup apply` we get the following: > > ``` > quote dup apply : !t0!t1.((t0 t1) -> (t0...

Contrary to the documentation `/` on integers doesn't result in integer division, and `%` returns its left argument unchanged when it is a floating point value. The former I assume...