Re: gadt

Dear Martin, 

I copied the example of the typed evaluator from the paper related to Scala2. 
This gives a typing error in eclipse, just like it does using the standard 
Scala2 compiler. When I enable the -Xgadt flag (with the standard compiler, 
outside of Eclipse) a typing error no longer appears and the generated code 
performs the way I expect it to. The Eclipse plugin does not give me any hooks 
and angles to set the -Xgadt flag (or am I missing something?). I modified the 
compiler code to have -Xgadt on by default and loaded the typed evaluator code 
in Eclipse, which leads to proper type checking, compilation, and execution, 
but unfortunately also to a loadtime error of the eclipse plugin. 

k.r.
Niels