nice-devel Mailing List for The Nice Programming Language

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Bugs item #2860266, was opened at 2009-09-16 16:31
Message generated for change (Tracker Item Submitted) made by ronneesley
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=2860266&group_id=12788

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Ronneesley Moura Teles (ronneesley)
Assigned to: Nobody/Anonymous (nobody)
Summary: Error compiler - DbC with Return of function null

Initial Comment:
Version of compiler
==================================================
nicec --version
Nice compiler version 0.9.13 (build 2008.05.06, 11:44:43 UTC)
Compiled using JDK 1.4.2
Copyright (C) 2003 Daniel Bonniot
Visit the Nice homepage: http://nice.sourceforge.net
==================================================

The CODE
==================================================
class Calculadora {
	?int somar(int numero)
		ensures result != null && result > 0 : "O retorno deve ser positivo"
	{
		return numero + 1;
	}
}

void main(String[] args) {
	var calculadora = new Calculadora();
	println(calculadora.somar(10));
	println(calculadora.somar(-5));
}
===========================================

The error message
===========================================
An exception has occured in the compiler
Please fill-in a bug report at the following webpage:
http://sourceforge.net/tracker/?func=add&group_id=12788&atid=112788

Stack trace:
Exception in thread "main" java.lang.Error: non-matching types to emitGotoIfCompare2
	at gnu.bytecode.CodeAttr.emitGotoIfCompare2(CodeAttr.java:1304)
	at gnu.bytecode.CodeAttr.emitGotoIfGt(CodeAttr.java:1315)
	at nice.lang.inline.CompOp.compileJump(CompOp.java:106)
	at nice.lang.inline.ShortCircuitOp.compileJump(ShortCircuitOp.java:145)
	at nice.lang.inline.Assert.compile(Assert.java:61)
	at gnu.expr.ApplyExp.compile(ApplyExp.java:192)
	at gnu.expr.ApplyExp.compile(ApplyExp.java:111)
	at gnu.expr.Expression.compileNotePosition(Expression.java:82)
	at gnu.expr.Expression.compileWithPosition(Expression.java:69)
	at gnu.expr.CheckContract.compile(CheckContract.java:59)
	at gnu.expr.Expression.compileWithPosition(Expression.java:72)
	at gnu.expr.LambdaExp.compileBody(LambdaExp.java:1565)
	at gnu.expr.LambdaExp.compileAsMethod(LambdaExp.java:1536)
	at gnu.expr.LambdaExp.compileChildMethods(LambdaExp.java:1422)
	at gnu.expr.ClassExp.compileChildMethods(ClassExp.java:573)
	at gnu.expr.Compilation.compileAll(Compilation.java:1614)
	at gnu.expr.Compilation.generate(Compilation.java:1588)
	at gnu.expr.Compilation.compile(Compilation.java:1556)
	at gnu.expr.Package.compileToFiles(Package.java:100)
	at bossa.modules.Package.finishCompilation(Package.java:411)
	at bossa.modules.Package.link(Package.java:388)
	at mlsub.compilation.fun.lambda27(Unknown Source)
	at mlsub.compilation.fun.apply1(Unknown Source)
	at gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
	at nice.lang.fun.foreach(collections.nice:141)
	at nice.lang.dispatch.foreach(Unknown Source)
	at mlsub.compilation.fun.compileComponent(make.nice:33)
	at mlsub.compilation.dispatch.compileComponent(Unknown Source)
	at mlsub.compilation.fun$make.lambda24(Unknown Source)
	at mlsub.compilation.fun$make.apply1(Unknown Source)
	at gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
	at nice.lang.fun.foreach(collections.nice:141)
	at nice.lang.dispatch.foreach(Unknown Source)
	at mlsub.compilation.fun.make(make.nice:44)
	at mlsub.compilation.dispatch.make(Unknown Source)
	at nice.tools.compiler.fun.compile(interface.nice:40)
	at nice.tools.compiler.dispatch.compile(Unknown Source)
	at nice.tools.compiler.console.fun.compile(main.nice:170)
	at nice.tools.compiler.console.dispatch.compile(Unknown Source)
	at nice.tools.compiler.console.fun.main(main.nice:204)
	at nice.tools.compiler.console.dispatch.main(Unknown Source)

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=2860266&group_id=12788

2002	Jan	Feb	Mar	Apr	May	Jun (49)	Jul (7)	Aug (9)	Sep (53)	Oct	Nov (1)	Dec
2003	Jan	Feb (1)	Mar (12)	Apr (1)	May (1)	Jun (3)	Jul (16)	Aug (61)	Sep (42)	Oct (14)	Nov (3)	Dec (9)
2004	Jan (51)	Feb (40)	Mar (40)	Apr (12)	May	Jun (24)	Jul (18)	Aug (10)	Sep (3)	Oct (1)	Nov (31)	Dec (34)
2005	Jan (20)	Feb (48)	Mar (15)	Apr (10)	May (6)	Jun (5)	Jul	Aug (1)	Sep (6)	Oct (3)	Nov	Dec
2006	Jan (1)	Feb (1)	Mar	Apr	May (2)	Jun (18)	Jul	Aug (2)	Sep	Oct (4)	Nov	Dec (2)
2007	Jan (5)	Feb	Mar (3)	Apr	May	Jun	Jul (1)	Aug	Sep (1)	Oct	Nov (36)	Dec (52)
2008	Jan	Feb	Mar	Apr (3)	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec
2009	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep (1)	Oct	Nov	Dec

nice-devel Mailing List for The Nice Programming Language

nice-devel — Discussion among developers