Integrate repl in frege.jar?

[Ingo60]

I see that there are no external dependencies anymore in frege-repl and frege-interpreter, the only exception being jline. Since the 1.8 frege.jar is only 7.5MB, I think it would be possible and useful to ship the frege.jar with the repl included.

I have no idea what the status of the (elder) jline packages is. Is there any obstacle in shipping them in an uber-jar that contains compiler, repl, library, documentation, quickcheck and doc tool in 8MB?

[mmhelloworld]

Hi Ingo,

I don't see any issues shipping compiler with repl. In fact, we have it the other way currently, repl including the compiler which it has to anyways as it depends on the compiler.