So revised layout rules:

1. Semicolon auto-insertion is "always on". It can be suppressed by putting
'\' at the end of the preceding line. This is unchanged relative to previous
proposal.

2. Opening curly is implicitly inserted (if missing) after "let", "in",
"do", and "="

3. Closing curly is implicitly inserted (if missing) before "in", sufficient
to close back to the matching "let".

4. We'll either switch to "while e do" or find a way to insert the
open-curly after while(e).

The interesting rule here is the "after =" rule. It covers:

struct S 'a 'b = ...

while managing (surprisingly) not to interfere with:

let x = 5 in ...

I do need to look at struct-like initialization to make sure there is no
interference there. Could be that we only want to auto-insert the curly
brace when the '=' appears in a top-level defining form.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to