Sam Westrick
Sam Westrick
We could also develop a linter, which doesn't modify code but rather just outputs suggestions for better style. Then we could use the linter to check the output of the...
haha yes one of these days we'll have to implement the type system!
This appears to be fixed! In d1646cf which was merged as part of #180.
The smallest possible change that would accomplish @chshersh's goal would be as follows. ```diff type 'a t = Empty - | Node of {l:'a t; v:key; d:'a; r:'a t; h:int}...
> What if we add size only to the root level? A `Map` then will become a record of two fields: > > 1. Tree itself > 2. Its size...
Starting work on this. At the moment: * WIP branch [allow-opt-bar](https://github.com/shwestrick/smlfmt/tree/allow-opt-bar) for `allowOptBar` syntax.
@frou These should now be working: ``` -allow-opt-bar true -allow-record-pun-exps true -allow-or-pats true ``` If you have a chance to try them out on your code, that would be really...
Excellent! Glad to hear.
These features can now also be controlled from within an MLB; see #73.
Cool! This makes me think that there are a lot of interesting code linting features that `smlfmt` could eventually offer.