[ nice-Bugs-966138 ] Low level panic

Bugs item #966138, was opened at 2004-06-03 14:32
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=966138&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Bryn Keller (xoltar)
Assigned to: Nobody/Anonymous (nobody)
Summary: Low level panic

Initial Comment:
Nice compiler version 0.9.8 prerelease (build
2004.06.03, 20:04:08 UTC)
Compiled using JDK 1.4.2

<Number N> N `+` (N lhs, N rhs);

`+`(double lhs, double rhs) { 
  let (double,double)->double add = `+`;
  return add(lhs, rhs);
}

C:\src\nice>nicec -a test test
nice.lang: parsing
test: parsing
test: typechecking

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" bossa.util.InternalError:
panic: assertion failed:
        at bossa.util.Internal.error(Internal.java:86)
        at mlsub.typing.lowlevel.S.panic(S.java:79)
        at mlsub.typing.lowlevel.S.assume(S.java:101)
        at mlsub.typing.lowlevel.S.assume(S.java:97)
        at
mlsub.typing.lowlevel.DomainVector.reduce(DomainVector.java:48)
        at
mlsub.typing.lowlevel.K0.reduceDomain(K0.java:838)
        at mlsub.typing.lowlevel.K0.leq0(K0.java:687)
        at mlsub.typing.lowlevel.K0.leq(K0.java:648)
        at
mlsub.typing.lowlevel.Engine$Constraint.leq(Engine.java:928)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:265)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:232)
        at mlsub.typing.Variance.leq(Variance.java:198)
        at mlsub.typing.Variance.leq(Variance.java:190)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:265)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:232)
        at
mlsub.typing.NullnessKind.leq(NullnessKind.java:77)
        at
mlsub.typing.NullnessKind.leq(NullnessKind.java:68)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:265)
        at
mlsub.typing.lowlevel.Engine.leq(Engine.java:232)
        at mlsub.typing.Typing.leq(Typing.java:355)
        at mlsub.typing.Typing.leq(Typing.java:325)
        at
bossa.syntax.MethodImplementation.checkReturnedType(MethodImplementat
ion.java:152)
        at bossa.syntax.fun.typecheck(typecheck.nice:875)
        at bossa.syntax.dispatch.typecheck(dispatch.nice)
        at bossa.syntax.fun.lambda13(typecheck.nice:714)
        at bossa.syntax.fun.apply1(typecheck.nice:0)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:130)
        at nice.lang.dispatch.foreach(range.nice:0)
        at bossa.syntax.fun.typecheck(typecheck.nice:712)
        at bossa.syntax.dispatch.typecheck(dispatch.nice)
        at
bossa.syntax.MethodBodyDefinition.typecheck(MethodBodyDefinition.java
:464)
        at bossa.syntax.Node.doTypecheck(Node.java:303)
        at bossa.syntax.Node.doTypecheck(Node.java:308)
        at bossa.syntax.AST.typechecking(AST.java:188)
        at
bossa.modules.Package.typecheck(Package.java:323)
        at mlsub.compilation.fun.lambda19(make.nice:29)
        at mlsub.compilation.fun.apply1(make.nice:0)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:130)
        at nice.lang.dispatch.foreach(range.nice:0)
        at
mlsub.compilation.fun.compileComponent(make.nice:29)
        at
mlsub.compilation.dispatch.compileComponent(dispatch.nice)
        at
mlsub.compilation.fun$make.lambda18(make.nice:45)
        at mlsub.compilation.fun$make.apply1(make.nice:0)
        at
gnu.expr.ModuleMethod.apply1(ModuleMethod.java:89)
        at nice.lang.fun.foreach(collections.nice:130)
        at nice.lang.dispatch.foreach(range.nice:0)
        at mlsub.compilation.fun.make(make.nice:44)
        at mlsub.compilation.dispatch.make(dispatch.nice)
        at
nice.tools.compiler.fun.compile(interface.nice:40)
        at
bossa.modules.Compilation.compile(Compilation.nice)
        at
nice.tools.compiler.console.fun.compile(main.nice:168)
        at
nice.tools.compiler.console.dispatch.compile(dispatch.nice)
        at
nice.tools.compiler.console.fun.main(main.nice:184)

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

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


-------------------------------------------------------
This SF.Net email is sponsored by the new InstallShield X.
From Windows to Linux, servers to mobile, InstallShield X is the one
installation-authoring solution that does it all. Learn more and
evaluate today! http://www.installshield.com/Dev2Dev/0504