Presumably inserted closing curlies are only allowed to match inserted opening
curlies...
Alex
>
>From: Jonathan S. Shapiro <[email protected]>
>To: Discussions about the BitC language <[email protected]>
>Sent: Wed, August 18, 2010 7:37:09 AM
>Subject: Re: [bitc-dev] Auto-curly
>
>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
