Has anyone encountered this before

All,

While cleaning up some of my Scala code,
I encounter a strange error when compiling the Scala code.


error: java.lang.Error: typeConstructor inapplicable for <none>
    at scala.tools.nsc.symtab.SymbolTable.abort(SymbolTable.scala:34)
    at scala.tools.nsc.symtab.Symbols$Symbol.typeConstructor(Symbols.scala:877)
    at scala.tools.nsc.symtab.Types$TypeVar$$anonfun$normalize$2.apply(Types.scala:2542)
    at scala.tools.nsc.symtab.Types$TypeVar$$anonfun$normalize$2.apply(Types.scala:2542)
    at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)
    at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)
    at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)
    at scala.collection.immutable.List.foreach(List.scala:45)
    at scala.collection.TraversableLike$class.map(TraversableLike.scala:194)
    at scala.collection.immutable.List.map(List.scala:45)
    at scala.tools.nsc.symtab.Types$TypeVar.normalize(Types.scala:2542)
    at scala.tools.nsc.symtab.Types$class.isHKSubType0(Types.scala:4583)
    at scala.tools.nsc.symtab.SymbolTable.isHKSubType0(SymbolTable.scala:13)
    at scala.tools.nsc.symtab.Types$class.scala$tools$nsc$symtab$Types$$isSubType2(Types.scala:4634)
    at scala.tools.nsc.symtab.Types$$anonfun$isSubType$1.apply$mcZ$sp(Types.scala:4528)
    at scala.tools.nsc.symtab.Types$undoLog$.undoUnless(Types.scala:143)
    at scala.tools.nsc.symtab.Types$class.isSubType(Types.scala:4515)
    at scala.tools.nsc.symtab.SymbolTable.isSubType(SymbolTable.scala:13)
    at scala.tools.nsc.symtab.Types$Type.$less$colon$less(Types.scala:638)
    at scala.tools.nsc.symtab.Types$class.isSubArg(Types.scala:4619)
    at scala.tools.nsc.symtab.SymbolTable.isSubArg(SymbolTable.scala:13)
    at scala.tools.nsc.symtab.Types$$anonfun$isSubArgs$2.apply(Types.scala:4622)
    at scala.tools.nsc.symtab.Types$$anonfun$isSubArgs$2.apply(Types.scala:4622)
    at scala.tools.nsc.symtab.Types$class.corresponds3(Types.scala:4615)
    at scala.tools.nsc.symtab.SymbolTable.corresponds3(SymbolTable.scala:13)



I could nail down where the problem comes from (I commented out the lines in ControlMonadsApp)

ps:
I attached a zip file
Sorry that this is not a "Hello World" example

btw:
MonadsApp and StateMonadsApp run just fine

fyi (if interested at all):
in the previous version I even combined the state and control monad transformers
to implement a monadic 'state' and 'delimited continuations' based kind of tuple-space
(well, the code was not quite finished yet (I could implement everything without
using the state monad, and using a var instead)) much in the spirit of what
Tiark Rompf presented at the ScalaDays 2011

Luc

--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination