Activity
From 01 Sep 2020 to 30 Sep 2020
30 Sep 2020
- 17:36 Bug #1489: Unhelpful error message for package followed by identifier (without dollar sign)
- It looks like the error mesg was generated by @Parser.H:159@.
There is also a comment in the code referring to #673.... - 17:29 Design #1493: Automatic ring mapping in assignment?
- My "gut feeling" is that it should work... I expect it to work (perhaps because the destination ring is well defined?...
- 11:43 Design #1477: Packages: questions from Andraschko
- Regarding point *(C)* _why must a package export at least 1 function?_
A work-around would be to create a function...
28 Sep 2020
- 16:40 Design #1493 (Closed): Automatic ring mapping in assignment?
- We have partly implemented automatic conversion of ring elements (_e.g._ in multiplication).
Should it also work for... - 15:08 Support #1486 (In Progress): Emacs UI: indentation in a package
- I suspect that the relevant part to be changed is the defn of *@cocoa5-beg-block-re@* around line 286 in @cocoa5.el@....
23 Sep 2020
- 11:22 Bug #1200: Package exported function: wrong package name
- Is this even a bug?
In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by a package called *@expe... - 11:19 Bug #1200: Package exported function: wrong package name
- The relevant line appears to be *@Interpreter.C:4289@*.
Here is a test input which triggers the bug:... - 11:09 Bug #1200: Package exported function: wrong package name
- I am postponing this because it is not so important/urgent, and looks like it might be quick tricky to solve :-/
- 11:06 Support #692 (In Progress): Local variables hiding out ones at top level
- I think I now prefer not to issue a warning in the examples given here.
If CoCoA issues too many warnings then the u... - 10:42 Bug #1294 (Resolved): CoCoA-5 tests may fail even if executed correctly
- I have implemented option *(A)* and checked it in. I chose *(A)* because it is relatively simple to implement.
Wait...
17 Sep 2020
- 16:09 Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign)
- The following produces a misleading error message...
- 16:06 Feature #1415: thmproving package
- Any news about this package?
Can we close this issue quickly and easily? - 15:59 Bug #1294: CoCoA-5 tests may fail even if executed correctly
- I have modified the script @RunTests.sh@ so that it first runs CoCoA with an empty input (*@/dev/null@*).
If that pr...
15 Sep 2020
- 15:20 Bug #1294 (In Progress): CoCoA-5 tests may fail even if executed correctly
- Your comment about a protected variable causing trouble is a good point (albeit also rather abstruse).
We should u... - 14:35 Bug #1294: CoCoA-5 tests may fail even if executed correctly
- Yes, I think that would be an improvement, but also only solve the issue partly. Still if for instance @init.cocoa5@ ...
- 13:11 Feature #1487 (Closed): EOF for OpenIFile
- To read a local file one needs to open an input device via @D:=OpenIFile("path_to_file")@ and read it line-by-line vi...
14 Sep 2020
- 18:19 Support #1486: Emacs UI: indentation in a package
- JAA is uncertain about this.
On the one hand the "strange" indentation of package variable assignments highlights ... - 18:16 Support #1486 (In Progress): Emacs UI: indentation in a package
- Bernhard Andraschko reports the following anomaly.
Inside a package variables are indented, but all other package ...
Also available in: Atom