Closed dbuenzli closed 5 years ago
In practice when doing gadt things, you are forced to write it like that, so yes, that would be nice.
FWIW, Tuareg indents it like:
let f : t1 -> t2 -> t3 =
fun x y z ->
xxx
so you do not have a 4 columns indent.
I miss this (non)indentation rule a lot.
Thanks !
@drup wants to be able to write:
at which @chris00 responds you can write:
which I'd gladly use (e.g. in blog posts I write things like @drup but then it makes the code not easily copy pastable in bulk). However I'm sad to loose what is going to be likely 4 columns (assuming the function spans more than one line). Would it be possible to avoid the
fun
indentation ?(at which point you realize github's syntax higlighting is indentation aware)