[isabelle-dev] Code export to Haskell and lower-case theory names

[Makarius]

On Tue, 2 Apr 2013, Manuel Eberl wrote:

> As an analogy: when I give invalid code to a compiler, I expect it to 
> complain instead of silently produce an invalid executable that will 
> refuse to run and give me some obscure error message about ELF.

Funnily such things happen routinely these days, with all the baggage and 
complexity that has accumulated, especially on the Java (and Scala) 
platform.


 	Makarius