H. Smith
-
2010-11-30
- labels: --> Language
When used in a conventions clause, at least, expressions that use multiple dots result in a typing error. Working around this to just have one dot fixes the error. So, for example:
Facility L is Two_Strings_Cursor_List_Template(Entry)
realized by Dummy_Realization;
Type Queue =
Record
Enter, Exit : L.Cursor_List;
end;
(* This conventions clause causes an error *)
convention
Q.Enter.After = empty_string and Q.Exit.After = empty_string;
correspondence
Conc.Q = Reverse(Q.Exit.Before) o Q.Enter.Before;