[ nice-Bugs-1180920 ] invalid declaration crashes compiler

Bugs item #1180920, was opened at 2005-04-11 19:50
Message generated for change (Comment added) made by bonniot
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1180920&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: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Arnout Engelen (raboofje)
>Assigned to: Daniel Bonniot (bonniot)
Summary: invalid declaration crashes compiler

Initial Comment:
<Comparable T,U> ?U getValue (?, T key) {
  return null;
}

with

Nice compiler version 0.9.11 prerelease (build
2005.04.11, 12:54:51 UTC)
Compiled using JDK 1.4.1

gives

Stack trace:
Exception in thread "main" java.lang.ClassCastException
        at nice.tools.typing.Types.rawType(Types.java:104)
        at
nice.tools.typing.Types.equivalent(Types.java:84)
        at nice.tools.typing.Types.isVoid(Types.java:32)
        at bossa.syntax.fun.doResolve(userOperator.nice:48)
        at
bossa.syntax.UserOperator.doResolve(userOperator.nice)
        at
bossa.syntax.fun.doResolve(defaultMethod.nice:81)
        at
bossa.syntax.DefaultMethodImplementation.doResolve(defaultMethod.nice)
        at bossa.syntax.fun.resolve(ast.nice:66)
        at bossa.syntax.CAST.resolve(ast.nice)
        at bossa.syntax.fun.resolveScoping(ast.nice:86)
        at bossa.syntax.CAST.resolveScoping(ast.nice)
        at bossa.modules.Package.load(Package.java:267)
        at mlsub.compilation.fun.lambda31(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.loadComponent(load.nice:24)
        at
mlsub.compilation.dispatch.loadComponent(Unknown Source)
        at mlsub.compilation.fun$load.lambda29(Unknown
Source)
        at mlsub.compilation.fun$load.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.load(load.nice:44)
        at mlsub.compilation.dispatch.load(Unknown Source)
        at mlsub.compilation.fun.make(make.nice:42)
        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:165)
        at
nice.tools.compiler.console.dispatch.compile(Unknown
Source)
        at
nice.tools.compiler.console.fun.main(main.nice:199)
        at
nice.tools.compiler.console.dispatch.main(Unknown Source)


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

>Comment By: Daniel Bonniot (bonniot)
Date: 2005-05-25 13:55

Message:
Logged In: YES 
user_id=88952

Thanks for the report. This bug is now fixed: the parser now
correctly rejects a single '?', it is only accepted as a
type parameter.


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

Comment By: Daniel Bonniot (bonniot)
Date: 2005-05-25 13:55

Message:
Logged In: YES 
user_id=88952

This bug has been fixed. The next release of the compiler will
include this correction. In the mean time, I encourage you try
the development version. It contains a version of the compiler
that fixes the bug. Please try it and reopen the bug-report if
you find any problem with it.

To know how to get an install the development version of the
compiler that fixes this bug, please read
http://nice.sf.net/cgi-bin/twiki/view/Dev/DevelopmentVersion

Note that the bug has first been fixed in the CVS version, and it
might take one or two hours until the development version
includes the fix.

Thanks again for your help by submiting this bug report. 

Daniel Bonniot


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

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


-------------------------------------------------------
This SF.Net email is sponsored by Yahoo.
Introducing Yahoo! Search Developer Network - Create apps using Yahoo!
Search APIs Find out how you can build Yahoo! directly into your own
Applications - visit http://developer.yahoo.net/?fr=offad-ysdn-ostg-q22005