H2JVM - A Haskell Library for writing JVM Bytecode

Wow, this is all amazing, thank you so much for such thorough feedback!

The MonadFix suggestion is fantastic, I’m not too familiar with that part of the language but this does seem like a perfect usage!

I’ll try and find a more elegant way of expressing the reversed list, as I see there’s no single consensus about the best option. At the moment I’m probably leaning towards a simple newtype over the list, or perhaps a Sequence?

Great catch for the IfCond

The Pretty instance isn’t really following any specifically defined rules, though the main principle I’ve been going for is “roughly looking like the output of javap for the purpose of debugging the data you’ve produced”. It’s probably not the most robust implementation in the world, but as I say, mostly for debugging purposes. I’ll definitely do a sweep tidying it up though!

Once again, thanks so much for the detailed feedback and genuinely useful suggestions, I really appreciate it!