Bug #716
NotBuiltin.cpkg5: indent for MODULE
Description
On line 126 when indent
prints out a submodule, it prints out the letter F
(in a string). Is this right? I suppose it is meant to be the ambient free module?
Related issues
History
#1 Updated by Anna Maria Bigatti about 9 years ago
- % Done changed from 0 to 10
John Abbott wrote:
On line 126 when
indent
prints out a submodule, it prints out the letterF
(in a string). Is this right? I suppose it is meant to be the ambient free module?
yes.... it stands as a placeholder for the free module.
That is required in the syntax of SubmoduleRows
, but it cannot be printed in a usable way.
#2 Updated by John Abbott almost 2 years ago
- Status changed from New to In Progress
- Target version changed from CoCoA-5.?.? to CoCoA-5.4.2
Can we document this behaviour (since I think it is not completely self-explanatory)?
Is F
the best name? Might FreeMod
be better?
#3 Updated by Anna Maria Bigatti over 1 year ago
- Related to Design #1698: indent: return a string? added
#4 Updated by Anna Maria Bigatti over 1 year ago
John Abbott wrote:
Can we document this behaviour (since I think it is not completely self-explanatory)?
Is
F
the best name? MightFreeMod
be better?
I don't like FreeMod
(mod
is for modulo, not for module).
I'll think how to improve this in the output string. Not trivial.
Indeed, the easiest is just to say it in the manual.
#5 Updated by Anna Maria Bigatti over 1 year ago
- Subject changed from NotBuiltin.cpkg5: indent fn to NotBuiltin.cpkg5: indent for MODULE
#6 Updated by John Abbott over 1 year ago
The name should be short and ideally mnemonic.
Currently F
, which is a short as possible. Any idea what is typically used in literature?
A bit longer: FM
or FrM
(this second is perhaps more mnemonic).
Do we have some test cases?