[MLton] can mlbasis rename the top-level?

[Vesa Karvonen]

Quoting Matthew Fluet <fluet@cs.cornell.edu>:
> Another thought: we could push even closer to the 'here-document' approach 
> and allow the opening/closing delimiters be chosen on a per-instance 
> basis.  For example, I don't imagine it is that much harder to allow an 
> opening delimiter that matches the reg-exp:
>   {<+{
> and a closing delimeter that matches the reg-exp:
>   }>+}
> with the additional requirement that the number of < in the opening is 
> equal to the number of > in the closing.  Now you can always find an 
> opening/closing pair that doesn't conflict with any finite amount of SML 
> code.

While we are brainstorming, how about using the regexp

   ''+

at both ends and requiring that the delimiters match. I rarely use more than
two ticks, and the notation

   '''
       ...whatever...
   '''

reminds me of (Python) string literals.

-Vesa Karvonen