diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-10-01 14:26:56 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-10-01 14:26:56 +0000 |
commit | fe264943efccc2534a65ce0b49ed16a51e597aed (patch) | |
tree | a30ac4abd80845b04e13f7a61bcdffec18ead7b1 /test/files/pos | |
parent | 082a427ff9572e002bb1fc5c71e129e857f0aa81 (diff) | |
download | scala-fe264943efccc2534a65ce0b49ed16a51e597aed.tar.gz scala-fe264943efccc2534a65ce0b49ed16a51e597aed.tar.bz2 scala-fe264943efccc2534a65ce0b49ed16a51e597aed.zip |
fixed #2101
there were some issues with heap pressure that made the compile take
incredibly long, these were solved by increasing the max allowed heap
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/tcpoly_ticket2096.scala | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/files/pos/tcpoly_ticket2096.scala b/test/files/pos/tcpoly_ticket2096.scala new file mode 100644 index 0000000000..d92589c929 --- /dev/null +++ b/test/files/pos/tcpoly_ticket2096.scala @@ -0,0 +1,30 @@ +// smallest expression of monad i can find +trait MBrace[C[X] <: MBrace[C,X],A] { + def nest( a : A ) : C[A] + def flatten[T <: C[C[A]]]( bsq : T ) : C[A] +} + +// a monad that is a Seq +trait MBraceSeq[C[X] <: MBrace[C,X] with Seq[X],A] extends MBrace[C,A] + +// one of the simplest witnesses of monad i can find +case class MSequitor[A]( a_ : A* ) extends Seq[A] with MBrace[MSequitor,A] +{ + override def nest( a : A ) = new MSequitor[A]( a ) + override def flatten[T <: MSequitor[MSequitor[A]]]( bsq : T ) : MSequitor[A] = { + (new MSequitor[A]( ) /: bsq)( { + ( acc : MSequitor[A], e : MSequitor[A] ) => ( acc ++ e ).asInstanceOf[MSequitor[A]] + } ) + } + override def length = a_.length + override def iterator = a_.iterator + override def apply( n : Int ) = a_.apply( n ) +} + +// type arguments [MSequitor,A] do not conform to trait MBraceSeq's type parameter bounds [C[_] <: MBrace[C,A] with Seq[A],A] +// a statement of the instance relation +class MBraceSequitor[A] extends MBraceSeq[MSequitor,A] { + val empty : MSequitor[A] = new MSequitor[A]( ) + override def nest( a : A ) = empty.nest( a ) + override def flatten[T <: MSequitor[MSequitor[A]]]( bsq : T ): MSequitor[A] = empty.flatten( bsq ) +}
\ No newline at end of file |