Activity
From 17 Feb 2014 to 18 Mar 2014
18 Mar 2014
-
17:45 Bug #469 (In Progress): Emacs UI: keywords in multiline comments
- JAA thinks is would be too costly to change the Emacs code to handle this correctly (especially considering its low i...
-
- My opinion is:
(a) is too drastic: not backward compatible, single line @/*...*/@ can be useful
(b) my favourite (and... -
- Multiline comments are convenient, inconvenient and potentially hazardous.
Convenient for commenting out blocks of... -
- Our options are:
# remove all code related to multiline string literals
# comment out all code related to multiline... -
- The source code relating to the recognition of string literals is in @Lexer.C:423--511@...
-
- A purely practical point: the C5 interpreter was not designed to handle nested @/*...*/@ comments, and I'm pretty cer...
-
- I introduced the bug when "correcting" some redundant looking code (see post 1 in #441).
I've now restored the cod... -
- Somehow we'll have to tell those who have created @.abbrev_defs@ to remove it (or edit it to remove the @cocoa5-abbre...
-
- A possibly simpler solution to the problem would be to have a function *@PackageOf@* which says which package protect...
-
- Packages export their varables in the function:...
-
- The relevant source code appears to be in @Interpreter.C:229@:...
-
- No problems have arisen in 2 weeks, so I'm closing this issue.
-
- Since Anna cannot recall what the problem was, and some simple _ad hoc_ tests encountered no problems, I shall to "re...
-
- The modified impl seems OK to me.
I have modified the CoCoA-5 doc too: @Functions@ is now marked as *obsolete*;
@des... -
- I think I've corrected the code so that exported names appear first.
Will check after lunch.
-
- The relevant source code is in @Interpereter.C:233@...
-
- CoCoA-5 used more than 6Gbytes of memory while trying to compute @gcd(f,x^(31^6)-x)@ in @ZZ/(31)[x]@ where @f := x^15...
17 Mar 2014
-
- Here is why I think nested "multiline" comments are problematic; essentially the parser is compelled to parse the com...
-
09:50 Bug #471: Nested multiline comments
- CoCoA-4 had nested comments /* /* */ */.
In CoCoA-5 G.Lagorio refused to maintain that feature because _"C does not a... -
- John Abbott wrote:
> Several packages refer to non exported functions by calling them with the prefix @$.@.
>
> Appa...
16 Mar 2014
-
- Several packages refer to non exported functions by calling them with the prefix @$.@.
Apparently this is no longe...
14 Mar 2014
-
- I have removed several uses of @Alias@ but making use of @$.@ in packages.
There are some cases where it cannot be... -
- I think the concept of @Alias@ is no longer needed (or only very rarely).
Can we eliminate it?
-
- Package @io@ does not do much currently; can we eliminate it?
-
- Implement in CoCoALib the fns in package @approx@; then eliminate the package.
Some fns are already in CoCoALib. -
- Implement in CoCoALib the fns in package @BinRepr@; some of this has already been done.
Then eliminate the package.
-
- While checking in I noticed a "valid use" for multiline comments: in the file @latex.cpkg5@ there are some examples/t...
13 Mar 2014
-
- I was wrong: it wasn't so easy to write the elisp function, but I think I have one which works now! :-)
Next step ... -
- I think it may be useful to have an emacs fn which says whether @point@ is in a string literal, in a comment, or in c...
-
- My suggestion about juxtaposition of string literals is *not backward compatible* because juxtaposition is already de...
-
- We could define juxtaposition of normal string literals to mean concatenation with a newline inserted between the two...
-
- For the same reasons I do not like multiline comments, I have grave doubts about multiline string literals. They see...
-
- Also consider @Record@ in @cocoa5-mode-abbrev-table@.
Similar questions about most CoCoA-5 keywords! -
- What capitalization do we want for the keyword @Record@?
Currently CoCoA-5 uses @Record@, but the manual prefers @... -
- I made an "older versions" page.
Now the download pages show only the latest version.
12 Mar 2014
-
- John Abbott wrote:
> A quick test suggests that this does not work, or at least not as I would like (_e.g._ @Lambda@ ... -
- John Abbott wrote:
> One post I read suggested that @cocoa5-abbrev-table@ should be @cocoa5-mode-abbrev-table@. Inv... -
- Added entry "All CoCoA Commands".
It only gives the list of entries with type "command".
Fairly easy to add (still ... -
- What I mean is just the *keywords* and syntax of CoCoA language:
* @Return@ _expr_
* @If@ _bool-expr_ @Then@ _cmd_ @E... -
- You mean something like...
-
- Yes, I mean CoCoALanguage *commands*; no, I don't mean *functions*!
Possibly a few important functions could be name... -
- John Abbott wrote:
> I have inserted the following in @Lexer.C:83@ right before the declaration of the variable @cha... -
- I have inserted the following in @Lexer.C:83@ right before the declaration of the variable @chars@ (what purpose doe...
-
- Places we should look at for changing the parser so that it warns about (or complains about) multiline comments:
@... -
- I've modified all packages so that they use either end-of-line comments (if possible) or single-line embedded comment...
-
- I've updated the CoCoAManual entry; it doesn't say that @/*...*/@ works for multiline comments (but it doesn't forbid...
-
- Here is another option:
*(C2)* In CoCoA-5.1 continue to allow the multiline syntax, but issue warnings every time a ... -
- One reason for having multiline comments is that it becomes easy to comment out blocks of code; this is also what pro...
-
- As already pointed out in #469 (update 2) I think we should aim to make multiline comments obsolescent. Here are som...
-
- C5 does not support nested multiline comments.
The following input produces @7@... -
- Here are some test cases; I use @#@ to mark the position of the cursor.
*Case 1*... -
- When there is no block to close @cocoa5-close-block@ behaves strangely.
If there is no code before @point@ then it... -
- I think this issue is unimportant because it is hard to imagine when someone would use a multiline comment to comment...
-
- I fear that it would be quite tricky to solve this one properly. Reverse scanning to decide if some line is inside a...
-
- The close block fn @C-c C-e@ gets confused by unclosed code blocks inside multiline comments. Here is an example:
<... -
- If we have a global variable, we could make it 3-state: @horizontal-split@, @vertical-split@ or @auto@.
If we do t... -
- Recall that @?@ simply has to be the first non-space character in a command (and not the first non-space character on...
-
- I have identified one case where indentation in a @cocoa5@ file goes wrong.
I have checked that @C-c C-e@ is confuse...
11 Mar 2014
-
- You mean the syntax of all commands in CoCoA?
that's not difficult, but it's going to be huge!
-
- Such a page would be useful for people who already know how to program, and simply want to see the complete syntax al...
-
- I suggest adding a page which summarises briefly the language syntax of CoCoA-5 (with link to each detailed page for ...
-
- Also remove @DegLex@, @DegRevLex@, @Lex@, @Xel@?
Also remove @Vector@, @ToPos@, @PosTo@? -
- There is a lot of cruft in @cocoa5.el@; most of it should be removed!
There are many commented out keywords in @co... -
- I think using the @rotate-split@ function is probably the best solution; it is quite general and might even be useful...
-
- I think the default should be horizontal.
I can make the hor/ver toggle available in the menu.
It can be set for all ... -
- I found the following nice Emacs function...
-
- Here are some emacs fns which might be useful:
@window-body-width@ width of the text area
@window-body-height@ hei... -
- Here are some other design ideas
# make the current functions choose automatically between vert/horiz split (_e.g._ ... -
- Here is a function which works a bit like @M-x cocoa5@ but makes a horizontal split:...
-
- The students in Alg Comp would like to be able to have CoCoA source file on the left, and the running interpreter on ...
10 Mar 2014
-
- The online manual page for *@It@* is hard to read....
09 Mar 2014
-
- I think the problem is the call on line @cocoa5.el:489@:...
-
- Semicolon sometimes does strange things.
It places the cursor in the wrong place if you type semicolon immediately... -
- Here is an idea (silly?)
We could add the new keyword @|->@ which has the same semantics as @Return@. This would ... -
- One post I read suggested that @cocoa5-abbrev-table@ should be @cocoa5-mode-abbrev-table@. Investigate and decide.
-
- One possible solution is to forcibly load the @.abbrev_defs@ file *before* loading @cocoa5@ mode. I believe thsi can...
-
- I changed my @cocoa5.el@ file and was surprised to find that some keywords which have now been removed were still rec...
07 Mar 2014
-
- No problems reported in the last 9 months, so closing.
-
- The regexp...
-
- Here is are two test cases. The first works OK; the second does not....
-
- I now have a new regexp which seems to work better:...
-
- My regexp doesn't work quite as I hoped: it fails of the matching start keyword is on the same line as point. Here's...
-
- I have added a regexp "suffix" so that keywords are recognised "outside strings".
Here is the regexp... -
- I can't remember. Now I cannot reproduce what problem I managed to invent when there was no manual ;-)
Maybe it was...
06 Mar 2014
-
- I believe the relevant function is @cocoa5-close-block@. The bug probably lies inside @cocoa5-last-unended-begin@ (d...
-
- I want some guidance about which fonts to use in the description of a CoCoA function when refering to the arguments. ...
-
- Can I have some details???
-
- I don't believe this issue is so important, but it is worth recording (maybe some @Makefile@ magician will spot the p...
-
- I observed a failed build of the C5 GUI (on Mac OS X 10.5.8). The commands I ran were:...
05 Mar 2014
-
- CoCoA-4 manual had a part with the list of commands and a part with "topics" (the latter has been obsolete for ages!)...
-
- JAA has revised the manual page for the logical operators.
-
- One possible solution is to supply an "impossible name" for those indets we want to be "anonymous".
An impossible ... -
- Added code to handle the special cases of @GenRepr(INT,IDEAL)@ and @GenRepr(RAT,IDEAL)@
Which other fns need simil... -
-
- After talking to Anna about my doubt, we have decided that an empty list in input should produce an error (as it seem...
-
- Neither Anna nor I recall how to reproduce this bug; maybe we have fixed it unwittingly?
Anyway, there is a work-aro...
04 Mar 2014
-
- fixed.
I just added CleanupLine in ... -
- Mostly done. Even cleaned up the code.
There is one function left called "E".
what to do with that? is that useful... -
- Now I'm unsure whether @IsFactorClosed([])@ should return @true@ or give error.
This morning I'm more inclined to fa...
03 Mar 2014
-
- Hey! Have you been talking to Elisa Businelli again?
Fixed the case of an empty list -- it gives *true* (same as th... -
- In the manual we can have...
-
- I think it looks pretty nice now. I even wrote a bit of documentation.
Feedback.
-
- I renamed all functions so they start with @cocoa5-@
I'll leave this in feedback just to make sure no mismatch comes... -
- Seems OK. I'm closing this (unless future guinea-pigs resurrects it ;-)
-
-
- I'd like to use the @interpolate@ fn in one of mys first lessons; can it be implememnted in time? May be related to ...
-
- C5 does not allow computing @GenRepr(1, I)@ because it wants a @RINGELEM@ where I supplied the value @1@ which has ty...
28 Feb 2014
-
- I think I made a fool of myself: we cannot have anonymous symbols in CoCoA because we do not have symbols. (we just ...
-
- I'm already writing the code (taking some rust off my C++) and I'll wait for JAA's approval ;-)
-
- In CoCoALib there are functions for making anonynous symbols (i.e. name of indeterminates).
Should we port them to C... -
27 Feb 2014
-
- I wonder if the next version should be 5.1 instead of 5.0.4; the reason for the jump is the removal of the keywords *...
26 Feb 2014
-
- Can we complete/close any of these issues?
#20, #32, #78, #94, #104, #197, #200, #204, #216, #239, #322
I'm sure the... -
- Things to do (no special order):
* (@Anna) check the roadmap, and see which tasks we can reasonably complete, and wh... -
- Just an issue to gather together all the things to do for the imminent 5.0.9 release.
JAA is hoping the release wi... -
- JAA should respond!
-
- Has this effectively been resolved? It's been ages since I've seen the problem (but I hardly ever use the GUI...)
... -
- Here is a reason why I prefer a built-in fn for increasing max stack height over a command line option: a user discov...
-
- I tried swapping two long lists (10000000 entries), and it was pretty quick; so I deduce that the values are not copi...
25 Feb 2014
-
- C5 tells me "no matches" when I ask for *@? ><@*
Is this what we want? [no!]
How to fix it? [don't know] Maybe i... -
- Implemented in C++ (inside @PPMonoid.H@ and @PPMonoid.C@); it is faster.
Documented.
Also available in C5 now -- remo... -
14:31 Feature #328: Swap
- If I remember correctly, the swap above should not make any useless copy (that is, objects should be shared until the...
-
- *Giovanni* any good hints on how I could implement an efficient @swap@ function in C++ (rather than doing 3 assignme...
-
- I had suspected as much. Some guys wanted a stack size of about 250000, and asked for a command to increase stack si...
-
- It's complicated; short answer: a frame needs to "point/reference" other frames for accessing non-local variables (_e...
24 Feb 2014
-
- I have a first impl, but it SEGVs if I increase the stack size; don't know why.
The CoCoA-5 input is this: (initial ... -
- Anna said it would be best to keep the change as simple as possible, so it should be a function (since we're not sure...
-
- No complaints from Oscar in 9 months, so presumably all is well. Closing.
-
- The impl is quite short; move it to C++ (might even be faster?)
-
- No complaints have come forth, so closing this.
-
- Added first basic impl to @coclib.cpkg5@.
It should be possible to swap most types of value in C++ without actuall... -
- Old code has been deleted (not yet CVSed though). All still works.
*ANNA* will fix the manual; perhaps separate m... -
- We have chosen *@Func...EndFunc@* as the best compromise.
Implemented all steps (1)-(4).
Status is now *feedback*
22 Feb 2014
-
- Here are the steps to make once we have decided what to do:
Step 1: modify interpreter (ought to be very easy, will ... -
- Being "trivial to implement" is surely a *big advantage*!
I wonder whether @fn...EndFn@ is too short; specifically d... -
- Some points to clarify on the website:
* what to download and do for a *completely new* installation (CoCoA+emacs)
* ... -
- On my portable it gave no problem: just returned the result @ideal()@.
With full debugging I get a failed assertion:... -
- We must remember to add CoCoALib tests for all these "trivial cases" -- they should be in CoCoALib rather than CoCoA-...
21 Feb 2014
-
- Done stage 2. All C5 tests pass. Checked in.
NB old code for @Not@ operator has only been commented out for now... -
- Stage 1 done. About to check in!
-
- There seems to be no doubt that the current @Not@ operator is problematic: even we, the C5 designers, find it "danger...
-
- John Abbott wrote:
> I've just noticed a real howler in @hilop.cpkg5@
> [...]
> which is very different from the orig... -
- A moment's refection about the above howler has put me in panic mode; how come anything works in CoCoA-5???
Should... -
- I've just noticed a real howler in @hilop.cpkg5@...
-
- John Abbott wrote:
> I have just grepped through the C5 packages and there are several places where the operator @No... -
- I have just grepped through the C5 packages and there are several places where the operator @Not@ is incorrectly appl...
-
- I still vote for (with the great advantage of being trivial to implement ;-)...
-
- I found this neat little example in a file I was playing with:...
-
- I forgot to add that if we have a very compact syntax for simple anon fns (single expr) then it is less important to ...
-
- Here's yet another idea (for simple anon fns), I suppose inspired by TeX.
An anon fn is any expression containing at... -
- John Abbott wrote:
> Over lunch I made a survey (sample size = 1): -Oscar-Anonymous had no idea ;-)
> My favourite... -
- Over lunch I made a survey (sample size = 1): Oscar had no idea what a "lambda function" might be (nor indeed what is...
-
- I prefer a name intstead of the arrow.
So I looked at synonyms: (mind you: I'm joking)
X --> definitely not g... -
- I've spoken to Anna and she has accepted that having @lambda@ as a keyword in CoCoA-5 is inconvenient. The question ...
-
- Most emacs variables dealing with the CoCoA5 emacs interface are called @cocoa5-*@ but a few do not begin with @cocoa...
-
- No problems over the last month (incl. plenty of use).
So closing.
-
- The change was to @cocoa5-beg-block-re@; I simply added initial @"\\<"@ and final @"\\>"@ -- it seems that they had b...
-
- I think I have fixed it! :-)
Now the question is how to test it thoroughly?
[answer: a class full of unwitting guine... -
- John Abbott wrote:
> The mem fn @myColon@ is called by @colon@ (see source @ideal.C:280@) which makes a copy of @I@ ... -
- The mem fn @myColon@ is called by @colon@ (see source @ideal.C:280@) which makes a copy of @I@ and then "plays" with ...
-
- I had fixed this kind of problemi in @SparsePolyRing.C@ for colon...
20 Feb 2014
-
- I've made some quick tests in a buffer associated to @file.cocoa5@.
Adding a *prefix* (comprising letters and/or d... -
- Should there be a separate issue about putting some proper "extreme case" tests for all ideal operations in the stand...
-
- @radical@ seems happy so long as there is at least one non-zero generator.
*However*, @radical(ideal(one(R)))@ gives... -
- Bad news: the problem occurs somewhere inside Max's code :-(
The problem is that @EmbedPolyList@ tries to create ... -
- Same problem with @radical(J)@.
-
- The following input wrongly produces an error...
-
- Here is an example taken from @NotBuiltin.cpkg5@
Current form:... -
- Other suggestions for the keyword: *@func...EndFunc@*, *@AnonFn...EndAnonFn@*,
*@AnonFunc...EndAnonFunc@*
My firs... -
- The problem was reported by Elisa Businelli (and can be reproduced on her computer).
-
- In side emacs using @send-file@ or @send-region@ issues a CoCoA command using @Source@ and @SourceRegion@ commands se...
-
- The following input produces a @std::bad_alloc@ exception on Microsoft Windows 7 Ultimate (Service Pack 1) 2009
<pre...
19 Feb 2014
-
- I think the problem may be in the definition of @cocoa5-beg-block-re@.
I presume the @-re@ suffix means "regular exp... -
- The emacs UI sometimes gets indentation wrong inside a @file.cocoa5@.
The specific case I observed was when the pr... -
- The @Not@ operator behaves differently from C4.
In C4 you could write @If Not 1 IsIn I Then ...@
In C5 this is ... -
- This has been in feedback for 9 months without any problems, so closing.
-
- I've just resuscitated the eigenvector code.
Having @lambda@ as a keyword is a nuisance, _e.g._ it cannot be used ... -
- Tony should be here in a couple of weeks; maybe we could ask him to help improve the design of the website (by giving...
Also available in: Atom