diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-10-01 16:11:49 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-10-01 16:11:49 +0000 |
commit | c46666b9f4ecf77373e9fde9381aeaeba59c044f (patch) | |
tree | a725f20f481f601b5278892a34cff611167252bb /test/files | |
parent | b9343703f5d6d2ed8482bf6445da638274c8767a (diff) | |
download | scala-c46666b9f4ecf77373e9fde9381aeaeba59c044f.tar.gz scala-c46666b9f4ecf77373e9fde9381aeaeba59c044f.tar.bz2 scala-c46666b9f4ecf77373e9fde9381aeaeba59c044f.zip |
Test for #1391.
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/pos/t1391.scala | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/test/files/pos/t1391.scala b/test/files/pos/t1391.scala new file mode 100644 index 0000000000..8133da5482 --- /dev/null +++ b/test/files/pos/t1391.scala @@ -0,0 +1,43 @@ +package sandbox + + class hierarOverload { + + /* + * Template structure - using abstract types. + */ + trait AB { + type TA <: A + type TB <: B + + protected trait A { + val entities : List[TB] + } + + protected trait B { + var group : TA + } + } + + /* + * Template instantiation in an object to ease use and globally define + abstract types + */ + object NAnB extends AB { + type TB = nB + type TA = nA + + class nA extends A { + val entities = List[nB]() + } + + class nB extends B { + var group = new nA + } + } + + def foo () { + val t = new NAnB.nA + println(t) + } + + } |