Sequence operators

[CeylonMigrationBot]

[@FroMage] I think we're missing all of 6.12.8. Correspondence and sequence operators

[Migrated from ceylon/ceylon-compiler#72]
[Closed at 2011-12-06 13:19:00]

[CeylonMigrationBot]

[@gavinking] Yes, currently this code:

Natural[] nats = {0,1};
Natural? n = nats[0];

Results in the following error:

/Users/gavin/program/src/hello.ceylon:109: compiler message file broken: key=compiler.err.ceylon arguments=Compiler error: java.lang.RuntimeException: Got 2 results instead of 1, {1}, {2}, {3}, {4}, {5}, {6}, {7}
Natural? n = nats[0];
^
java.lang.RuntimeException: Got 2 results instead of 1
at com.redhat.ceylon.compiler.codegen.CeylonVisitor.getSingleResult(CeylonVisitor.java:461)
at com.redhat.ceylon.compiler.codegen.ExpressionTransformer.transformExpression(ExpressionTransformer.java:89)
at com.redhat.ceylon.compiler.codegen.StatementTransformer.transform(StatementTransformer.java:314)
at com.redhat.ceylon.compiler.codegen.CeylonVisitor.visit(CeylonVisitor.java:158)
at com.redhat.ceylon.compiler.typechecker.tree.Tree$AttributeDeclaration.visit(Tree.java:846)
at com.redhat.ceylon.compiler.typechecker.tree.CustomTree$AttributeDeclaration.visit(CustomTree.java:15)
at com.redhat.ceylon.compiler.codegen.StatementTransformer.transformStmts(StatementTransformer.java:66)
at com.redhat.ceylon.compiler.codegen.StatementTransformer.transform(StatementTransformer.java:59)
at com.redhat.ceylon.compiler.codegen.ClassTransformer.transform(ClassTransformer.java:248)
at com.redhat.ceylon.compiler.codegen.ClassTransformer.methodClass(ClassTransformer.java:295)
at com.redhat.ceylon.compiler.codegen.CeylonVisitor.visit(CeylonVisitor.java:197)
at com.redhat.ceylon.compiler.typechecker.tree.Tree$MethodDefinition.visit(Tree.java:979)
at com.redhat.ceylon.compiler.typechecker.tree.Walker.walkCompilationUnit(Walker.java:13)
at com.redhat.ceylon.compiler.typechecker.tree.Tree$CompilationUnit.visitChildren(Tree.java:30)
at com.redhat.ceylon.compiler.codegen.CeylonTransformer.transformAfterTypeChecking(CeylonTransformer.java:93)
at com.redhat.ceylon.compiler.loader.CeylonEnter.completeCeylonTrees(CeylonEnter.java:137)
at com.redhat.ceylon.compiler.loader.CeylonEnter.main(CeylonEnter.java:87)
at com.sun.tools.javac.main.JavaCompiler.enterTrees(JavaCompiler.java:911)
at com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:811)
at com.redhat.ceylon.compiler.launcher.Main.compile(Main.java:392)
at com.redhat.ceylon.compiler.launcher.Main.compile(Main.java:320)
at com.redhat.ceylon.compiler.launcher.Main.compile(Main.java:310)
at com.redhat.ceylon.compiler.Main.compile(Main.java:45)
at com.redhat.ceylon.compiler.Main.main(Main.java:64)

[CeylonMigrationBot]

[@FroMage] If we moved the span operators to #257 then this one is done as soon as we test for erasure.

[CeylonMigrationBot]

[@FroMage] All done now since we've split it in smaller issues: #266 and #257.