nice-commit Mailing List for The Nice Programming Language (Page 13)
Brought to you by:
bonniot
Menu
▾
▴
nice-commit — Changes sent to CVS
You can subscribe to this list here.
| 2003 |
Jan
|
Feb
(60) |
Mar
(125) |
Apr
(183) |
May
(140) |
Jun
(227) |
Jul
(141) |
Aug
(181) |
Sep
(75) |
Oct
(89) |
Nov
(187) |
Dec
(162) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2004 |
Jan
(69) |
Feb
(197) |
Mar
(98) |
Apr
(26) |
May
(10) |
Jun
(85) |
Jul
(88) |
Aug
(79) |
Sep
(80) |
Oct
(81) |
Nov
(53) |
Dec
(109) |
| 2005 |
Jan
(68) |
Feb
(77) |
Mar
(232) |
Apr
(79) |
May
(37) |
Jun
(37) |
Jul
(3) |
Aug
(18) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2006 |
Jan
(10) |
Feb
|
Mar
(4) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(2) |
Nov
(1) |
Dec
(9) |
| 2007 |
Jan
(2) |
Feb
(8) |
Mar
(2) |
Apr
(5) |
May
|
Jun
|
Jul
|
Aug
(4) |
Sep
|
Oct
|
Nov
(17) |
Dec
(6) |
| 2008 |
Jan
|
Feb
(3) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2011 |
Jan
|
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Daniel B. <bo...@us...> - 2005-03-13 12:15:42
|
Update of /cvsroot/nice/Nice/src/bossa/modules In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv388/src/bossa/modules Modified Files: Package.java Log Message: Added chronometers for more passes (for --bench). Index: Package.java =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/modules/Package.java,v retrieving revision 1.139 retrieving revision 1.140 diff -C2 -d -r1.139 -r1.140 *** Package.java 11 Mar 2005 17:35:53 -0000 1.139 --- Package.java 13 Mar 2005 12:15:31 -0000 1.140 *************** *** 239,242 **** --- 239,249 ---- private boolean scoped = false; + static nice.tools.util.Chronometer scopeChrono = nice.tools.util.Chronometer.make("Scope"); + static nice.tools.util.Chronometer resolveChrono = nice.tools.util.Chronometer.make("Resolve"); + static nice.tools.util.Chronometer readAltChrono = nice.tools.util.Chronometer.make("Read alternatives"); + static nice.tools.util.Chronometer tresolveChrono = nice.tools.util.Chronometer.make("Typed resolve"); + static nice.tools.util.Chronometer lresolveChrono = nice.tools.util.Chronometer.make("Local resolve"); + static nice.tools.util.Chronometer typecheckChrono = nice.tools.util.Chronometer.make("Typecheck"); + public void scope() { *************** *** 244,248 **** scoped = true; ! ast.buildScope(); addProgress(PROGRESS_SCOPE); --- 251,260 ---- scoped = true; ! scopeChrono.start(); ! try { ! ast.buildScope(); ! } finally { ! scopeChrono.stop(); ! } addProgress(PROGRESS_SCOPE); *************** *** 251,259 **** public void load() { ! ast.resolveScoping(); ! // this must be done before freezing ! if (!compiling()) ! readAlternatives(); addProgress(PROGRESS_LOAD); --- 263,281 ---- public void load() { ! resolveChrono.start(); ! try { ! ast.resolveScoping(); ! } finally { ! resolveChrono.stop(); ! } ! readAltChrono.start(); ! try { ! // this must be done before freezing ! if (!compiling()) ! readAlternatives(); ! } finally { ! readAltChrono.stop(); ! } addProgress(PROGRESS_LOAD); *************** *** 262,266 **** public void typedResolve() { ! ast.typedResolve(); addProgress(PROGRESS_TYPED_RESOLVE); --- 284,293 ---- public void typedResolve() { ! tresolveChrono.start(); ! try { ! ast.typedResolve(); ! } finally { ! tresolveChrono.stop(); ! } addProgress(PROGRESS_TYPED_RESOLVE); *************** *** 269,273 **** public void localResolve() { ! ast.localResolve(); addProgress(PROGRESS_LOCAL_RESOLVE); --- 296,305 ---- public void localResolve() { ! tresolveChrono.start(); ! try { ! ast.localResolve(); ! } finally { ! tresolveChrono.stop(); ! } addProgress(PROGRESS_LOCAL_RESOLVE); *************** *** 332,337 **** if (compiling()) compilation.progress(this, "typechecking"); ! ! ast.typechecking(compiling()); addProgress(PROGRESS_TYPECHECK); --- 364,374 ---- if (compiling()) compilation.progress(this, "typechecking"); ! ! typecheckChrono.start(); ! try { ! ast.typechecking(compiling()); ! } finally { ! typecheckChrono.stop(); ! } addProgress(PROGRESS_TYPECHECK); |
|
From: Daniel B. <bo...@us...> - 2005-03-13 11:39:00
|
Update of /cvsroot/nice/Nice/testsuite/compiler/native In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv23417/testsuite/compiler/native Modified Files: retyping.testsuite Log Message: Add retypings in the global java scope, so that packages not directly importing the retyping package do not fail to see the retyped method completely. Index: retyping.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/native/retyping.testsuite,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** retyping.testsuite 2 Sep 2003 23:14:14 -0000 1.3 --- retyping.testsuite 13 Mar 2005 11:38:17 -0000 1.4 *************** *** 41,42 **** --- 41,67 ---- putValue(editPart, model) {} } + + + /// PASS + /// package lib + /// Toplevel + public class A + { + public void foo() {} + } + + /// package a + // We don't import the 'lib' package, so as to see it as a "native" package + /// Toplevel + class A<T> = native lib.A; + <T> A<T> A() = native new lib.A(); + <T> void foo(A<T>) = native void lib.A.foo(); + + /// package b import a + {} + + /// package c import b + // It's questionable whether the retyped version of foo or the raw one + // is visible here. In both cases this testcase should be. + // Failing with "foo is not declared" is not OK. + new lib.A().foo(); |
|
From: Daniel B. <bo...@us...> - 2005-03-13 11:38:43
|
Update of /cvsroot/nice/Nice/src/bossa/syntax In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv23417/src/bossa/syntax Modified Files: retypedMethod.nice methodDeclaration.nice Log Message: Add retypings in the global java scope, so that packages not directly importing the retyping package do not fail to see the retyped method completely. Index: methodDeclaration.nice =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/syntax/methodDeclaration.nice,v retrieving revision 1.5 retrieving revision 1.6 diff -C2 -d -r1.5 -r1.6 *** methodDeclaration.nice 13 Mar 2005 03:24:05 -0000 1.5 --- methodDeclaration.nice 13 Mar 2005 11:38:18 -0000 1.6 *************** *** 46,53 **** buildScope(outer, typeOuter) { ! module.scope.addSymbol(symbol); super; } public ?mlsub.typing.Polytype getType() { --- 46,58 ---- buildScope(outer, typeOuter) { ! this.addToScope(); super; } + void addToScope() + { + module.scope.addSymbol(symbol); + } + public ?mlsub.typing.Polytype getType() { Index: retypedMethod.nice =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/syntax/retypedMethod.nice,v retrieving revision 1.9 retrieving revision 1.10 diff -C2 -d -r1.9 -r1.10 *** retypedMethod.nice 11 Mar 2005 17:35:52 -0000 1.9 --- retypedMethod.nice 13 Mar 2005 11:38:17 -0000 1.10 *************** *** 36,39 **** --- 36,47 ---- } + addToScope() + { + // Put the symbol in the java scope, so it's available globally, + // even to packages that don't import the current one. See testcase. + if (! ignoredRetyping) + addJavaSymbol(notNull(reflectMethod), this); + } + isIgnored() = ignoredRetyping; |
|
From: Daniel B. <bo...@us...> - 2005-03-13 05:53:56
|
Update of /cvsroot/nice/Nice/src/bossa/syntax In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9786/src/bossa/syntax Modified Files: nicefield.nice niceclass.nice Log Message: Optimization: avoid checking the type of fields in compiled packages. Index: nicefield.nice =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/syntax/nicefield.nice,v retrieving revision 1.7 retrieving revision 1.8 diff -C2 -d -r1.7 -r1.8 *** nicefield.nice 16 Jan 2005 00:28:21 -0000 1.7 --- nicefield.nice 13 Mar 2005 05:53:46 -0000 1.8 *************** *** 60,64 **** } ! void typecheck() { if (value != null) --- 60,64 ---- } ! void typecheck(boolean compiled) { if (value != null) *************** *** 70,73 **** --- 70,82 ---- typecheck(notNull(value)); + if (compiled) + { + // Just make sure that the value's type is computed now + // (when the typing context is right). + // We don't need to check the type against the declared type. + notNull(value).getType(); + return; + } + try { mlsub.typing.Typing.leq(notNull(value).getType(), declaredType); *************** *** 179,183 **** } ! typecheck() { ?gnu.expr.Declaration decl = null; --- 188,192 ---- } ! typecheck(compiled) { ?gnu.expr.Declaration decl = null; *************** *** 271,275 **** } ! void typecheck() { boolean exists = false; --- 280,284 ---- } ! void typecheck(boolean compiled) { boolean exists = false; Index: niceclass.nice =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/syntax/niceclass.nice,v retrieving revision 1.26 retrieving revision 1.27 diff -C2 -d -r1.26 -r1.27 *** niceclass.nice 6 Mar 2005 01:34:26 -0000 1.26 --- niceclass.nice 13 Mar 2005 05:53:46 -0000 1.27 *************** *** 194,198 **** } ! private boolean checkValueOverride(LocatedString name, Expression value) { ?NiceField original = null; --- 194,198 ---- } ! boolean checkValueOverride(LocatedString name, Expression value) { ?NiceField original = null; *************** *** 304,316 **** typecheck() { try { for (field : fields) ! field.typecheck(); for (or : overrides) ! or.typecheck(); for (valueOverride : valueOverrides) ! valueOverride.typecheck(); if (! initializers.isEmpty()) --- 304,318 ---- typecheck() { + let compiled = definition.module.compiled(); + try { for (field : fields) ! field.typecheck(compiled); for (or : overrides) ! or.typecheck(compiled); for (valueOverride : valueOverrides) ! valueOverride.typecheck(compiled); if (! initializers.isEmpty()) |
|
From: Daniel B. <bo...@us...> - 2005-03-13 03:24:14
|
Update of /cvsroot/nice/Nice/src/bossa/syntax In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv8307/src/bossa/syntax Modified Files: methodDeclaration.nice formalParameters.nice Log Message: Optim: avoid checking the type of default values for method parameters in compiled packages. Index: methodDeclaration.nice =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/syntax/methodDeclaration.nice,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** methodDeclaration.nice 6 Mar 2005 01:34:26 -0000 1.4 --- methodDeclaration.nice 13 Mar 2005 03:24:05 -0000 1.5 *************** *** 83,89 **** return; if (!mlsub.typing.Constraint.hasBinders(notNull(type).getConstraint())) { ! notNull(parameters).typecheck(notNull(type).domain()); return; } --- 83,90 ---- return; + boolean check = ! module.compiled(); if (!mlsub.typing.Constraint.hasBinders(notNull(type).getConstraint())) { ! notNull(parameters).typecheck(notNull(type).domain(), check); return; } *************** *** 108,112 **** mlsub.typing.Typing.implies(); ! notNull(parameters).typecheck(notNull(type).domain()); } finally{ --- 109,113 ---- mlsub.typing.Typing.implies(); ! notNull(parameters).typecheck(notNull(type).domain(), check); } finally{ Index: formalParameters.nice =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/syntax/formalParameters.nice,v retrieving revision 1.8 retrieving revision 1.9 diff -C2 -d -r1.8 -r1.9 *** formalParameters.nice 17 Jan 2005 13:16:57 -0000 1.8 --- formalParameters.nice 13 Mar 2005 03:24:05 -0000 1.9 *************** *** 79,86 **** } ! void typecheck(mlsub.typing.Monotype[] domain) { for (int i = 0; i<this.size(); i++) ! parameters[i].typecheck(domain[i]); } --- 79,86 ---- } ! void typecheck(mlsub.typing.Monotype[] domain, boolean check) { for (int i = 0; i<this.size(); i++) ! parameters[i].typecheck(domain[i], check); } *************** *** 268,272 **** boolean requiresName() = false; ! void typecheck(mlsub.typing.Monotype domain) {} ?Expression value() = null; --- 268,272 ---- boolean requiresName() = false; ! void typecheck(mlsub.typing.Monotype domain, boolean check) {} ?Expression value() = null; *************** *** 399,408 **** } ! typecheck(domain) { defaultValue = defaultValue.noOverloading(); //defaultValue = defaultValue.resolveOverloading(new mlsub.typing.Polytype(domain)); typecheck(defaultValue); try { mlsub.typing.Typing.leq(defaultValue.getType(), domain); --- 399,416 ---- } ! typecheck(domain, check) { defaultValue = defaultValue.noOverloading(); //defaultValue = defaultValue.resolveOverloading(new mlsub.typing.Polytype(domain)); + typecheck(defaultValue); + if (! check) + { + // Make sure that the value's type is computed now (when the typing context is right). + defaultValue.getType(); + return; + } + try { mlsub.typing.Typing.leq(defaultValue.getType(), domain); |
|
From: Daniel B. <bo...@us...> - 2005-03-13 03:24:14
|
Update of /cvsroot/nice/Nice/testsuite/compiler/classes/constructors In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv8307/testsuite/compiler/classes/constructors Modified Files: compilation.testsuite Log Message: Optim: avoid checking the type of default values for method parameters in compiled packages. Index: compilation.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/classes/constructors/compilation.testsuite,v retrieving revision 1.10 retrieving revision 1.11 diff -C2 -d -r1.10 -r1.11 *** compilation.testsuite 1 Mar 2005 18:56:19 -0000 1.10 --- compilation.testsuite 13 Mar 2005 03:24:04 -0000 1.11 *************** *** 97,98 **** --- 97,109 ---- /// package b import a {} + + /// PASS + /// package a + /// Toplevel + class Scope<Sym> + { + private List<Sym> empty = new Sym[0]; + } + + /// package b import a + Scope<String> s = new Scope(); |
|
From: Daniel B. <bo...@us...> - 2005-03-13 03:08:24
|
Update of /cvsroot/nice/Nice/src/bossa/syntax In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5288/src/bossa/syntax Modified Files: methodbody.nice Log Message: Avoid dumping cryptic exceptions on the poor user! Index: methodbody.nice =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/syntax/methodbody.nice,v retrieving revision 1.14 retrieving revision 1.15 diff -C2 -d -r1.14 -r1.15 *** methodbody.nice 11 Mar 2005 17:35:52 -0000 1.14 --- methodbody.nice 13 Mar 2005 03:08:13 -0000 1.15 *************** *** 413,417 **** } catch(mlsub.typing.TypingEx e) { ! throw User.error(name, "Type error in method body \""+name+"\":\n"+e); } --- 413,420 ---- } catch(mlsub.typing.TypingEx e) { ! if (Debug.powerUser) ! throw User.error(name, "Type error in method body \""+name+"\":\n"+e); ! else ! throw User.error(name, "Type error in method implementation"); } |
|
From: Arjan B. <ar...@us...> - 2005-03-12 19:25:25
|
Update of /cvsroot/nice/Nice/testsuite/compiler/classes In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17504/F:/nice/testsuite/compiler/classes Modified Files: field-override.testsuite fields.testsuite this.testsuite Log Message: Added more failure locations. Index: this.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/classes/this.testsuite,v retrieving revision 1.8 retrieving revision 1.9 diff -C2 -d -r1.8 -r1.9 *** this.testsuite 1 Mar 2005 18:56:19 -0000 1.8 --- this.testsuite 12 Mar 2005 19:24:44 -0000 1.9 *************** *** 56,60 **** class B { ! int getX() = x; } --- 56,60 ---- class B { ! int getX() = /* /// FAIL HERE */ x; } Index: fields.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/classes/fields.testsuite,v retrieving revision 1.21 retrieving revision 1.22 diff -C2 -d -r1.21 -r1.22 *** fields.testsuite 1 Mar 2005 19:24:38 -0000 1.21 --- fields.testsuite 12 Mar 2005 19:24:44 -0000 1.22 *************** *** 3,7 **** class A { ! int x = "Type error"; } --- 3,7 ---- class A { ! int x = /* /// FAIL HERE */ "Type error"; } *************** *** 92,96 **** interface I { ! String s; } --- 92,96 ---- interface I { ! String /* /// FAIL HERE */ s; } *************** *** 104,108 **** /// FAIL /// Toplevel ! class A { int x; int x; } /// FAIL --- 104,108 ---- /// FAIL /// Toplevel ! class A { int x; int /* /// FAIL HERE */ x; } /// FAIL *************** *** 115,119 **** /// Toplevel class A { final int x = 1; } ! int f(A a) = a.x++; /// PASS --- 115,119 ---- /// Toplevel class A { final int x = 1; } ! int f(A a) = /* /// FAIL HERE */ a.x++; /// PASS Index: field-override.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/classes/field-override.testsuite,v retrieving revision 1.6 retrieving revision 1.7 diff -C2 -d -r1.6 -r1.7 *** field-override.testsuite 18 Oct 2003 19:48:20 -0000 1.6 --- field-override.testsuite 12 Mar 2005 19:24:44 -0000 1.7 *************** *** 20,24 **** class B extends A { ! override B x; } --- 20,24 ---- class B extends A { ! override B /* /// FAIL HERE */ x; } *************** *** 27,31 **** class A { ! override A x; } --- 27,31 ---- class A { ! override A /* /// FAIL HERE */ x; } *************** *** 39,43 **** class B extends A { ! override B dummy; } --- 39,43 ---- class B extends A { ! override B /* /// FAIL HERE */ dummy; } *************** *** 68,72 **** } ! B goo(A a) = new B(x: a); /// FAIL --- 68,72 ---- } ! B goo(A a) = /* /// FAIL HERE */ new B(x: a); /// FAIL *************** *** 79,83 **** class B extends A { ! override String x; } --- 79,83 ---- class B extends A { ! override String /* /// FAIL HERE */ x; } *************** *** 95,99 **** class C extends B { ! override B x; } --- 95,99 ---- class C extends B { ! override B /* /// FAIL HERE */ x; } *************** *** 119,123 **** class B<T> extends A { ! override List<T> x; } --- 119,123 ---- class B<T> extends A { ! override List<T> /* /// FAIL HERE */ x; } *************** *** 131,135 **** class B<T> extends A { ! override List<String> x; } --- 131,135 ---- class B<T> extends A { ! override List<String> /* /// FAIL HERE */ x; } *************** *** 219,222 **** class BB extends AA { override B val; ! override C val; } --- 219,222 ---- class BB extends AA { override B val; ! override C /* /// FAIL HERE */ val; } |
|
From: Arjan B. <ar...@us...> - 2005-03-12 19:25:23
|
Update of /cvsroot/nice/Nice/testsuite/compiler In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17504/F:/nice/testsuite/compiler Modified Files: globalVariables.testsuite Log Message: Added more failure locations. Index: globalVariables.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/globalVariables.testsuite,v retrieving revision 1.18 retrieving revision 1.19 diff -C2 -d -r1.18 -r1.19 *** globalVariables.testsuite 12 Mar 2005 02:41:44 -0000 1.18 --- globalVariables.testsuite 12 Mar 2005 19:24:43 -0000 1.19 *************** *** 83,87 **** /// FAIL ! s = ""; /// TOPLEVEL let String s = "abc"; --- 83,87 ---- /// FAIL ! /* /// FAIL HERE */ s = ""; /// TOPLEVEL let String s = "abc"; *************** *** 104,108 **** public let int x = 0; /// package b import a ! x = 1; /// PASS --- 104,108 ---- public let int x = 0; /// package b import a ! /* /// FAIL HERE */ x = 1; /// PASS *************** *** 163,165 **** /// FAIL /// Toplevel ! var String s; --- 163,165 ---- /// FAIL /// Toplevel ! var String s /* /// FAIL HERE */ ; |
|
From: Arjan B. <ar...@us...> - 2005-03-12 19:24:57
|
Update of /cvsroot/nice/Nice/testsuite/compiler/methods In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17504/F:/nice/testsuite/compiler/methods Modified Files: globalconstant.testsuite implementations.testsuite integer.testsuite nullness.testsuite string.testsuite Log Message: Added more failure locations. Index: implementations.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/implementations.testsuite,v retrieving revision 1.19 retrieving revision 1.20 diff -C2 -d -r1.19 -r1.20 *** implementations.testsuite 1 Mar 2005 18:56:21 -0000 1.19 --- implementations.testsuite 12 Mar 2005 19:24:45 -0000 1.20 *************** *** 2,6 **** /// Toplevel class A { ! void m(); } --- 2,6 ---- /// Toplevel class A { ! void /* /// FAIL HERE */ m(); } *************** *** 74,78 **** void foo(I); ! foo(#I x){} /// FAIL --- 74,78 ---- void foo(I); ! foo(# /* /// FAIL HERE */ I x){} /// FAIL *************** *** 81,85 **** void foo(X); ! foo(#X x){} /// FAIL --- 81,85 ---- void foo(X); ! foo(# /* /// FAIL HERE */ X x){} /// FAIL *************** *** 89,93 **** void foo(B x); ! foo(A x){} /// PASS --- 89,93 ---- void foo(B x); ! foo(/* /// FAIL HERE */ A x){} /// PASS Index: globalconstant.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/globalconstant.testsuite,v retrieving revision 1.12 retrieving revision 1.13 diff -C2 -d -r1.12 -r1.13 *** globalconstant.testsuite 12 Mar 2005 02:41:43 -0000 1.12 --- globalconstant.testsuite 12 Mar 2005 19:24:45 -0000 1.13 *************** *** 21,25 **** /// Toplevel let int xxx = 10; ! void foo(int); foo(n) {} foo(xxx) {} --- 21,25 ---- /// Toplevel let int xxx = 10; ! void /* /// FAIL HERE */ foo(int); foo(n) {} foo(xxx) {} *************** *** 31,35 **** void foo(int); foo(n) {} ! foo(xxx) {} /// PASS --- 31,35 ---- void foo(int); foo(n) {} ! foo( /* /// FAIL HERE */ xxx) {} /// PASS *************** *** 72,76 **** class A {} let A xxx = new A(); ! void foo(A); foo(a) {} foo(xxx) {} --- 72,76 ---- class A {} let A xxx = new A(); ! void /* /// FAIL HERE */ foo(A); foo(a) {} foo(xxx) {} *************** *** 110,114 **** void foo(int n); foo(n) {} ! foo(n>xyz) {} /// FAIL --- 110,114 ---- void foo(int n); foo(n) {} ! foo(n> /* /// FAIL HERE */ xyz) {} /// FAIL *************** *** 117,121 **** void foo(int n); foo(n) {} ! foo(n>xyz) {} /// FAIL --- 117,121 ---- void foo(int n); foo(n) {} ! foo(n> /* /// FAIL HERE */ xyz) {} /// FAIL *************** *** 123,127 **** void foo(int n); foo(n) {} ! foo(n>xyz) {} --- 123,127 ---- void foo(int n); foo(n) {} ! foo(n> /* /// FAIL HERE */ xyz) {} *************** *** 138,142 **** boolean foo(String d); foo(d) = false; ! foo(END_OF_TIME) = true; let Date END_OF_TIME = new Date(Long.MAX_VALUE); --- 138,142 ---- boolean foo(String d); foo(d) = false; ! foo( /* /// FAIL HERE */ END_OF_TIME) = true; let Date END_OF_TIME = new Date(Long.MAX_VALUE); Index: string.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/string.testsuite,v retrieving revision 1.8 retrieving revision 1.9 diff -C2 -d -r1.8 -r1.9 *** string.testsuite 12 Mar 2005 02:41:43 -0000 1.8 --- string.testsuite 12 Mar 2005 19:24:45 -0000 1.9 *************** *** 19,23 **** /// FAIL /// Toplevel ! void foo(String); foo(s) {} foo("abc") {} --- 19,23 ---- /// FAIL /// Toplevel ! void /* /// FAIL HERE */ foo(String); foo(s) {} foo("abc") {} *************** *** 26,30 **** /// FAIL /// Toplevel ! void foo(String, String); foo(s1 ,s2) {} foo("abc", s2) {} --- 26,30 ---- /// FAIL /// Toplevel ! void /* /// FAIL HERE */ foo(String, String); foo(s1 ,s2) {} foo("abc", s2) {} Index: nullness.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/nullness.testsuite,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** nullness.testsuite 1 Mar 2005 18:56:21 -0000 1.3 --- nullness.testsuite 12 Mar 2005 19:24:45 -0000 1.4 *************** *** 1,5 **** /// FAIL /// Toplevel ! void m(?String); m(String x) {} --- 1,5 ---- /// FAIL /// Toplevel ! void /* /// FAIL HERE */ m(?String); m(String x) {} Index: integer.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/integer.testsuite,v retrieving revision 1.17 retrieving revision 1.18 diff -C2 -d -r1.17 -r1.18 *** integer.testsuite 1 Mar 2005 18:56:21 -0000 1.17 --- integer.testsuite 12 Mar 2005 19:24:45 -0000 1.18 *************** *** 14,18 **** /// FAIL /// Toplevel ! int ack(int x, int y); // missing (0,0) case ack(0, int y) = y+1; --- 14,18 ---- /// FAIL /// Toplevel ! int /* /// FAIL HERE */ ack(int x, int y); // missing (0,0) case ack(0, int y) = y+1; *************** *** 23,27 **** /// FAIL /// Toplevel ! String toStr(char); toStr(char x) = ""; toStr('a') = "a"; --- 23,27 ---- /// FAIL /// Toplevel ! String /* /// FAIL HERE */ toStr(char); toStr(char x) = ""; toStr('a') = "a"; *************** *** 55,59 **** /// Toplevel // The default case is missing ! void foo(short); foo(0) {} foo(1) {} --- 55,59 ---- /// Toplevel // The default case is missing ! void /* /// FAIL HERE */ foo(short); foo(0) {} foo(1) {} *************** *** 77,81 **** void foo(long); foo(long n) {} ! foo(int n) {} /// FAIL --- 77,81 ---- void foo(long); foo(long n) {} ! foo( /* /// FAIL HERE */ int n) {} /// FAIL *************** *** 83,87 **** void foo(long); foo(long n) {} ! foo(#int n) {} /// PASS --- 83,87 ---- void foo(long); foo(long n) {} ! foo(# /* /// FAIL HERE */ int n) {} /// PASS *************** *** 119,123 **** /// FAIL /// Toplevel ! void foo(int n); foo(n>5) {} foo(n<=3) {} --- 119,123 ---- /// FAIL /// Toplevel ! void /* /// FAIL HERE */ foo(int n); foo(n>5) {} foo(n<=3) {} *************** *** 134,138 **** /// FAIL ! void foo(int n); foo(n) {} foo(n>=5) {} --- 134,139 ---- /// FAIL ! /// Toplevel ! void /* /// FAIL HERE */ foo(int n); foo(n) {} foo(n>=5) {} *************** *** 158,162 **** /// FAIL /// Toplevel ! void foo(int n, int m); foo(n>0, m) {} foo(n, m>0) {} --- 159,163 ---- /// FAIL /// Toplevel ! void /* /// FAIL HERE */ foo(int n, int m); foo(n>0, m) {} foo(n, m>0) {} *************** *** 177,181 **** /// FAIL /// Toplevel ! void foo(int n); foo(n) {} foo(n>5) {} --- 178,182 ---- /// FAIL /// Toplevel ! void /* /// FAIL HERE */ foo(int n); foo(n) {} foo(n>5) {} *************** *** 216,220 **** /// FAIL /// Toplevel ! void foo(int n); foo(n<=1) {} foo(n>=0) {} --- 217,221 ---- /// FAIL /// Toplevel ! void /* /// FAIL HERE */ foo(int n); foo(n<=1) {} foo(n>=0) {} |
|
From: Arjan B. <ar...@us...> - 2005-03-12 19:24:57
|
Update of /cvsroot/nice/Nice/testsuite/compiler/native In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17504/F:/nice/testsuite/compiler/native Modified Files: class.testsuite instanceof.testsuite Log Message: Added more failure locations. Index: instanceof.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/native/instanceof.testsuite,v retrieving revision 1.9 retrieving revision 1.10 diff -C2 -d -r1.9 -r1.10 *** instanceof.testsuite 11 Aug 2004 09:06:04 -0000 1.9 --- instanceof.testsuite 12 Mar 2005 19:24:45 -0000 1.10 *************** *** 16,20 **** /// FAIL ! boolean b = "A" instanceof not.Existing; /// PASS --- 16,20 ---- /// FAIL ! boolean b = "A" instanceof /* /// FAIL HERE */ not.Existing; /// PASS Index: class.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/native/class.testsuite,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** class.testsuite 30 Jul 2004 19:08:42 -0000 1.3 --- class.testsuite 12 Mar 2005 19:24:45 -0000 1.4 *************** *** 15,28 **** /// FAIL ! Class c = NotExisting.class; /// FAIL ! Class<NotExisting> c = NotExisting.class; /// FAIL ! Class<String> c = NotExisting.class; /// FAIL ! Class<String> c = java.io.File.class; /// FAIL --- 15,28 ---- /// FAIL ! Class c = /* /// FAIL HERE */ NotExisting.class; /// FAIL ! Class<NotExisting> c = /* /// FAIL HERE */ NotExisting.class; /// FAIL ! Class<String> c = /* /// FAIL HERE */ NotExisting.class; /// FAIL ! Class<String> /* /// FAIL HERE */ c = java.io.File.class; /// FAIL |
|
From: Arjan B. <ar...@us...> - 2005-03-12 19:24:56
|
Update of /cvsroot/nice/Nice/testsuite/compiler/null In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17504/F:/nice/testsuite/compiler/null Modified Files: inference.testsuite Log Message: Added more failure locations. Index: inference.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/null/inference.testsuite,v retrieving revision 1.12 retrieving revision 1.13 diff -C2 -d -r1.12 -r1.13 *** inference.testsuite 7 Mar 2005 08:16:51 -0000 1.12 --- inference.testsuite 12 Mar 2005 19:24:46 -0000 1.13 *************** *** 80,84 **** if (x == null) return; ! x++; --- 80,84 ---- if (x == null) return; ! /* /// FAIL HERE */ x++; *************** *** 90,94 **** else return; ! x++; --- 90,94 ---- else return; ! /* /// FAIL HERE */ x++; *************** *** 111,115 **** { x = null; ! x++; } --- 111,115 ---- { x = null; ! /* /// FAIL HERE */ x++; } *************** *** 130,134 **** if (false) x = null; ! x++; } --- 130,134 ---- if (false) x = null; ! /* /// FAIL HERE */ x++; } *************** *** 152,156 **** ?int x = null; while (x == null) ! x++; /// FAIL --- 152,156 ---- ?int x = null; while (x == null) ! /* /// FAIL HERE */ x++; /// FAIL *************** *** 248,252 **** if (x1 == null || x2 == null) return; ! { x1++; x2++; } --- 248,252 ---- if (x1 == null || x2 == null) return; ! { /* /// FAIL HERE */ x1++; x2++; } *************** *** 258,262 **** else return; ! { x1++; x2++; } --- 258,262 ---- else return; ! { /* /// FAIL HERE */ x1++; x2++; } *************** *** 274,278 **** { x1 = null; ! { x1++; x2++; } } --- 274,278 ---- { x1 = null; ! { /* /// FAIL HERE */ x1++; x2++; } } *************** *** 305,309 **** ?int x1 = null, x2 = null; while (x1 == null || x2 == null) ! { x1++; x2++; } /// PASS --- 305,309 ---- ?int x1 = null, x2 = null; while (x1 == null || x2 == null) ! { /* /// FAIL HERE */ x1++; x2++; } /// PASS *************** *** 340,344 **** ?String x = null; boolean b = x != null && x.length() > 3; ! b = x.length() > 3; /// PASS --- 340,344 ---- ?String x = null; boolean b = x != null && x.length() > 3; ! b = x. /* /// FAIL HERE */ length() > 3; /// PASS *************** *** 353,357 **** /// FAIL ?String x = null; ! boolean b = x != null && (x = null) == null && x.length() > 3; --- 353,357 ---- /// FAIL ?String x = null; ! boolean b = x != null && (x = null) == null && x. /* /// FAIL HERE */ length() > 3; *************** *** 365,369 **** ?String x = null; boolean b = x == null || x.length() > 3; ! b = x.length() > 3; /// PASS --- 365,369 ---- ?String x = null; boolean b = x == null || x.length() > 3; ! b = x. /* /// FAIL HERE */ length() > 3; /// PASS *************** *** 380,384 **** /// FAIL ?String x = null; ! boolean b = x == null || (x = null) == "" || x.length() > 3; /// FAIL bug --- 380,384 ---- /// FAIL ?String x = null; ! boolean b = x == null || (x = null) == "" || x. /* /// FAIL HERE */ length() > 3; /// FAIL bug |
|
From: Arjan B. <ar...@us...> - 2005-03-12 19:24:56
|
Update of /cvsroot/nice/Nice/testsuite/compiler/expressions/arrays In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17504/F:/nice/testsuite/compiler/expressions/arrays Modified Files: typing.testsuite Log Message: Added more failure locations. Index: typing.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/expressions/arrays/typing.testsuite,v retrieving revision 1.5 retrieving revision 1.6 diff -C2 -d -r1.5 -r1.6 *** typing.testsuite 6 Aug 2004 17:46:32 -0000 1.5 --- typing.testsuite 12 Mar 2005 19:24:44 -0000 1.6 *************** *** 1,4 **** /// FAIL ! ?String[][] s = new String[1][]; println(s[0].length); --- 1,4 ---- /// FAIL ! ?String[][] /* /// FAIL HERE */ s = new String[1][]; println(s[0].length); *************** *** 11,15 **** /// FAIL ! new int[""]; /// PASS --- 11,15 ---- /// FAIL ! int[] x = new int[ /* /// FAIL HERE */ ""]; /// PASS |
|
From: Daniel B. <bo...@us...> - 2005-03-12 17:22:33
|
Update of /cvsroot/nice/Nice/src/nice/tools/ant In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv14664/src/nice/tools/ant Modified Files: TestListener.nice Log Message: Add needed import. Index: TestListener.nice =================================================================== RCS file: /cvsroot/nice/Nice/src/nice/tools/ant/TestListener.nice,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** TestListener.nice 25 Feb 2005 03:11:39 -0000 1.3 --- TestListener.nice 12 Mar 2005 17:22:22 -0000 1.4 *************** *** 13,16 **** --- 13,17 ---- package nice.tools.ant; + import nice.tools.unit; import nice.tools.unit.console; |
|
From: Arjan B. <ar...@us...> - 2005-03-12 17:04:07
|
Update of /cvsroot/nice/Nice/src/bossa/parser In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9955/F:/nice/src/bossa/parser Modified Files: Parser.jj Log Message: No leading zeros allowed on integer literals. Index: Parser.jj =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/parser/Parser.jj,v retrieving revision 1.319 retrieving revision 1.320 diff -C2 -d -r1.319 -r1.320 *** Parser.jj 12 Mar 2005 16:26:14 -0000 1.319 --- Parser.jj 12 Mar 2005 17:03:53 -0000 1.320 *************** *** 271,275 **** > | ! < #DECIMAL_LITERAL: ["0"-"9"] (["0"-"9", "_"])* > | < #HEX_LITERAL: "0" ["x","X"] (["0"-"9","a"-"f","A"-"F","_"])+ > --- 271,275 ---- > | ! < #DECIMAL_LITERAL: ( "0" | ["1"-"9"] (["0"-"9", "_"])* ) > | < #HEX_LITERAL: "0" ["x","X"] (["0"-"9","a"-"f","A"-"F","_"])+ > |
|
From: Daniel B. <bo...@us...> - 2005-03-12 17:00:38
|
Update of /cvsroot/nice/Nice/testsuite/compiler/overloading In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9032/testsuite/compiler/overloading Modified Files: specificity.testsuite Log Message: Added expected failure positions. Changed testcase to really test ambiguity even after additional tags are taken into account, and not unavoidable failure due to identical domains. Index: specificity.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/overloading/specificity.testsuite,v retrieving revision 1.9 retrieving revision 1.10 diff -C2 -d -r1.9 -r1.10 *** specificity.testsuite 1 Mar 2005 18:56:22 -0000 1.9 --- specificity.testsuite 12 Mar 2005 17:00:27 -0000 1.10 *************** *** 38,42 **** /// FAIL ! f(a: new B(), ""); ///Toplevel --- 38,42 ---- /// FAIL ! /* ///FAIL HERE */ f(a: new B(), ""); ///Toplevel *************** *** 74,83 **** /// FAIL /// Toplevel ! abstract class A {} ! class B extends A {} ! void foo(A); ! void foo(A); ! foo(B(A) x) {} ! foo(B(B) x) {} /// PASS --- 74,85 ---- /// FAIL /// Toplevel ! interface I1 {} ! interface I2 {} ! class B implements I1,I2 {} ! void foo(I1, String); ! void foo(I2, String); ! void foo(I2, int); ! foo(B(I1) x, y) {} ! /* ///FAIL HERE */ foo(B(I2) x, y) {} /// PASS *************** *** 111,115 **** /// FAIL ! C->void bar = /* FAIL HERE */foo; /// Toplevel interface A {} --- 113,117 ---- /// FAIL ! C->void bar = /* /// FAIL HERE */foo; /// Toplevel interface A {} |
Update of /cvsroot/nice/Nice/testsuite/compiler/typing In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv2140/testsuite/compiler/typing Modified Files: void.testsuite instanceof.testsuite dti.testsuite coverage.testsuite alike.testsuite abstractInterfaces.testsuite Log Message: Added expected failure positions. Index: coverage.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/coverage.testsuite,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** coverage.testsuite 1 Mar 2005 18:56:23 -0000 1.4 --- coverage.testsuite 12 Mar 2005 16:33:35 -0000 1.5 *************** *** 12,16 **** /// FAIL /// TOPLEVEL ! void method3(String->String); /// PASS --- 12,16 ---- /// FAIL /// TOPLEVEL ! void /* ///FAIL HERE */ method3(String->String); /// PASS Index: abstractInterfaces.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/abstractInterfaces.testsuite,v retrieving revision 1.5 retrieving revision 1.6 diff -C2 -d -r1.5 -r1.6 *** abstractInterfaces.testsuite 1 Mar 2005 18:56:22 -0000 1.5 --- abstractInterfaces.testsuite 12 Mar 2005 16:33:35 -0000 1.6 *************** *** 37,41 **** } class A implements I {} ! f(A x) = new A(); /// PASS --- 37,41 ---- } class A implements I {} ! f(A x) = /* ///FAIL HERE */ new A(); /// PASS *************** *** 63,67 **** /// Toplevel // We now accept that there are two incomparable nodes that implement ! // an abstract interface, abive a node that could approximate for that // interface. There is just no approximation in that case. abstract interface I { alike foo(); } --- 63,67 ---- /// Toplevel // We now accept that there are two incomparable nodes that implement ! // an abstract interface, above a node that could approximate for that // interface. There is just no approximation in that case. abstract interface I { alike foo(); } *************** *** 74,78 **** var B b = new X(); ! foo(X x) = b; /// PASS --- 74,78 ---- var B b = new X(); ! /* ///FAIL HERE */ foo(X x) = b; /// PASS Index: dti.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/dti.testsuite,v retrieving revision 1.11 retrieving revision 1.12 diff -C2 -d -r1.11 -r1.12 *** dti.testsuite 12 Mar 2005 02:41:41 -0000 1.11 --- dti.testsuite 12 Mar 2005 16:33:35 -0000 1.12 *************** *** 159,163 **** foo(); foo(); ! t.substring(1); /// PASS bug --- 159,163 ---- foo(); foo(); ! t. /*/// FAIL HERE*/ substring(1); /// PASS bug Index: instanceof.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/instanceof.testsuite,v retrieving revision 1.23 retrieving revision 1.24 diff -C2 -d -r1.23 -r1.24 *** instanceof.testsuite 30 Jul 2004 19:08:41 -0000 1.23 --- instanceof.testsuite 12 Mar 2005 16:33:35 -0000 1.24 *************** *** 20,24 **** assert false; else ! assert a.life == 42; /// FAIL --- 20,24 ---- assert false; else ! assert a. /* ///FAIL HERE */ life == 42; /// FAIL *************** *** 26,31 **** a = new B(); if (a instanceof B) ! ; ! assert a.life == 42; /// PASS --- 26,31 ---- a = new B(); if (a instanceof B) ! {} ! assert a. /* ///FAIL HERE */ life == 42; /// PASS *************** *** 57,61 **** if (i == 42) a = new A(); ! i = a.life; } --- 57,61 ---- if (i == 42) a = new A(); ! i = a. /* ///FAIL HERE */ life; } *************** *** 91,95 **** if (i == 42) a = new A(); ! i = a.life; break; } --- 91,95 ---- if (i == 42) a = new A(); ! i = a. /* ///FAIL HERE */ life; break; } *************** *** 98,107 **** B b = new B(); if (b instanceof A) ! b = new A(); /// FAIL Y y = new D(); if (y instanceof X) ! y = new C(); /// Toplevel interface X {} --- 98,112 ---- B b = new B(); if (b instanceof A) ! /* ///FAIL HERE */ b = new A(); ! /* XXX Check error message. Last time checked it was ! [nicec] Incorrect type in assignment to b ! [nicec] Found : global.A ! [nicec] Expected: global.A ! */ /// FAIL Y y = new D(); if (y instanceof X) ! /* ///FAIL HERE */ y = new C(); /// Toplevel interface X {} *************** *** 202,206 **** X<String> foo = new X(); if (foo instanceof Y) ! foo.bar(); /// Toplevel --- 207,211 ---- X<String> foo = new X(); if (foo instanceof Y) ! foo. /* ///FAIL HERE */ bar(); /// Toplevel *************** *** 310,314 **** if (f != null) f(); ! assert x.life == 42; } --- 315,319 ---- if (f != null) f(); ! assert x. /* ///FAIL HERE */ life == 42; } *************** *** 368,371 **** if (o instanceof String[]) { ! ?java.io.File[] s = o; } --- 373,376 ---- if (o instanceof String[]) { ! ?java.io.File[] /* ///FAIL HERE */ s = o; } Index: void.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/void.testsuite,v retrieving revision 1.5 retrieving revision 1.6 diff -C2 -d -r1.5 -r1.6 *** void.testsuite 7 Mar 2005 17:10:49 -0000 1.5 --- void.testsuite 12 Mar 2005 16:33:35 -0000 1.6 *************** *** 48,64 **** /// FAIL ! void x; /// FAIL /// Toplevel ! var void x; /// FAIL /// Toplevel ! void f(void x) {} /// FAIL /// Toplevel ! void f(void) {} /// PASS --- 48,64 ---- /// FAIL ! void /*///FAIL HERE*/ x; /// FAIL /// Toplevel ! var void /*///FAIL HERE*/ x = println(""); /// FAIL /// Toplevel ! void f(/*///FAIL HERE*/ void x) {} /// FAIL /// Toplevel ! void f(/*///FAIL HERE*/ void) {} /// PASS *************** *** 91,100 **** /// FAIL ! let x = foo(); /// Toplevel void foo() {} /// FAIL ! var x = foo(); /// Toplevel void foo() {} --- 91,100 ---- /// FAIL ! let /*///FAIL HERE*/ x = foo(); /// Toplevel void foo() {} /// FAIL ! var /*///FAIL HERE*/ x = foo(); /// Toplevel void foo() {} Index: alike.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/alike.testsuite,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** alike.testsuite 1 Mar 2005 18:56:23 -0000 1.3 --- alike.testsuite 12 Mar 2005 16:33:35 -0000 1.4 *************** *** 38,40 **** /// FAIL /// TOPLEVEL ! alike f3(alike); --- 38,40 ---- /// FAIL /// TOPLEVEL ! alike f3(/*///FAIL HERE*/ alike); |
|
From: Arjan B. <ar...@us...> - 2005-03-12 16:26:28
|
Update of /cvsroot/nice/Nice In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv31896/Nice Modified Files: NEWS Log Message: Removed octal integer literals. Index: NEWS =================================================================== RCS file: /cvsroot/nice/Nice/NEWS,v retrieving revision 1.70 retrieving revision 1.71 diff -C2 -d -r1.70 -r1.71 *** NEWS 12 Mar 2005 00:25:11 -0000 1.70 --- NEWS 12 Mar 2005 16:26:15 -0000 1.71 *************** *** 42,45 **** --- 42,46 ---- is equivalent to 'x == null || x instanceof String'. * Added binary integer literals. Examples: '0B1011' '0b1010_0000_0101_1111'. + * Removed octal integer literals. * Bug fixes (negative int hex literals, ...) |
|
From: Arjan B. <ar...@us...> - 2005-03-12 16:26:28
|
Update of /cvsroot/nice/Nice/src/bossa/parser In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv31896/F:/nice/src/bossa/parser Modified Files: Parser.jj Log Message: Removed octal integer literals. Index: Parser.jj =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/parser/Parser.jj,v retrieving revision 1.318 retrieving revision 1.319 diff -C2 -d -r1.318 -r1.319 *** Parser.jj 12 Mar 2005 02:41:47 -0000 1.318 --- Parser.jj 12 Mar 2005 16:26:14 -0000 1.319 *************** *** 268,281 **** <DECIMAL_LITERAL> (["l","L"])? | <HEX_LITERAL> (["l","L"])? - | <OCTAL_LITERAL> (["l","L"])? | <BIN_LITERAL> (["l","L"])? > | ! < #DECIMAL_LITERAL: ["1"-"9"] (["0"-"9", "_"])* > | < #HEX_LITERAL: "0" ["x","X"] (["0"-"9","a"-"f","A"-"F","_"])+ > | - < #OCTAL_LITERAL: "0" (["0"-"7","_"])* > - | < #BIN_LITERAL: "0" ["b","B"] (["0","1","_"])+ > --- 268,278 ---- <DECIMAL_LITERAL> (["l","L"])? | <HEX_LITERAL> (["l","L"])? | <BIN_LITERAL> (["l","L"])? > | ! < #DECIMAL_LITERAL: ["0"-"9"] (["0"-"9", "_"])* > | < #HEX_LITERAL: "0" ["x","X"] (["0"-"9","a"-"f","A"-"F","_"])+ > | < #BIN_LITERAL: "0" ["b","B"] (["0","1","_"])+ > |
|
From: Arjan B. <ar...@us...> - 2005-03-12 16:26:27
|
Update of /cvsroot/nice/Nice/src/bossa/syntax In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv31896/F:/nice/src/bossa/syntax Modified Files: constant.nice Log Message: Removed octal integer literals. Index: constant.nice =================================================================== RCS file: /cvsroot/nice/Nice/src/bossa/syntax/constant.nice,v retrieving revision 1.16 retrieving revision 1.17 diff -C2 -d -r1.16 -r1.17 *** constant.nice 12 Mar 2005 02:27:07 -0000 1.16 --- constant.nice 12 Mar 2005 16:26:14 -0000 1.17 *************** *** 205,213 **** radix = 2; } - else if (rep.startsWith("0", index) && rep.length() > 1 + index) - { - index++; - radix = 8; - } if (rep.startsWith("-", index)) --- 205,208 ---- |
|
From: Arjan B. <ar...@us...> - 2005-03-12 15:06:56
|
Update of /cvsroot/nice/Nice/testsuite/compiler/statements/variables In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv11641/F:/nice/testsuite/compiler/statements/variables Modified Files: var.testsuite Log Message: Added some missing failure positions. Index: var.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/statements/variables/var.testsuite,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** var.testsuite 30 Aug 2003 15:53:33 -0000 1.3 --- var.testsuite 12 Mar 2005 15:06:15 -0000 1.4 *************** *** 31,35 **** void get() { ! var ?boolean c = cache; } } --- 31,35 ---- void get() { ! var ?boolean /* /// FAIL HERE */ c = cache; } } |
|
From: Arjan B. <ar...@us...> - 2005-03-12 15:06:56
|
Update of /cvsroot/nice/Nice/testsuite/compiler/statements/loops In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv11641/F:/nice/testsuite/compiler/statements/loops Modified Files: newforloop.testsuite Log Message: Added some missing failure positions. Index: newforloop.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/statements/loops/newforloop.testsuite,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** newforloop.testsuite 8 Oct 2003 13:35:52 -0000 1.4 --- newforloop.testsuite 12 Mar 2005 15:06:14 -0000 1.5 *************** *** 52,54 **** for (x : 1..10) if (x == 5) ! x = 7; --- 52,54 ---- for (x : 1..10) if (x == 5) ! /* /// FAIL HERE */ x = 7; |
|
From: Arjan B. <ar...@us...> - 2005-03-12 15:06:55
|
Update of /cvsroot/nice/Nice/testsuite/compiler/null In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv11641/F:/nice/testsuite/compiler/null Modified Files: constants.testsuite Log Message: Added some missing failure positions. Index: constants.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/null/constants.testsuite,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** constants.testsuite 27 May 2003 21:07:55 -0000 1.2 --- constants.testsuite 12 Mar 2005 15:06:13 -0000 1.3 *************** *** 9,13 **** let s = str; if (s == null) ! s.trim(); /// PASS --- 9,13 ---- let s = str; if (s == null) ! s. /* /// FAIL HERE */ trim(); /// PASS *************** *** 31,35 **** ?String str = "abc"; let s = str; ! s = "xyz"; /// PASS --- 31,35 ---- ?String str = "abc"; let s = str; ! /* /// FAIL HERE */ s = "xyz"; /// PASS *************** *** 41,45 **** /// FAIL if (str != null) ! str.trim(); /// Toplevel var ?String str = null; --- 41,45 ---- /// FAIL if (str != null) ! str. /* /// FAIL HERE */ trim(); /// Toplevel var ?String str = null; |
|
From: Arjan B. <ar...@us...> - 2005-03-12 15:06:55
|
Update of /cvsroot/nice/Nice/testsuite/compiler/native In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv11641/F:/nice/testsuite/compiler/native Modified Files: methods.testsuite synchronized.testsuite Log Message: Added some missing failure positions. Index: methods.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/native/methods.testsuite,v retrieving revision 1.5 retrieving revision 1.6 diff -C2 -d -r1.5 -r1.6 *** methods.testsuite 9 Aug 2003 21:01:51 -0000 1.5 --- methods.testsuite 12 Mar 2005 15:06:12 -0000 1.6 *************** *** 3,7 **** /// FAIL ! byte->String f = Byte.toString(); /// PASS --- 3,7 ---- /// FAIL ! byte->String f = /* /// FAIL HERE */ Byte.toString(); /// PASS Index: synchronized.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/native/synchronized.testsuite,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** synchronized.testsuite 2 Feb 2004 00:47:32 -0000 1.4 --- synchronized.testsuite 12 Mar 2005 15:06:12 -0000 1.5 *************** *** 6,19 **** // COMMENT Synchronization cannot be done on primitive values. int i = 0; ! synchronized(i) { } /// FAIL // COMMENT Synchronization must be done on non-null values. ! synchronized(null) { } /// FAIL // COMMENT Synchronization must be done on non-null values. ?String s = "S"; ! synchronized(s) { } /// PASS --- 6,19 ---- // COMMENT Synchronization cannot be done on primitive values. int i = 0; ! synchronized(/* /// FAIL HERE */ i) { } /// FAIL // COMMENT Synchronization must be done on non-null values. ! synchronized(/* /// FAIL HERE */ null) { } /// FAIL // COMMENT Synchronization must be done on non-null values. ?String s = "S"; ! synchronized(/* /// FAIL HERE */ s) { } /// PASS |
|
From: Arjan B. <ar...@us...> - 2005-03-12 15:06:55
|
Update of /cvsroot/nice/Nice/testsuite/compiler/overloading In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv11641/F:/nice/testsuite/compiler/overloading Modified Files: expectedType.testsuite fields.testsuite Log Message: Added some missing failure positions. Index: fields.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/overloading/fields.testsuite,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** fields.testsuite 26 Jul 2003 22:30:39 -0000 1.2 --- fields.testsuite 12 Mar 2005 15:06:13 -0000 1.3 *************** *** 55,59 **** /// FAIL ! let i = x; /// Toplevel class A { --- 55,59 ---- /// FAIL ! let i = /* /// FAIL HERE */ x; /// Toplevel class A { Index: expectedType.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/overloading/expectedType.testsuite,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** expectedType.testsuite 24 Aug 2002 15:51:57 -0000 1.1 --- expectedType.testsuite 12 Mar 2005 15:06:13 -0000 1.2 *************** *** 8,12 **** /// FAIL ! String->String v = f; /// Toplevel boolean f(boolean x) = x; --- 8,12 ---- /// FAIL ! String->String v = /* /// FAIL HERE */ f; /// Toplevel boolean f(boolean x) = x; |
23 messages has been excluded from this view by a project administrator.
