{5} Assigned, Active Tickets by Owner (Full Description) (8 matches)

List tickets assigned, group by ticket owner. This report demonstrates the use of full-row display.

alp (7 matches)

Ticket Summary Component Milestone Type Created
Description
#2 Les fonctions sha1 et md5 présentent un risque de bug avec les type String Compiler 1.9 bug 08/03/07

Les fonctions sha1 et md5 attendent n'importe quel type sérialisable en entrée. Or lorsqu'on lui passe un String, on s'attend à ce que ce soit le contenu de la chaine qui soit utilisé pour le calcul du SHA1 ou du MD5. Or il se trouve que c'est l'objet String en entier qui est calculé.

C'est donc source d'erreur évidente, et très difficile à prévenir. Or pour le cas particulier du String, signer l'objet complet ou signer son contenu, c'est aussi pertinent dans un cas comme dans l'autre. C'est donc absolument équivalent.

Donc pour simplifier et réduire les risques, il faudrait directement dans predifined.anubis créer des versions surchargées pour le type String ne fonctionnant que sur le contenu.


#39 Ill-typed multiple variable argument Compiler bug 04/24/08

May be it's me but i don't see what's wrong with this code:

define String
  hello
    =
  with top   = var((Int32)0),
  with stack = mvar(1,"hello"),
  *stack(*top).

The reported error message is:

Error E022:    A multiple variable may be only applied to an Int32.

      1.  

Internal error in 'src\typetools.c' at line 328.
   Unknown term interpretation head:
   ((anb_read 8390411 local "top" 1 type_Var . $336))


#51 Int arithmetic (wrong value then VM crash) Virtual Machine bug 07/27/08

Could be a nice code example :)
Sadly some arithmetic debugging is still needed :(

// Spigot by Jeremy Gibbons, using William Gosper formula

public define Int
   div(Int a,Int b) 
     =
   if a / b is 
     {
     failure    then 0,
     success(d) then if d is (q,r) then q
     }.

global define One
  pi_gosper_gibbons(List(String) args)
  =
  ( (Int q,Int r,Int t,Int i) |-g-> 
    with
    u = 3*(3*i+1)*(3*i+2),
    y = div(q*(27*i-12)+5*r,5*t),
    print(abs_to_decimal(y));
    g(10*q*i*(2*i-1),10*u*(q*(5*i-2)+r-y*t),t*u,i+1);
    unique
  )
  (1,180,60,2).

#34 Missing 'to_decimal' function for Int Compiler 1.9 enhancement 04/17/08

There is a 'abs_to_decimal()' function for Int, but no 'to_decimal()' thus there is one for all other numerical types.


#20 New keyword: obsolete Compiler 1.x enhancement 09/30/07

As standard library and functions or types that compose it aren't yet perfectly well designed, and name changes can be frequent, adding a keyword 'obsolete' (or any thing like this) could be a great help.

This keyword does nothing else than producing a warning during compile time, just to remember to not use this function.

A variation of this could be the keyword : obsolete(new_function)

With this, the compiler can produce a very useful warning, telling which function to use instead of this one.

The keyword could be inserted into function or type definition like this :

public define obsolete(new_function_name) ReturnType
  old_function_name
  (
    ...
  ) =
  <function body>.

Or maybe better (as we can suppose that 'obsolete' functions or type are always public ones):

obsolete(new_function_name) define ReturnType
  old_function_name
  (
    ...
  ) =
  <function body>.

which made automatically this function public but obsolete.

Private function can always be easily renamed, so there is no need to mark them as obsolete.


#22 New keyword: moved_to Compiler enhancement 10/10/07

I don't know if it is easy to do, but the goal of this keyword is to generate a message if a function definition has moved from one file to another, and the new definition has not be found by the compiler.

Thus the message will clearly tell to the user that to use the function, he has to read this new file.

Of course, the error message is displayed only if the function is used and the new definition isn't found.

On the old location, the definition has been removed. Only the declaration can be found (parameters and return type), associated with this keyword.

And we can do the same thing with types.


#38 Hasty "Premature end of file" Compiler enhancement 04/24/08

I report this not so serious bug for documentation only (it could eventually puzzle some beginner). As trivial as it seems patching it probably involves tweaking the lexical analyser, quite not a really exciting thing to do.

type Yell : woow.

If no newline (end of file just following the dot) then i get this error:

(line 1, column 18) Error E111:    Premature end of file within a paragraph.


totoro (1 match)

Ticket Summary Component Milestone Type Created
Description
#9 Enhancement of the logo Design 1.9 bug 08/14/07

The dark red is fine, but he black characters are not very much visible over this red. The solution may be to redraw the characters (and maybe the curved line) in relief, i.e. with a light (white ?) boundary on top left.


Note: See TracReports for help on using and creating reports.