Project

General

Profile

Activity

From 03 Sep 2020 to 02 Oct 2020

02 Oct 2020

21:05 Design #1495: Package exporting nothing?
Prototype still needs to be cleaned... not today! John Abbott
14:22 Design #1495: Package exporting nothing?
Here are the tests we should make:
* *(1)* package with no @export@ commands (warning, as now)
* *(2)* package w...
John Abbott
14:03 Design #1495: Package exporting nothing?
I have written a first prototype. It compiles and seems to do the right thing, but I must do some more testing.
The...
John Abbott
11:31 Design #1495 (In Progress): Package exporting nothing?
From #1477 point (C)
proposed syntax *@export skip;@*
Anna Maria Bigatti
11:30 Design #1495 (Closed): Package exporting nothing?
It may be useful to make a package exporting no function: currently it gives a warning.
Choose an explicit syntax ...
Anna Maria Bigatti
16:38 Bug #1489 (Resolved): Unhelpful error message for package followed by identifier (without dollar sign)
It seems that the root cause was in @LexemeClass@... which was poorly written (by me?).
I have rewritten it, and all...
John Abbott
12:00 Design #1496: Use "special" names for variables inside tests
Here is a list of the tests: we can remove the ones which have been checked/updated.... John Abbott
11:54 Design #1496: Use "special" names for variables inside tests
*COPIED FROM COMMENT 3 in #1294*
One possibility is simply to use names which start with underscore: this is allow...
John Abbott
11:53 Design #1496 (In Progress): Use "special" names for variables inside tests
To avoid problems with name clashes the names of variables inside test scripts these variable should have "special" n... John Abbott
11:58 Feature #1415: thmproving package
John Abbott wrote:
> Any news about this package?
> Can we close this issue quickly and easily?
ok, working on i...
Anna Maria Bigatti
11:43 Support #692 (Rejected): Local variables hiding out ones at top level
After a Skype discussion we have decided to leave things as they are: while not perfect (and sometimes annoying) the ... John Abbott
07:54 Bug #1200 (Closed): Package exported function: wrong package name
John Abbott wrote:
> Is this even a bug?
> In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by...
Anna Maria Bigatti
07:36 Design #1493: Automatic ring mapping in assignment?
John Abbott wrote:
> My "gut feeling" is that it should work... I expect it to work (perhaps because the destination...
Anna Maria Bigatti
07:24 Design #1477: Packages: questions from Andraschko
John Abbott wrote:
> Regarding point *(C)* _why must a package export at least 1 function?_
> We could also allow s...
Anna Maria Bigatti

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....
John Abbott
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?... John Abbott
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...
John Abbott

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...
John Abbott
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@.... John Abbott

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...
John Abbott
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:...
John Abbott
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 :-/
John Abbott
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...
John Abbott
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...
John Abbott

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... John Abbott
16:06 Feature #1415: thmproving package
Any news about this package?
Can we close this issue quickly and easily?
John Abbott
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...
John Abbott

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...
John Abbott
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@ ... Julian Danner
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... Julian Danner

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 ...
John Abbott
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 ...
John Abbott
 

Also available in: Atom