diff --git a/buglist b/buglist index 57aa523..31f3c1b 100644 --- a/buglist +++ b/buglist @@ -1,6 +1,6 @@ ========================================================================= -bug 7269: +bug 7270: todo 336: wish 1012: meh 5: @@ -12,6 +12,37 @@ dup 50006: nonextend 60077: ========================================================================= +bug 7269: hash does not work for Record + +(1) -> T:=Record(f1:Integer) + + (1) Record(f1: Integer) + Type: Domain +(2) -> hash(t) + + (2) 116 + Type: SingleInteger +(3) -> t:=[0]@T + + (3) [f1= 0] + Type: Record(f1: Integer) +(4) -> hash(t) + There are 8 exposed and 1 unexposed library operations named hash + having 1 argument(s) but none was determined to be applicable. + Use HyperDoc Browse, or issue + )display op hash + to learn more about the available operations. Perhaps + package-calling the operation or using coercions on the arguments + will allow you to apply the operation. + + Cannot find a definition or applicable library operation named hash + with argument type(s) + Record(f1: Integer) + + Perhaps you should use "@" to indicate the required return type, + or "$" to specify which version of the function you need. + +========================================================================= bug 7268: Typechecker gets confused by flow control Spad typechecker is supposed to track type tests, and diff --git a/changelog b/changelog index e22f323..a67e4f4 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20141209 tpd src/axiom-website/patches.html 20141209.03.tpd.patch +20141209 tpd buglist: bug 7269: hash does not work for Record 20141209 tpd src/axiom-website/patches.html 20141209.02.tpd.patch 20141209 tpd buglist: bug 7268: Typechecker gets confused by flow control 20141209 tpd src/axiom-website/patches.html 20141209.01.tpd.patch diff --git a/patch b/patch index 5644e03..69574cf 100644 --- a/patch +++ b/patch @@ -1,34 +1,29 @@ -buglist: bug 7268: Typechecker gets confused by flow control +buglist: bug 7269: hash does not work for Record -Spad typechecker is supposed to track type tests, and -allow operation which are safe due to dynamic tests. -However, tis works for 'if' but fails for loops, as in: +(1) -> T:=Record(f1:Integer) -a:R -b:R -c:=a exquo b -while c case R repeat - a:=c - c:=a exquo b + (1) Record(f1: Integer) + Type: Domain +(2) -> hash(t) -Spad compiler report type error on assignment to a. + (2) 116 + Type: SingleInteger +(3) -> t:=[0]@T -But both of these work: - -a:R -b:R -c:=a exquo b -if c case R then - while c case R repeat - a:=c - c:=a exquo b - -and - -a:R -b:R -c:=a exquo b -while c case R repeat - if c case R then - a:=c - c:=a exquo b + (3) [f1= 0] + Type: Record(f1: Integer) +(4) -> hash(t) + There are 8 exposed and 1 unexposed library operations named hash + having 1 argument(s) but none was determined to be applicable. + Use HyperDoc Browse, or issue + )display op hash + to learn more about the available operations. Perhaps + package-calling the operation or using coercions on the arguments + will allow you to apply the operation. + + Cannot find a definition or applicable library operation named hash + with argument type(s) + Record(f1: Integer) + + Perhaps you should use "@" to indicate the required return type, + or "$" to specify which version of the function you need. diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index c1b3a7b..1473916 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4790,6 +4790,8 @@ src/input/Makefile remove unused .as files
src/axiom-website/CATS/index.html add Graphics section to CATS
20141209.02.tpd.patch buglist: bug 7268: Typechecker gets confused by flow control
+20141209.03.tpd.patch +buglist: bug 7269: hash does not work for Record