Activity
From 06 Sep 2022 to 05 Oct 2022
05 Oct 2022
- 11:35 Bug #716: NotBuiltin.cpkg5: indent for MODULE
- John Abbott wrote:
> Can we document this behaviour (since I think it is not completely self-explanatory)?
>
> Is... - 11:30 Design #1698: indent: return a string?
> Possible options are:
> * *(A)* accept the new behaviour (and update the expected test outputs)
> * *(B)* modif...- 11:22 Bug #148: C-c C-p in emacs goes to wrong line
- John Abbott wrote:
> Anna, might you like to take a look at this?
> It's not really urgent, but maybe you feel insp...
30 Sep 2022
- 19:12 Bug #148: C-c C-p in emacs goes to wrong line
- Anna, might you like to take a look at this?
It's not really urgent, but maybe you feel inspired? - 19:05 Support #198: Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI
- Dobbiamo rivalutare la lista di cose da fare.
Secondo me potremmo eliminare le due voci sotto "Linux".
Grazie a... - 18:59 Design #1698: indent: return a string?
- The CoCoA-5 tests do not pass with the new impl of @indent@.
The reason is simple: the revised impl puts in a newlin...
28 Sep 2022
- 15:16 Design #1698: indent: return a string?
- I have modified the code for @indent@ (in @NotBuiltin.cpkg5@)
so that it returns a string.
The slow behaviour (is... - 15:00 Bug #1604: SqFreeFactor crashes over non-perfect field
- STATUS 2022-09-28:
The original failing cases are now apparently OK.
The example in comment 3 still incorrectly... - 12:37 Support #1393: GUI with Qt5
- As far as I can tell, potential future licensing issues w.r.t. QCodeEdit are independent of the move to Qt5. Hence it...
27 Sep 2022
- 22:36 Design #1698 (In Progress): indent: return a string?
- If we choose not to return a string then, for the benefit of #750, the
function could anyway print to an @OpenOStrin... - 22:33 Design #1698 (Closed): indent: return a string?
- To discuss:
Should *@indent@* return a string rather than print directly onto the standard output?
The main diffe... - 22:30 Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE
- Can we document this behaviour (since I think it is not completely self-explanatory)?
Is @F@ the best name? Might... - 22:27 Slug #750 (In Progress): C5 GUI: very slow when printing many short lines
- I created a single string containing many new lines: this printed instantly....
- 22:20 Support #1393: GUI with Qt5
- I am tempted to release the code as-is.
The copyright question is important only if we want to make a non GPL releas...
26 Sep 2022
- 20:30 Feature #35: Optional warnings for fn-proc arity
- The idea is reasonable, but I have doubts about its genuine utility.
Even the hypothetical use-cases are not very co... - 20:25 Bug #100: BringIn should map only the indets in its arg
- Here is the status at 2022-09-26...
- 16:13 Feature #461 (Rejected): New keyword "|->"? (same as "return")
- 16:13 Feature #461: New keyword "|->"? (same as "return")
- John Abbott wrote:
> The idea is fairly nice, but does not bring much benefit.
> I do not relish the idea of modify... - 12:01 Feature #461: New keyword "|->"? (same as "return")
- The idea is fairly nice, but does not bring much benefit.
I do not relish the idea of modifying the parser/interpret...
15 Sep 2022
- 14:55 Design #1697: Specifying BOOST in configure
- After discussions with Anna, we will try a new configure option *@--only-cocoalib@* (which supplants @--no-boost@).
... - 14:17 Design #1696 (Feedback): Which BOOST libs are actually needed?
- Our tests seem to comfirm no problems (at least with recent BOOST, around 1.80).
We must update the doc.
Also available in: Atom