Jonathan Coates

Shadowing related optimiser fixes

2

- [x] Lint shadowed variables - [x] Correctly refresh SAT workers (fixes #264) - [ ] `opt_inline_long_string.ml`

Further editor fanciness

1

## Features - [x] **Code folding:** This should be pretty easy - just walk over any "large" definitions and offer to fold them to a single line. - [ ]...

In e5867e180933d21d5b9b11cc817022c8c82a79a2, we reduced the number of reductions the TC performs. However, this caused several regressions in error messages (a129902ce1cf82c5d257c4eef3ad3115b59b6aee). Something somewhere needs to be done by someone to restore...

Default methods not visited in Verify

2

Default methods within type classes are not visited within the verify pass, meaning that potential problems are not detected: ```ml let id x = x class bifunctor 'f val bimap...

Mutually recursive types

1

I've been meaning to file this for a year, but better late than never I guess... While we haven't encountered a need so far, we need a way to represent...

This is my documentation, this is my documentation baby. Or rather it isn't, as we have no way to generate documentation from Amulet source code. I think we can go...

Context termination is too aggressive

1

Consider the following expression: ```ml ( let x = ) ``` This gets converted into the following token stream: ```ml ( let x = $end $in ) ``` As a...

See #15 for a brief description. Basically, there are three stages for this: ### Basic loop generation Namely, any self tail-recursive function should utilise a while loop: ```lua local function...

Curried constructors

1

Instead of passing a tuple or record to constructors, you should be able to create them from multiple fields. This offers several advantages: - Operator constructors (and thus better pattern...

Within the pre-parse/context system, we should warn in various circumstances if the indentation is a little wobbly. We already have such a warning for silly `in`s: ```ml let x =...