diff options
author | Sean McDirmid <sean.mcdirmid@gmail.com> | 2006-11-26 15:46:06 +0000 |
---|---|---|
committer | Sean McDirmid <sean.mcdirmid@gmail.com> | 2006-11-26 15:46:06 +0000 |
commit | e150c1dd7e8d0d312101bce65d0499500235d02d (patch) | |
tree | 276a06e3d2195229f6668cc210f11519047a8e4d | |
parent | 2bf8bc108b14682518679b913b191fe7a82d8c5d (diff) | |
download | scala-e150c1dd7e8d0d312101bce65d0499500235d02d.tar.gz scala-e150c1dd7e8d0d312101bce65d0499500235d02d.tar.bz2 scala-e150c1dd7e8d0d312101bce65d0499500235d02d.zip |
Files related to bug reports
-rw-r--r-- | test/pending/pos/bug112606A.scala | 25 | ||||
-rw-r--r-- | test/pending/pos/bug112606B.scala | 11 |
2 files changed, 36 insertions, 0 deletions
diff --git a/test/pending/pos/bug112606A.scala b/test/pending/pos/bug112606A.scala new file mode 100644 index 0000000000..5bf532f8dd --- /dev/null +++ b/test/pending/pos/bug112606A.scala @@ -0,0 +1,25 @@ +package test; +trait Test { + trait Global { + type Tree; + def get : Tree; + } + trait TreeBuilder { + val global : Global; + def set(tree : global.Tree) = {} + } + val nsc : Global; + trait FileImpl { + object treeBuilder extends TreeBuilder { + val global : nsc.type = nsc; + } + // ok + treeBuilder.set(nsc.get); + } + val file0 : FileImpl; + // ok + file0.treeBuilder.set(nsc.get); + def file : FileImpl; + // type mismatch + file.treeBuilder.set(nsc.get); +} diff --git a/test/pending/pos/bug112606B.scala b/test/pending/pos/bug112606B.scala new file mode 100644 index 0000000000..6dfaf4bf01 --- /dev/null +++ b/test/pending/pos/bug112606B.scala @@ -0,0 +1,11 @@ +package test; +trait Test2 { + case class Token(text : String); + class KeywordToken(text : String) extends Token(text); + def decode(tok : KeywordToken) = tok match { + // constructor cannot be instantiated to expected type; + // found : Test2.this.Token + // required: Test2.this.KeywordToken + case Token("final") => true; + } +} |