TLC code

unread,

Nov 28, 2015, 9:03:28 AM11/28/15

to tlaplus

Hi everybody,

It is unfortunate that only the TLAPLUS source may be commented and not the TLC one. I propose

to use the syntax implemented by Literate Haskel. TLC code lines will begin by '>', an empty line

would separate any TLC code line and adjacent comments. Every line beginning by '>' will be considered

as pertaining to the same TLC code. Nothing else will be modified.

Example:

Comments and TLAPLUS code.

> The beginning ...

> ... of the TLC code.

(* Here some comments. *)

> The continuation of the TLC code

(* Some more comments. *)

> The end of the TLC code.

Continuation of comments and TLAPLUS code.

--

FL

unread,

Dec 2, 2015, 7:48:03 AM12/2/15

to tlaplus

Out of curiosity, what do you mean by "TLC code"? I am not familiar with that.

unread,

Dec 2, 2015, 8:43:39 AM12/2/15

to tlaplus

> Out of curiosity, what do you mean by "TLC code"? I am not familiar with that.

Excuse me. I mean PLUSCAL obviously.

--

FL

unread,

Dec 2, 2015, 11:09:03 AM12/2/15

to tlaplus

Oh, I thought it was some feature I wasn't aware of :)

Reply all

Reply to author

Forward